论“逻辑规约度”

熊学亮先生提出,在if条件句中,"形式逻辑仅与逻辑规约度为1的推理发生关系",而在"语用推理"中,逻辑规约度则小于1。逻辑规约度似乎是判断形式逻辑推理和语用推理的某种准则。分析该概念发现:当其等于1时,该概念是一个非常狭义的逻辑概念,并未涵盖形式逻辑的所有推理;当其小于1时,相关推理既可以是逻辑推理,又可以是语用推理。这只不过是从不同角度看待同一现象的问题。     

OWL DL的知识表示与推理研究

语义Web的逻辑基础是描述逻辑,其出现的目的就是为了解决机器和人对知识理解的问题,因此,可以在语义Web的基础上展开推理。传统的推理系统结合语义Web可以克服知识表示方面的缺点,并且有利于知识的共享。探讨了OWL DL作为知识表示形式的优点;通过实例验证了OWL DL关于描述逻辑的推理。     

由"半费之讼"而被误解的"两难推理"

从逻辑的角度考察著名的"半费之讼"所涉及的推理,有很多不同的观点.多数人认为其总前提有问题,有人认为违反了同一律,有人认为违反了矛盾律.但是,还有人认为推理没有逻辑错误,是一个逻辑悖论.无论是否认为它是诡辩,多数人认为其推理在形式上没有问题,属于正式的"两难推理".从推理形式的角度分析"普罗泰戈拉推理"中的诡辩性质,指出其主要问题并不是违反同一律或者矛盾律,而是以偏概全,实施了隐蔽的不等价命题代换,认定它是一个形式错误的推理.     

复合判断推理不同推理形式间的互通

从现代形式逻辑的观点看，许多不同形式的推理实际上是等值的。但是，由于表达形式的不同，就显示了不同的特征。不同类型的推理，可以显示出从不同角度考虑极为重要的性质。诚然，这在传统逻辑中却极少论及。本文探讨了假言推理中充分条件假言推理与必要条件假言推理的等值关系；探讨了充分条件假言推理、必要条件假言推理与相容选言推理间的等值关系，并说明了诸推理式间的互通问题。     

处于时间情景中的推理与形式化

现实的推理是在时空中进行的,推理本身需要花费时间。传统的逻辑理论忽视了这一点,从而导致逻辑全能。为此,给出了相关的案例,表明现实的推理处于时间情景之中 同时,介绍了几个涉及时间的形式化理论,指出它们研究的是关于时间的推理,而非处于时间之中的推理 最后,阐述了一个新的逻辑理论——步进逻辑,认为步进逻辑体现了推理的时间情景,有着良好的应用前景,进而提出了未来的研究设想。     

描述逻辑SHIQ研究

描述逻辑由于有很好的建模和推理特性,已成为语义web本体描述语言的逻辑基础．描述逻辑SHIQ是语义web本体描述语言DAML＋OIL的逻辑基础,也是OWLDL的核心．该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法．     

诉讼证据及其结构的逻辑新探

诉讼证据是诉讼制度的核心概念之一,同时也是学界争议最多的概念之一。通过逻辑的视角分析证据概念既有助于廓清一些不必要的理论纷争,同时又能揭示其深层结构,进而获得对证据概念本质的新理解:作为范畴的证据概念在法律规范的语境中是不可定义的;证据的结构是一个可废止推理,该推理的逻辑后承就是核心意义上的证据。     

互逆主义逻辑与古典逻辑比较

提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现。     

语义Web推理的研究与实现

语义Web的逻辑基础是描述逻辑,语义Web出现的目的就是为了解决机器和人对知识理解的问题,因此可以在语义Web的基础上展开推理。传统的推理系统结合语义Web可以克服知识表示方面的缺点,并且有利于知识的共享。首先在语义Web的知识体系之上建立起来一套推理系统,然后通过应用实现对该系统进行了验证。     

基于行动逻辑的智能主体行为表征研究

在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进行表征。将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的。这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持。     

英语篇章写作中线式结构与螺旋结构的对比分析

