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.
KeywordsNonmonotonic logic programming answer sets forgetting
Unable to display preview. Download preview PDF.
- 1.Cheng, F., Eiter, T., Robinson, N., Sattar, A., Wang, K.: LPForget: a system of forgetting in answer set programming. Technical report (2006), available at http://www.cit.gu.edu.au/~kewen/Papers/LPForget_long.pdf
- 2.Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., Wang, K.: Forgetting in managing rules and ontologies. In: Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006) (accepted for publication, 2006)Google Scholar
- 3.Eiter, T., Wang, K.: Forgetting and conflict resolving in disjunctive logic programming. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), pp. 238–243 (2006)Google Scholar
- 4.Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Proceedings of the International Conference on Logic Programming, pp. 579–597 (1990)Google Scholar
- 7.Lin, F., Reiter, R.: Forget it. In: Proceedings of the AAAI Fall Symposium on Relevance, New Orleans (LA), pp. 154–159 (1994)Google Scholar
- 8.Wang, K., Sattar, A., Su, K.: A theory of forgetting in logic programming. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pp. 682–687 (2006)Google Scholar