The Situation Calculus with Sensing and Indexical Knowledge

Richard B. Scherl, Hector J. Levesque, Yves Lesperance

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.