A Unified Action Language Framework

摘要

Action languages are simple formal languages for describing the effects of actions. Although they have been useful formalisms for reasoning about actions and planning, no precise definition has been given to specify exactly what constitutes an action language. In this paper, we introduce a logical framework that unifies existing action languages. The framework is based on a simple modal logic with one-step temporal modalities and a causal operator.