Preferred Answer Sets for Ordered Logic Programs
We extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a “best” answer set.Within the context of inconsistent programs, it is natural to have a partial order on rules, representing a preference for satisfying certain rules, possibly at the cost of violating less important ones.We showthat such a rule order induces a natural order on extended answer sets, the minimal elements of which we call preferred answer sets. We characterize the expressiveness of the resulting semantics and show that it can simulate negation as failure as well as disjunction.We illustrate an application of the approach by considering database repairs, where minimal repairs are shown to correspond to preferred answer sets.
Unable to display preview. Download preview PDF.
- 1.Marcelo Arenas, Leopoldo Bertossi, and Jan Chomicki. Specifying and querying database repairs using logic programs with exceptions. In Proceedings of the 4th International Conference on Flexible Query Answering Systems, pages 27–41, Warsaw, Octobre 2000. Springer-Verlag.Google Scholar
- 3.T. Eiter and G. Gottlob. Complexity results for disjunctive logic programming and application to nonmonotnic logics. In Proceedings of the 1983 International Logic Programming Symposium, pages 266–279, Vancouver, October 1993. MIT Press.Google Scholar
- 4.Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert A. Kowalski and Kenneth A. Bowen, editors, Logic Programming, Proceedings of the Fifth International Conference and Symposium, pages 1070–1080, Seattle, Washington, August 1988. The MIT Press.Google Scholar
- 5.Robert A. Kowalski and Fariba Sadri. Logic programs with exceptions. In David H. D. Warren and Peter Szeredi, editors, Proceedings of the Seventh International Conference on Logic Programming, pages 598–613, Jerusalem, 1990. The MIT Press.Google Scholar
- 7.Vladimir Lifschitz. Answer set programming and plan generation. Journal of Artificial Intelligence, to appear.Google Scholar