Almost Definite Causal Theories

The language of nonmonotonic causal theories, defined by Norman McCain and Hudson Turner, is an important formalism for representing properties of actions. For causal theories of a special kind, called definite, a simple translation into the language of logic programs under the answer set semantics is available. In this paper we define a similar translation for causal theories of a more general form, called almost definite. Such theories can be used, for instance, to characterize the transitive closure of a binary relation. The new translation leads to an implementation of a subclass of almost definite causal theories that employs the answer set solver smodels as the search engine.

[1]  Georg Gottlob,et al.  Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics , 1993, ILPS.

[2]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[3]  Yuliya Lierler,et al.  Fages' Theorem and Answer Set Programming , 2000, ArXiv.

[4]  V. Lifschitz,et al.  Reinforcing a Claim in Commonsense Reasoning , 2003 .

[5]  Jack Minker,et al.  Logic-Based Artificial Intelligence , 2000 .

[6]  Esra Erdem,et al.  Tight logic programs , 2003, Theory and Practice of Logic Programming.

[7]  Armando Tacchella,et al.  Getting to the airport: the oldest planning problem in AI , 2000 .

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

[9]  Joohyung Lee Nondefinite vs. Definite Causal Theories , 2004, LPNMR.

[10]  N. McCain Causality in commonsense reasoning about actions , 1997 .

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

[12]  Varol Akman,et al.  Representing the Zoo World and the Traffic World in the language of the Causal Calculator , 2004, Artif. Intell..

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

[14]  Vladimir Lifschitz,et al.  Missionaries and Cannibals in the Causal Calculator , 2000, KR.

[15]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.