Artificial intelligence and mathematical theory of computation
Indexical knowledge and robot action—a logical account
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Reasoning about knowledge
A circumscriptive calculus of events
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowledge, action, and the frame problem
Artificial Intelligence
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Knowledge and observations in the situation calculus
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Reasoning with knowledge, action and time in dynamic and uncertain domains
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
| Hi-index | 0.00 |
A formal framework for specifying and developing agents/robots must handle not only knowledge and sensing actions, but also time and concurrency. Researchers have extended the situation calculus to handle knowledge and sensing actions. Other researchers have addressed the issue of adding time and concurrent actions. Here both of these features are combined into a united logical theory of knowledge, sensing, time, and concurrency. The result preserves the solution to the frame problem of previous work, maintains the distinction between indexical and objective knowledge of time, and is capable of representing the various ways in which concurrency interacts with time and knowledge. Furthermore, a method based on regression is developed for solving the projection problem for theories specified in this version of the situation calculus.