LPForget: A System of Forgetting in Answer Set Programming

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.

[1]  Kewen Wang,et al.  Forgetting and Conflict Resolving in Disjunctive Logic Programming , 2006, AAAI.

[2]  Hans Tompits,et al.  Forgetting in Managing Rules and Ontologies , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[3]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[4]  R. Reiter,et al.  Forget It ! , 1994 .

[5]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[6]  Abdul Sattar,et al.  A Theory of Forgetting in Logic Programming , 2005, AAAI.