The application of theorem proving to question-answering systems
The application of theorem proving to question-answering systems
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Acquisition of moving objects and hand-eye coordination
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Decision analysis for an experimental robot with unreliable sensors
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
An intelligent robot, operating in an external environment that cannot be fully modeled in the robot's software, must be able to monitor the success of its execution of a previously generated plan. This paper outlines a unifled i ormalism for describing and relating the various functions oi a robot operating in such an environment. After exploring the distinetion between the external world and the robot's internal model of it, and the distinction between actions that interact with the world and the robot's descriptions of those actions, we formalize the concepts of a plan and of its execution. Current developments at Stanford Research Institute, and the benchmark idea oi an ultimate rational robot, are both analyzed in this framework.