The Situation Calculus with Sensing and Indexical Knowledge

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 [Lesp' erance et al., 1994; Lesp'erance et al., 1995].