Abstract

Action languages are formal models of parts of the natural language that are used for talking about the effects of actions. This article is a collection of definitions related to action languages that may be useful as a reference in future publications. 1 Introduction This article is a collection of definitions related to action languages. It does not provide a comprehensive discussion of the subject, and does not contain a complete bibliography, but it may be useful as a reference in future publications. Action languages are formal models of parts of the natural language that are used for talking about the effects of actions. Central to this method of formalizing actions is the concept of a transition system, which is defined in Section 2. Then we consider action languages of two kinds. Action description languages serve for describing transition systems; examples of such languages are given in Sections 3--6. Action query languages serve for stating assertions about a transition...

Citations