Representing Priorities in Logic Programs
Chiaki Sakama and Katsumi Inoue
Proceedings of the Joint International Conference and Symposium
on Logic Programming (JICSLP'96), MIT Press, pp. 82-96, 1996.
Reasoning with priorities is a central topic in knowledge representation.
A number of techniques for prioritized reasoning have been developed
in the field of AI, but existing logic programming lacks the mechanism of
explicit representation of priorities in a program.
In this paper, we introduce a framework for representing priorities in logic
programming. Prioritized logic programming represents
preference knowledge more naturally than stratified programs,
and is used to reduce non-determinism in logic programming.
Moreover, it can realize various forms of commonsense reasoning
such as abduction, default reasoning, and prioritized circumscription.
The proposed framework increases the expressive power of logic programming
and exploits new applications in knowledge representation.
Full Paper (gzipped postscript 74K)