Disjunctive Logic Programs with Inheritance

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.

[1]  José Júlio Alferes,et al.  Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming , 1996, JELIA.

[2]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[3]  Victor W. Marek,et al.  Revision Specifications by Means of Programs , 1994, JELIA.

[4]  Hans Tompits,et al.  Considerations on Updates of Logic Programs , 2000, JELIA.

[5]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[6]  Vladimir Lifschitz,et al.  Action Languages, Answer Sets, and Planning , 1999, The Logic Programming Paradigm.

[7]  Luigi Palopoli,et al.  A Language for Updating Logic Programs and its Implementation , 1995, J. Log. Program..

[8]  José Júlio Alferes,et al.  On Logic Program Semantics with Two Kinds of Negation , 1992, JICSLP.

[9]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[10]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[11]  Thomas Eiter,et al.  Preferred Answer Sets for Extended Logic Programs , 1999, Artif. Intell..

[12]  Esra Erdem,et al.  Applications of Logic Programming to Planning: Computational Experiments , 1999 .

[13]  Jack Minker,et al.  Using Priorities to Combine Knowledge Bases , 1996, Int. J. Cooperative Inf. Syst..

[14]  Hans Tompits,et al.  Logic Programs with Compiled Preferences , 2000, ECAI.

[15]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[16]  Chiaki Sakama,et al.  Representing Priorities in Logic Programs , 1996, JICSLP.

[17]  Vladimir Lifschitz,et al.  Formalizing Common Sense: Papers by John McCarthy , 1998 .

[18]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[19]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[20]  Phan Minh Dung,et al.  Representing Actions in Logic Programming and Its Applications in Database Updates , 1993, ICLP.

[21]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[22]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[23]  Victor W. Marek,et al.  The Logic Programming Paradigm: A 25-Year Perspective , 2011 .

[24]  Victor W. Marek,et al.  Autoepistemic logic , 1991, JACM.

[25]  Luís Moniz Pereira,et al.  Logic Programming and Knowledge Representation (LPKR'97) , 1997, ILPS.

[26]  José Júlio Alferes,et al.  Dynamic Logic Programming , 1998, APPIA-GULP-PRODE.

[27]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[28]  Enrico Giunchiglia,et al.  An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[29]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[30]  Georg Gottlob,et al.  Abduction from Logic Programs: Semantics and Complexity , 1997, Theor. Comput. Sci..

[31]  Francesco Buccafurri,et al.  Disjunctive Ordered Logic: Semantics and Expressiveness , 1998, KR.

[32]  Tran Cao Son,et al.  Reasoning with Prioritized Defaults , 1997, LPKR.

[33]  Gerald Pfeifer,et al.  The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.

[34]  Jorge Lobo,et al.  Foundations of disjunctive logic programming , 1992, Logic Programming.