Relating Theories of Actions and Reactive Robot Control

Contents

In this paper we explore the connection between theories of actions and reactive robot control architectures that ~re based on the paradigm of situated activity. In particular, we use the entailment relation of the action description language to formalize the notion of an action leading to a goal of Kaelbling and Rosenschein.