Artificial Intelligence
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Projection Using Regression and Sensors
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Scaling up reasoning about actions using relational database technology
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A tractability result for reasoning with incomplete first-order knowledge bases
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Some Results on the Completeness of Approximation Based Reasoning
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
The Two-Variable Situation Calculus
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
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
Decidable reasoning in a modified situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Progression of situation calculus action theories with incomplete information
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
Reasoning with knowledge, action and time in dynamic and uncertain domains
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Approximation of action theories and its application to conformant planning
Artificial Intelligence
Artificial Intelligence
A general representation and approximate inference algorithm for sensing actions
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
A classification of first-order progressable action theories in situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
A basic reasoning problem in dynamic systems is the projection problem: determine if a formula holds after a sequence of actions has been performed. In this paper, we propose a tractable solution to the projection problem in the presence of incomplete first-order knowledge and contextdependent actions. Our solution is based on a type of progression, that is, we progress the initial knowledge base (KB) wrt the action sequence and answer the query against the resulting KB. The form of reasoning we propose is always logically sound and is also logically complete when the query is in a certain normal form and the agent has complete knowledge about the context of any context-dependent actions.