Logic programs with exceptions
- Cite this article as:
- Kowalski, R.A. & Sadri, F. New Gener Comput (1991) 9: 387. doi:10.1007/BF03037170
- 27 Downloads
We extend logic programming to deal with default reasoning by allowing the explicit representation of exceptions in addition to general rules. To formalise this extension, we modify the answer set semantics of Gelfond and Lifschitz, which allows both classical negation and negation as failure.
We also propose a transformation which eliminates exceptions by using negation by failure. The transformed program can be implemented by standard logic programming methods, such as SLDNF. The explicit representation of rules and exceptions has the virtue of greater naturalness of expression. The transformed program, however, is easier to implement.