基于世界偏好结构的定性条件非单调推理
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
