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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-129

BibTeX:

@inproceedings{REWERSE-RP-2006-129,
	author = {Fu-Leung Cheng and Thomas Eiter and Nathan Robinson and Abdul Sattar and Kewen Wang},
	title = {LPForget: A system of forgetting in answer set programming},
	booktitle = {Proceedings of 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia (4th--8th December 2006)},
	year = {2006},
	volume = {4304},
	series = {LNAI},
	pages = {1101--1105},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-129}
}