Analyzing Languages of Actions for the Purpose of Synthesis

Extending Theories of Action: Formal Theory and Practical Applications

Volume

Papers from the 1995 AAAI Spring Symposium

Contents

Researchers in a number of different communities have crafted representations of actions tailored to the perspectives and goals of their particular communities. It has become clear that these separate perspectives are inadequate for developing an autonomous intelligent system. This abstract will briefly describe how several of these perspectives can be productively combined. In particular, the following themes will be related: Planning requires representations of domain theories to be tractable. Theories for tasks in large, complex environments must be represented in a form that possesses a useful subgoal decomposition.