A logic-based calculus of events
New Generation Computing
A new deductive approach to planning
New Generation Computing
Artificial intelligence and mathematical theory of computation
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
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
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
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
A situation-calculus semantics for an expressive fragment of PDDL
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
ESP: a logic of only-knowing, noisy sensing and acting
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Towards an integration of Golog and planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
McCarthy variations in a modal key
Artificial Intelligence
Alternating-time temporal announcement logic
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
DEL planning and some tractable cases
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Ontology enabled decision support and situational awareness
Intelligent Decision Technologies - Ontology Driven Interoperability for Agile Applications using Information Systems: Requirements and Applications for Agent Mediated Decision Support
| Hi-index | 0.00 |
In a recent paper, we presented a new logic called ES for reasoning about the knowledge, action, and perception of an agent. Although formulated using modal operators, we argued that the language was in fact a dialect of the situation calculus but with the situation terms suppressed. This allowed us to develop a clean and workable semantics for the language without piggybacking on the generic Tarski semantics for first-order logic. In this paper, we reconsider the relation between ES and the situation calculus and show how to map sentences of ES into the situation calculus. We argue that the fragment of the situation calculus represented by ES is rich enough to handle the basic action theories defined by Reiter as well as Golog. Finally, we show that in the full second-order version of ES, almost all of the situation calculus can be accommodated.