Logic programs with exceptions
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
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.
- Asirelli, P., Santis, M., Martelli, M. (1985) Integrity Constraints in Logic Databases. J. Logic Programming 2: pp. 221-232 CrossRef
- Clark, K. L., “Negation as Failure,” inLogic and Databases (Gallaire, H. and Minker, J., eds.), Plenum Press, pp. 293–322, 1978.
- Eshghi, K. and Kowalski, R. A., “Abduction Compared with Negation by Failure,”Proc. of the Sixth International Logic Programming Conference, MIT Press, 1989.
- Gelfond, M. and Lifschitz, V., “The Stable Model Semantics for Logic Programs,”Proc. of the Fifth International Conference and Symposium on Logic Programming (Kowalski, R. A. and Bowen, K. A., eds.), 2, pp. 1070–1080, 1988.
- Gelfond, M. and Lifschitz, V., “Logic Programs with Classical Negation,”Proc. of the Seventh International Logic Programming Conference, MIT Press, 1990.
- Ioannides, A. J. (1989) Transformation Algorithms for Representing Knowledge without Integrity Constraints. Department of Computing, Imperial College, London
- Kowalski, R. A., Sadri, F. (1988) Knowledge Representation without Integrity Constraints. Department of Computing, Imperial College, London
- Kowalski, R. A., “The Treatment of Negation in Logic Programs for Representing Legislation,”Proc. of the Second International Conference on Artificial Intelligence and Law, pp. 11–15, 1989.
- Lloyd J. W.,Foundatins of Logic Programming, 2nd extended edition, Springer-Verlag, 1987.
- Pereira, L. M., Aparicio, J. N. (1990) Default Reasoning as Abduction. AI Centre/Uninova, 2825 Monte da Caparica, Portugal
- Poole, D. (1988) A Logical Framework for Default Reasoning. Artificial Intelligence 36: pp. 27-47 CrossRef
- Reiter, R. (1980) A Logic for Default Reasoning. Artificial Intelligence 13: pp. 81-132 CrossRef
- Sergot, M. J., Sadri, F., Kowalski, R. A., Kriwaczek, F., Hammond, P., Cory, H. T. (1986) The British Nationality Act as a Logic Program. CACM 29: pp. 370-386
- Logic programs with exceptions
New Generation Computing
Volume 9, Issue 3-4 , pp 387-400
- Cover Date
- Print ISSN
- Online ISSN
- Additional Links
- Logic Programs
- Rules and Exceptions
- Default Reasoning
- Answer Set Semantics
- e-answer Set Semantics
- Industry Sectors