{"type":"ScholarlyArticle","title":"Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions","authors":[{"name":"Yongmei Liu","slug":"yongmei-liu","given":"Yongmei","family":"Liu","affiliation":""},{"name":"Hector J. Levesque","slug":"hector-j-levesque","given":"Hector J.","family":"Levesque","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2005/67","pdf":"https://ijcai.org/proceedings/2005/0067.pdf","markdown":"https://ijcai.org/proceedings/2005/67.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/67","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":67,"pages":{"first":522,"last":526},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}