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

• Type: Conference
• Year: 2006
• Where: AUSAI
• Authors: Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang
• Keywords: Answer Set Programming, Answer Set Semantics, Answer Sets, Artificial Intelligence, AUSAI 2006