Parametric Connectives in Disjunctive Logic Programming

Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is decidable in the complexity class Σ P 2 (NP NP). Importantly, the DLP encodings are often simple and natural.In this paper, we single out some limitations of DLP for KRR, which cannot naturally express problems where the size of the disjunction is not known “a priori” (like N-Coloring), but it is part of the input. To overcome these limitations, we further enhance the knowledge modelling abilities of DLP, by extending this language by Parametric Connectives (OR and AND). These connectives allow us to represent compactly the disjunction/conjunction of a set of atoms having a given property. We formally define the semantics of the new language, named DLP ∨,∧ and we show the usefulness of the new constructs on relevant knowledge-based problems. We address implementation issues and discuss related works.

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

[2]  Wolfgang Faber,et al.  Pushing Goal Derivation in DLP Computations , 1999, LPNMR.

[3]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[4]  Arthur B. Markman,et al.  Knowledge Representation , 1998 .

[5]  J. Lloyd Foundations of Logic Programming , 1984, Symbolic Computation.

[6]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[7]  Georg Gottlob Complexity and Expressive Power of Disjunctive Logic Programming , 1994, ILPS.

[8]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

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

[10]  Georg Gottlob,et al.  The DLV System , 2002, JELIA.

[11]  Rina Dechter,et al.  Propositional semantics for disjunctive logic programs , 1994, Annals of Mathematics and Artificial Intelligence.

[12]  J. Davenport Editor , 1960 .

[13]  Jack Minker,et al.  Overview of disjunctive logic programming , 1994, Annals of Mathematics and Artificial Intelligence.

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

[15]  Vladimir Lifschitz,et al.  Nested expressions in logic programs , 1999, Annals of Mathematics and Artificial Intelligence.

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

[17]  Wolfgang Faber,et al.  Experimenting with Heuristics for Answer Set Programming , 2001, IJCAI.