The Situation Calculus with Sensing and Indexical Knowledge
Richard B. Scherl, Hector J. Levesque, Yves Lesp · 1995
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].