英语篇章写作是英语学习过程中的的重要技能,并受到学习者的关注。通过对汉英语篇逻辑模式的对比分析,可以发现汉语和英语语篇在不同程度上分别受到了线式和螺旋推理逻辑的影响,同时也体现了中国文化取向模式与英美文化取向模式的共存。     

D-逻辑度量空间与近似推理

通过随机化赋值集的方法,在二值逻辑中提出了公式的 D- 随机真度概念,证明了全体公式的 D-随机真度之集在[0,1]中没有孤立点;提出了 D- 逻辑伪距离和 D- 逻辑度量空间,证明了该空间中没有孤立点;指出当取均匀概率测度,且各概率测度均为 1/2 时,D- 随机真度就转化为计量逻辑学中的真度,同时两公式间的 D- 逻辑伪距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间;最后在 D- 逻辑度量空间中提出了3种不同类型的近似推理模式,并证明了这三种模式是等价的.     

模糊描述逻辑的统计缺省扩展

该文对模糊描述逻辑进行统计缺省扩展,它以模糊描述逻辑为主要框架,将模糊或不精确知识的表示与推理有机地整合在一起,通过在模糊描述逻辑中引入统计缺省推理,构建了一种同时具有TBox,ABox和统计缺省规则的知识库系统.     

爱因斯坦引发的逻辑哲学问题

依爱因斯坦的观点,逻辑全等于演绎,与归纳并为西方科学的两大成就。认同爱因斯坦的逻辑观,试从"划界"的视角寻求根据。演绎和归纳的界线在于:前者以必然为真的逻辑真理即逻辑规律及相应的有效推理形式为研究对象;后者不研究逻辑真理及有效推理形式,其结论只是或然为真。是否以逻辑真理及相应的推理形式为研究对象,就是逻辑与非逻辑的分界线。演绎与归纳也有关联:均来源于经验。逻辑规律的前身就是归纳结论,经逻辑系统的整合而转身为必然的真命题。逻辑学家通过对逻辑系统的论域作出修正、限制或重新解释,以排除一切可能的反例,就可保证逻辑真理具有永恒的必然性。这就是逻辑学家使或然的归纳结论转化为必然的逻辑真理的诀窍。不能从演绎和归纳在认识中不可分离,推出逻辑必须包括归纳。归纳属于与逻辑同等重要的另一学科:科学方法论。     

英语篇章写作中线式结构与螺旋结构的对比分析

英语篇章写作是英语学习过程中的的重要技能，并受到学习者的关注。通过对汉英语篇逻辑模式的对比分析，可以发现汉语和英语语篇在不同程度上分别受到了线式和螺旋推理逻辑的影响，同时也体现了中国文化取向模式与英美文化取向模式的共存。     

三值G(o)del命题逻辑中基于前提信息的随机真度

利用赋值集的随机化方法,在三值G(o)del命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.     

基于双枝模糊逻辑的攻击模型BBFPAN模糊推理算法

针对基于MYCIN置信度方法的攻击模型BBFPAN推理算法,无法反映网络攻击过程中各结点的状态变化情况的缺点。以双枝模糊逻辑理论为理论基础,提出了BBFPAN模型推理的基本规则,并依据该基本推理规则,结合BBFPAN模型的定义,给出其相应基于双枝模糊逻辑的推理算法。在该推理算法中,预设起始库所集Pset、中间状态库所集Pg、可激发变迁集Tset,通过这三个集合元素的变化情况清晰地反映网络攻击的整个过程,为安全预警提供了依据。     

论科学发现的逻辑与认识逻辑

通过整合普通逻辑,可以从类逻辑、整体逻辑与条件逻辑三方面把握科学发现的逻辑程序、机制与过程,科学发现的主轴是类比——归纳——演绎辩证组合的推理链.这是在唯物辩证法指导下,对形而上学方法的知性逻辑成果的按认识过程的整合,科学发现的逻辑就是认识逻辑.普通逻辑修正、改造的新方向,实即黑格尔、恩格斯、列宁逻辑思想所指示的辩证法、认识论在逻辑基础上统一的方向.     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

三值Gdel命题逻辑中基于前提信息的随机真度

利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.