Disjunctive Logic Programs with Inheritance Revisited
We argue for a semantical modification of the language DLP<. We show by examples that the current DLP< representation in some cases does not provide intuitive answers, in particular when applied to inheritance reasoning. We present and discuss an initial modification of DLP< that yields the expected answers in some examples that we consider significant
Unable to display preview. Download preview PDF.
- 1.Buccafurri F., Faber W. and Leone N., 1999. Disjunctive Logic Programs with Inheritance. Proc. of ICLP’99, pp. 79–93. Long version submitted for publication.Google Scholar
- 2.Dung P.M. and Son T.C., 1995. Nonmonotonic inheritance, argumentation, and logic programming. In Proc. of the 3th Int’l Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR’95), pp. 316–329.Google Scholar
- 3.Gelfond, M. and Lifschitz, V., 1991. Classical Negation in Logic Programming and Disjunctive Databases, New Generation Computing 9, 1991: 365–385.Google Scholar
- 4.Horty J.F., 1994. Some direct theories of non-monotonic inheritance. In D. Gabbay, C. Hogger, and J. Robinson, editors, Handbook of Logic and Artificial Intelligence and Logic Programming, pages 111–187. Oxford Uni., 1994.Google Scholar