Relating Theories of Actions and Reactive Control

  title={Relating Theories of Actions and Reactive Control},
  author={Chitta Baral and Tran Cao Son},
  journal={Electron. Trans. Artif. Intell.},
In this paper we give a formal characterization of reactive control using action theories In the process we formalize the notion of a reactive control program being correct with respect to a given goal a set of initial states and action theories about the agent robot and about the exogenous actions We give suf ciency conditions that guarantee correctness and use it to give an automatic method for constructing provenly correct control modules We then extend our approach to action theories and… CONTINUE READING