Yet Another Modular Action Language

The paper presents the syntax and semantics of an action language ALM. The language is used for representation of knowledge about dynamic systems. It extends action language AL by allowing definitions of new objects (actions and fluents) in terms of other, previously defined, objects. This, together with the modular structure of the new language leads to more elegant and concise representations and facilitates creation of libraries of knowledge modules. The methodology of representing knowledge in ALM is illustrated by a number of examples.

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

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

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

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

[5]  Michael Gelfond,et al.  Going Places: Notes on a Modular Development of Knowledge about Travel , 2006, AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering.

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

[7]  Jonas Kvarnström,et al.  Elaboration tolerance through object-orientation , 2004, Artif. Intell..

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

[9]  Michael Gelfond,et al.  On methodology of representing knowledge in dynamic domains , 1998, Sci. Comput. Program..

[10]  Chitta Baral,et al.  Reasoning agents in dynamic domains , 2000 .

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

[12]  Jorge Lobo,et al.  Defeasible Specifications in Action Theories , 1997, IJCAI.

[13]  Hudson Turner,et al.  Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

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

[15]  Hudson Turner,et al.  A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.

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

[17]  R. Reiter.  On Closed World Data Bases , 1987, Logic and Data Bases.