经验逻辑:一种非单调逻辑的统一形式

EXPERIENTIAL LOGIC:A UNIFIED FORM OF NONMONOTONIC LOGICS

人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的。因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。

Human commonsense reasoning is a kind of cumulative process of experiential knowledge,and the experiential reasoning is nonmonotonic.This paper proposes a logic on typicality and exception,studies its nature of nonmonotonicity.It provides a uniform basis for existing major nonmonotonic logics.The results are obtained by translating them all into the experiential logic via some similar rules.The experiential logic therefore provides a class of more intuitive and general nonmonotonic formalisms.