Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions
复制标题
具有上下文相关操作的动态系统中不完整的一阶知识的易处理推理
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
H. Levesque
中科院分区：
文献类型：
--
作者：
Yongmei Liu;H. Levesque
动态系统中的一个基本推理问题是投影问题：确定一个公式在执行了一系列动作后是否成立。在本文中，我们提出了一种可处理的一阶不完全知识和上下文相关动作存在下的投影问题的解决方案。我们的解决方案基于一种递进类型，也就是说，我们将初始知识库（KB）按动作序列递进，并根据得到的知识库回答查询。我们提出的推理形式在逻辑上总是合理的，并且当查询处于某种标准形式并且代理对任何依赖于上下文的操作的上下文具有完整的知识时，推理形式在逻辑上也是完整的。
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.