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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.