LPForget: a system of forgetting in answer set programming

Authors:
Fu-Leung Cheng;Thomas Eiter;Nathan Robinson;Abdul Sattar;Kewen Wang
Affiliations:
Griffith University, Australia;Technische Universität Wien, Austria;Griffith University, Australia;Griffith University, Australia;Griffith University, Australia
Venue:
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Year:
2006

Citing 6
Cited 0

Logic programs with classical negation

Logic programming
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Forgetting in Managing Rules and Ontologies

WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Forgetting and conflict resolving in disjunctive logic programming

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A theory of forgetting in logic programming

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Propositional independence: formula-variable independence and forgetting

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

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.