“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Artificial intelligence and mathematical theory of computation
Reasoning about knowledge
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
Experiences with an interactive museum tour-guide robot
Artificial Intelligence - Special issue on applications of artificial intelligence
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
The logic of knowledge bases
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Situation Calculus as Hybrid Logic: First Steps
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A Logic for Planning under Partial Observability
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Knowledge, action, and the frame problem
Artificial Intelligence
Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Optimal regression for reasoning about knowledge and actions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
| Hi-index | 0.00 |
The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter's version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages of the original.