Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions

This paper extends action language \(\mathcal{C}+\) by introducing composite actions as sequential execution of primitive actions. Such extension leads to a more intuitive and flexible way to represent action domains, better exploit a general-purpose formalization, and improve the reasoning efficiency for large domains. The semantics of composite actions is defined by a translation to nonmonotonic causal theories. We implement the language by extending cplus2asp, which translates causal theories into answer set programming (ASP) and calls ASP solver.

[1]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[2]  John McCarthy,et al.  Generality in artificial intelligence , 1987, Resonance.

[3]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[4]  Joohyung Lee,et al.  Representing the Language of the Causal Calculator in Answer Set Programming , 2011, ICLP.

[5]  Tran Cao Son,et al.  Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach , 2001, LPNMR.

[6]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[7]  Murray Shanahan Event Calculus Planning Revisited , 1997, ECP.

[8]  Xiaoping Chen,et al.  Developing high-level cognitive functions for service robots , 2010, AAMAS.

[9]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

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

[11]  Vladimir Lifschitz,et al.  Actions as Special Cases , 2006, KR.

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

[13]  Alex S. Taylor,et al.  Machine intelligence , 2009, CHI.

[14]  Daniel S. Weld Recent Advances in AI Planning , 1999, AI Mag..

[15]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[16]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

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

[18]  Michael Gelfond,et al.  Representing Biological Processes in Modular Action Language ALM , 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[19]  Vladimir Lifschitz,et al.  A library of general-purpose action descriptions , 2008 .

[20]  Earl D. Sacerdott Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.