Artificial intelligence and mathematical theory of computation
Proving properties of states in the situation calculus
Artificial Intelligence
Artificial Intelligence
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Automating Proofs of Integrity Constraints in Situation Calculus
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Discovering State Constraints in DISCOPLAN: Some New Results
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
A model checker for verifying ConGolog programs
Eighteenth national conference on Artificial intelligence
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
Knowledge and observations in the situation calculus
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A logical theory of coordination and joint ability
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Optimal regression for reasoning about knowledge and actions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
On the progression of situation calculus basic action theories: resolving a 10-year-old conjecture
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
The automatic inference of state invariants in TIM
Journal of Artificial Intelligence Research
Automata theory for reasoning about actions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Decidable reasoning in a modified situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Property persistence in the situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Team programming in Golog under partial observability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
What robots can do: robot programs and effective achievability
Artificial Intelligence
Existential assertions and quantum levels on the tree of the situation calculus
Artificial Intelligence
On first-order definability and computability of progression for local-effect actions and beyond
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reasoning about state constraints in the situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantification over situation terms. Although such queries arise naturally in many important reasoning tasks, they are difficult to automate in the situation calculus due to the presence of a second-order induction axiom. We show how to reduce queries about property persistence, a common type of universally-quantified query, to an equivalent form that does not quantify over situations and so is amenable to existing reasoning techniques. Our algorithm replaces induction with a meta-level fixpoint calculation; crucially, this calculation uses only first-order reasoning with a limited set of axioms. The result is a powerful new tool for verifying sophisticated domain properties in the situation calculus.