A Logic of Limited Belief for Reasoning with Disjunctive Information
A Logic of Limited Belief for Reasoning with Disjunctive Information
复制标题
析取信息推理的有限置信逻辑
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
H. Levesque
中科院分区：
文献类型：
--
作者：
Yongmei Liu;G. Lakemeyer;H. Levesque
生产一个通用的，语义驱动的，计算上听话的演绎推理服务的目标仍然令人惊讶的难以捉摸。总的来说，配备了清晰模型理论的方法要么导致推理机从实用的角度来看过于有限，要么从计算的悬崖上掉下来。
在本文中，我们提出了一个新的逻辑的信念称为SL之间的两个极端。我们表明，查询评估SL的基础上，一定形式的知识库与析取信息是易处理的命题的情况下，在一阶的情况下，可判定的。此外，我们提出了一个健全的和完整的公理化命题SL。
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches that come equipped with a perspicuous model theory either result in reasoners that are too limited from a practical point of view or fall off the computational cliff.
In this paper, we propose a new logic of belief called SL which lies between the two extremes. We show that query evaluation based on SL for a certain form of knowledge bases with disjunctive information is tractable in the propositional case and decidable in the first-order case. Also, we present a sound and complete axiomatization for propositional SL.