Sciweavers

AUSAI
2006
Springer

LPForget: A System of Forgetting in Answer Set Programming

14 years 2 months ago
LPForget: A System of Forgetting in Answer Set Programming
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, called LPForget. It consists of two modules: (1) Forgetting: computing the result of forgetting about certain literals in logic program under the answer set semantics; (2) CRS: application of forgetting in resolving conflict (or preference recovery) in multi-agent systems. The motivation for developing LPForget is to provide reasoning support for managing ontologies in rule-based ontology language as well as using the system for studying theoretic properties of forgetting. Key words: Nonmonotonic logic programming; answer sets; forgetting
Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abd
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where AUSAI
Authors Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang
Comments (0)