Representing first-order causal theories by logic programs

Nonmonotonic causal logic, introduced by McCain and Turner (McCain, N. and Turner, H. 1997. Causal theories of action and change. In Proceedings of National Conference on Artificial Intelligence (AAAI), Stanford, CA, 460-465) became the basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite theories and to the first-order causal logic.

[1]  Joohyung Lee,et al.  Symmetric Splitting in the General Theory of Stable Models , 2009, IJCAI.

[2]  Yuliya Lierler,et al.  Representing Synonymity in Causal Logic and in Logic Programming , 2010 .

[3]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

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

[5]  G. Mints.  A Short Introduction to Intuitionistic Logic , 2000 .

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

[7]  Paolo Ferraris.  A Logic Program Characterization of Causal Theories , 2007, IJCAI.

[8]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[9]  Joohyung Lee,et al.  System f2lp - Computing Answer Sets of First-Order Formulas , 2009, LPNMR.

[10]  Costas Lambrinoudakis,et al.  Proceedings of the 4th international conference on Trust, Privacy and Security in Digital Business , 2007 .

[11]  Martin Gebser,et al.  Coala: A Compiler from Action Languages to ASP , 2010, JELIA.

[12]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[13]  Enrico Giunchiglia,et al.  Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach , 2009, TrustBus.

[14]  Joohyung Lee,et al.  Stable models and circumscription , 2011, Artif. Intell..

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

[16]  Paolo Ferraris.  Causal Theories as Logic Programs , 2006, WLP.

[17]  Fangkai Yang,et al.  Translating First-Order Causal Theories into Answer Set Programming , 2010, JELIA.

[18]  Wanwan Ren.  A modular language for describing actions , 2009 .

[19]  Vladimir Lifschitz,et al.  The Semantics of Variables in Action Descriptions , 2007, AAAI.

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

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

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

[23]  Vladimir Lifschitz,et al.  A Modular Action Description Language , 2006, AAAI.

[24]  Esra Erdem,et al.  Bridging the Gap between High-Level Reasoning and Low-Level Control , 2009, LPNMR.

[25]  Wolfgang Faber.  Answer Set Programming , 2013, Reasoning Web.

[26]  Vladimir Lifschitz,et al.  On the Logic of Causal Explanation (Research Note) , 1997, Artif. Intell..

[27]  Vladimir Lifschitz,et al.  Computing Circumscription , 1985, IJCAI.

[28]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[29]  Dov M. Gabbay,et al.  What Is Negation as Failure? , 2012, Logic Programs, Norms and Action.

[30]  McCarthyJohn.  Applications of circumscription to formalizing common-sense knowledge , 1986 .

[31]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

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

[33]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[34]  Paolo Ferraris,et al.  Answer Sets for Propositional Theories , 2005, LPNMR.

[35]  Alexander Artikis,et al.  Specifying norm-governed computational societies , 2009, TOCL.