Indexical knowledge and robot action—a logical account
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Robot Motion Planning
The Behavior Language: User''s Guide
The Behavior Language: User''s Guide
Teleo-reactive programs for agent control
Journal of Artificial Intelligence Research
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Reasoning about noisy sensors in the situation calculus
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Noise and the common sense informatic situation for a mobile robot
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
The use of action models for the analysis of control programs can be useful for two reasons. First, it promises to deliver better tools for the simulation, verification and synthesis of control programs, and second it presents challenging problems for theories of action and knowledge. In this paper we use a theory of actions and knowledge developed elsewhere to analyze control programs for navigation tasks.We model both physical and sensing actions and establish conditions under which different control programs are executable and lead the agent to the intended goal.