Implementing prioritized logic programming

  • Cheng-Min Wu
  • Yan Zhang
Communications 1A Logics for AI
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1609)


Conflict resolution is an important issue in knowledge representation and reasoning. A common idea of solving conflicts in reasoning is to introduce priorities in the underlying reasoning mechanism. This paper describes an implementation of prioritized logic programs (PLPs) proposed by Zhang and Foo recently [4]. PLPs is a non-trivial extension of Gelfond and Lifschitz’s extended logic programs [3] by associating preferences to the program, where answer sets provide a semantics of PLPs. As a central part of the implementation of PLPs, we present major algorithms of computing answer sets of PLPs. We show how answer sets of a PLP can be computed efficiently based on previous Niemelä and Simons’ method of computing stable models of logic programs [2].


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Brewka, Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research 4 (1996) 19–36.MATHMathSciNetGoogle Scholar
  2. 2.
    I. Niemelä and P. Simons, Efficient implementation of the well-founded and stable model semantics. International Joint Conference and Symposium on Logic programming (IJCSLP ’96), pp 289–303, 1996.Google Scholar
  3. 3.
    M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365–386, 1991.MATHCrossRefGoogle Scholar
  4. 4.
    Y. Zhang and N.Y. Foo, Answer sets for prioritized logic programs. In Procceedings of the 1997 International Logic Programming Symposium (ILPS’97), pp69–83. MIT Press, 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Cheng-Min Wu
    • 1
  • Yan Zhang
    • 1
  1. 1.School of Computing and Information TechnologyUniversity of Western Sydney, NepeanKingswoodAustralia

Personalised recommendations