论文部分内容阅读
非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于 Friedman与Halpern提出的 PS(Plausibility space)概念 ,探讨了具有非单调特性的条件蕴涵的性质 ,刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征
There is a close relationship between non-monotonic reasoning and conditional implication, and many researchers have studied it from different perspectives. Among them, C. Boutili-er and P. Lamarre proved that some conditional implication of conditional logical system can be regarded as non-conditional Monotonous inherited counterparts. Based on the concept of PL (Plausibility space) proposed by Friedman and Halpern, this paper discusses the properties of conditional implication with non-monotonic characteristics and depicts the general characteristics implied by the conditions that can be used as non-monotonic counterparts in the target language layer