知识蕴涵逻辑系统

使用经典逻辑对海量知识系统进行分析处理和信息挖掘需要解决的关键问题之一就是司各脱法则问题.司各脱定理表明,矛盾蕴涵一切,如果一个知识系统包含着相互矛盾的信息,那么任何命题都将成为这个系统的推论.基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略.在根据这种策略而建立的知识蕴涵逻辑系统D中,(1)蕴涵关系符合直觉:(2)经典逻辑中基本的逻辑规律在该系统中得以保留:(3)不改变经典否定、合取的性质:(4)司各脱法则不成立.本文在给出严格形式语义的基础上,证明了该系统具有可靠性、协调性、完全性和可判定性.知识蕴涵逻辑系统D可以提供一个分析、处理海量知识系统的逻辑工具.利用公理B→(A→(A→B)),可以将知识系统中真知识归为一类,利用公理￢B→(￢A→(A→B)),可以将知识系统中的假知识归为一类,利用公理B→(￢A→(A→B))(其中A和B相关)可以将相互矛盾知识中的相关真知识演绎出来.     

知识蕴涵逻辑的应用

知识蕴涵逻辑是能够处理包含矛盾信息知识系统的推理问题的一类逻辑系统。它可以避免由于矛盾信息而带来推理后承的致命性结果。其应用前景非常广泛,主要体现在:1.为智能系统提供处理不协调信息的逻辑工具;2.用于不协调信息的形式表示;3.有助于自然语言的理解。由两个具体的应用实例可以看出,在某些情况下,用知识蕴涵逻辑描述人类的推理过程更加符合人类智能的实际情况。     

赋值格为险象识别格的一种非经典逻辑系统K#(Ⅱ)

研究赋值格为非线性序的一种非经典逻辑低矺#.在该系统中,格结构不同于Boole代数,蕴涵算子→取Kleene-Dienes算子RKD.得到若干结果,特别是K#-准重言式恰是经典命题逻辑C2中的重言式,从而也等于C2中的定理,即QT(K#)=T(C2)=Φ├ .     

二值命题逻辑中Г-的蕴涵距离和近似推理

以基本真度为基础,引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念,由此定义了公式A到B的Г-蕴涵距离,并通过Г-蕴涵距离的基本真度表示式,对二值命题逻辑中基于前提信息的近似推理问题进行讨论．     

从相干逻辑看逻辑的可修正性

相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进一步解决和完善。     

因果陈述句逻辑系统

因果必然性的性质是什么?因果必然性和归纳概率的关系如何?我们将给出因果陈述逻辑的自然语言系统,同时也对该形式语言的范围以及用形式化来界定的一般特征进行阐述。把因果陈述逻辑看作是一个形式语言,从而讨论这种形式语言的基本的性质。条件化模态逻辑的最大特点是把模态演算建立在演算的条件逻辑的基础上,它用条件蕴涵来定义可能、必然等模态算子,并在此基础上研究条件模态算子之间的关系,使它成为与古典模态逻辑既有联系又有区别的新的模态逻辑系统。     

信念逻辑二题

本文讨论了模态词“相信”的逻辑涵义与信念逻辑系统的建构这两个关于信念逻辑的重要问题。作者认为,从逻辑的观点出发,可以简单地将“x 相信 p”解释为“x认为p是真的”,与之相对应,信念逻辑系统可以在经典命题逻辑的基础上加入模态词“应该”而得以建立。     

规范逻辑简论

规范罗辑是在经典命题逻辑基础上增加了"应当"、"允许"、"禁止"等规范楼态词所构成的非标准逻辑,其规范命题形式的逻辑性质除了具有真值性外还具有合理性问题。由于对其合理性的不同理解,又构成了不同的规范逻辑系统,如根据规范模态词在不同的规范可能世界中不同的逻辑关系．形成了DT、DS4、DS5等系统;根据规范模态词既绝对又相对的性质,形成了一元（绝对）、二元（相对、等系统。规范逻辑就是运用公理方法或模型方法研究规定命题形式语法或语又有效性的形式系统。     

演绎推理中的心理因素与非心理因素

通过考察矛盾对演绎推理的心理干扰，引进可真前件蕴涵式和Px永真式的概念，建立了命题逻辑的Px系统。在Px系统中，由前提A推出结论B，充分必要条件是：A→B为Px永真式，即可真前件蕴涵式。由于重言式p→（p→q）不是可真前件蕴涵式，它所引起的“由矛盾可以推出随意的一切”的矛盾恐惧心理可以解除。     

试析在自然逻辑与不自然逻辑中对蕴涵的刻画

正如罗素认为整个逻辑都是建立在蕴涵理论基础之上一样,我们也肯定蕴涵是逻辑学最重要的概念,首先介绍不同的蕴涵定义,说明了实质蕴涵是对假言命题在真值意义上的抽象,而建立在实质蕴涵基础上的逻辑蕴涵,是以不自然的方式刻画逻辑学中最重要的"推出关系"或者"后承关系",从而引起种种误解。其任务就是要在区分这两种具有不同含义的蕴涵的基础上,进一步研究不自然逻辑中的蕴涵概念,澄清各种对蕴涵的误解。