论文部分内容阅读
非单调推理与条件蕴涵之间存在着紧密的联系，众多研究人员从不同角度对此进行了研究，其中，C.Boutilier 与P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于Friedman与Halpern提出的PS (Plausibility space)概念，探讨了具有非单调特性的条件蕴涵的性质，刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征。