论文标题
基于世界上首选结构的定性条件的非单调推论
Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds
论文作者
论文摘要
有条件的知识库r是“如果a，通常为b”的形式的一组条件。使用从R中的条件得出的结构信息，我们介绍了世界上的首选结构关系。首选的结构关系是一种称为系统W推理的新推理关系的核心成分，该关系在R中明确地完成了所提供的知识。我们表明，系统W具有令人满意的推理属性，例如满足系统P和避免，与例如。系统Z，溺水问题。它可以完全捕获并严格扩展系统Z和怀疑的C-------与持怀疑态度的C-推荐相反，它不需要解决复杂的约束满意度问题，而是像系统Z一样可拖延的。
A conditional knowledge base R is a set of conditionals of the form "If A, the usually B". Using structural information derived from the conditionals in R, we introduce the preferred structure relation on worlds. The preferred structure relation is the core ingredient of a new inference relation called system W inference that inductively completes the knowledge given explicitly in R. We show that system W exhibits desirable inference properties like satisfying system P and avoiding, in contrast to e.g. system Z, the drowning problem. It fully captures and strictly extends both system Z and skeptical c-inference. In contrast to skeptical c-inference, it does not require to solve a complex constraint satisfaction problem, but is as tractable as system Z.
