Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions
Abstract
A basic reasoning problem in dynamic systems is the projection problem: determine if a formula holds after a sequence of actions has been per-formed. In this paper, we propose a tractable1 so-lution to the projection problem in the presence of incomplete first-order knowledge and context-dependent actions. Our solution is based on a type of progression, that is, we progress the ini-tial knowledge base (KB) wrt the action sequence and answer the query against the resulting KB. The form of reasoning we propose is always log-ically 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. 1
Cite
Text
Liu and Levesque. "Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions." International Joint Conference on Artificial Intelligence, 2005.Markdown
[Liu and Levesque. "Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/liu2005ijcai-tractable/)BibTeX
@inproceedings{liu2005ijcai-tractable,
title = {{Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions}},
author = {Liu, Yongmei and Levesque, Hector J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2005},
pages = {522-527},
url = {https://mlanthology.org/ijcai/2005/liu2005ijcai-tractable/}
}