Disjunctive Logic Programs with Inheritance

Details Disjunctive Logic Programs with Inheritance Disjunctive Logic Programs with Inheritance

2001-05-30

arxiv.org/abs/cs/0105036v2

Theory and Practice of Logic Programming 2(3):293-321, 2002

Computer Science

Logic in Computer Science

28 pages; will be published in Theory and Practice of Logic Programming

Scientific paper

10.1017/S1471068402001394

The paper proposes a new knowledge representation language, called DLP<, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP< is provided, which is shown to generalize the Answer Set Semantics of disjunctive logic programs. The knowledge modeling features of the language are illustrated by encoding classical nonmonotonic problems in DLP<. The complexity of DLP< is analyzed, proving that inheritance does not cause any computational overhead, as reasoning in DLP< has exactly the same complexity as reasoning in disjunctive logic programming. This is confirmed by the existence of an efficient translation from DLP< to plain disjunctive logic programming. Using this translation, an advanced KR system supporting the DLP< language has been implemented on top of the DLV system and has subsequently been integrated into DLV.

Affiliated with

Also associated with

No associations

Rating

Disjunctive Logic Programs with Inheritance does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Disjunctive Logic Programs with Inheritance, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Disjunctive Logic Programs with Inheritance will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-250079