The Situation Calculus with Sensing and Indexical Knowledge

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.