Proceedings:
Proceedings of the Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence
Volume
Issue:
Proceedings of the Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence
Track:
Contents
Downloads:
Abstract:
This paper develops a version of the situation calculus that incorporates the notion of indexical knowledge. It is part of a larger endeavor, the cognitive robotics project, which uses the situation calculus as the basis of both a higher level programming language for agents, and a logical theory of the integration of reasoning, action, and perception.
BISFAI
Proceedings of the Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence