Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 522-526.
Abstract
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 1 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.
@inproceedings{ijcai2005p67,
title = {Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions},
author = {Liu, Yongmei and Levesque, Hector J.},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {522--526},
year = {2005},
url = {https://ijcai.org/proceedings/2005/67},
}
TY - CPAPER TI - Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions AU - Liu, Yongmei AU - Levesque, Hector J. T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 522 EP - 526 UR - https://ijcai.org/proceedings/2005/67 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
