LPForget: A System of Forgetting in Answer Set Programming

  • Fu-Leung Cheng
  • Thomas Eiter
  • Nathan Robinson
  • Abdul Sattar
  • Kewen Wang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4304)

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.

Keywords

Nonmonotonic logic programming answer sets forgetting 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 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
  5. 5.
    Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. Journal of Artificial Intelligence Research 18, 391–443 (2003)MATHMathSciNetGoogle Scholar
  6. 6.
    Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7(3), 499–562 (2006)CrossRefMathSciNetGoogle Scholar
  7. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Fu-Leung Cheng
    • 1
  • Thomas Eiter
    • 2
  • Nathan Robinson
    • 1
  • Abdul Sattar
    • 1
  • Kewen Wang
    • 1
  1. 1.Griffith UniversityAustralia
  2. 2.Technische Universität WienAustria

Personalised recommendations