Artificial intelligence and mathematical theory of computation
Proving properties of states in the situation calculus
Artificial Intelligence
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Automating Proofs of Integrity Constraints in Situation Calculus
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Knowledge and observations in the situation calculus
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Composition of ConGolog programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Property persistence in the situation calculus
Artificial Intelligence
Task modelling using situation calculus
TAMODIA'09 Proceedings of the 8th international conference on Task Models and Diagrams for User Interface Design
Hi-index | 0.00 |
We develop an algorithm for reducing universally quantified situation calculus queries to a form more amenable to automated reasoning. Universal quantification in the situation calculus requires a second-order induction axiom, making automated reasoning difficult for such queries. We show how to reduce queries about property persistence, a common family of universally-quantified query, to an equivalent form that does not quantify over situations. The algorithm for doing so utilizes only first-order reasoning. We give several examples of important reasoning tasks that are facilitated by our approach, including checking for goal impossibility and reasoning about knowledge with partial observability of actions.