On the Combination of Partial Action Descriptions

We investigate the problems of precondition interactions and effect cumulations, typically caused by the concurrent execution of actions. Our analysis leads to an integration of property oriented and resource oriented approaches to the representation of action and change. We formalize our ideas by introducing an extension A ORC of the Action Description Language A C [2]. In order to enable sound and complete automated inference, we give a corresponding encoding in terms of the Fluent calculus [10].

[1]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

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

[3]  Michael Thielscher,et al.  Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems , 1997, J. Log. Program..

[4]  Michael Thielscher,et al.  Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems , 1997, J. Log. Program..

[5]  Chitta Baral,et al.  Representing Concurrent Actions in Extended Logic Programming , 1993, IJCAI.

[6]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[7]  E. Sandewall.  Features and fluents (vol. 1): the representation of knowledge about dynamical systems , 1995 .

[8]  Michael J. Maher,et al.  A Theory of Complete Logic Programs with Equality , 1984, J. Log. Program..

[9]  Pascal Van Hentenryck.  Representing Actions in Equational Logic Programming , 1994 .

[10]  Vladimir Lifschitz,et al.  Guest editor's introduction: Reasoning about action and change , 1997 .

[11]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[12]  Fangzhen Lin,et al.  Concurrent Actions in the Situation Calculus , 1992, AAAI.

[13]  Luís Moniz Pereira,et al.  Reasoning about Concurrent Actions and Observations , 1996, APPIA-GULP-PRODE.

[14]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[15]  Chitta Baral,et al.  Representing Actions: Laws, Observations and Hypotheses , 1997, J. Log. Program..

[16]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[17]  Michael Thielscher,et al.  Representing Concurrent Actions and Solving Conflicts , 1994, Log. J. IGPL.