中介命题系统MP推理规则的简化

对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推规则集S等价的形式推理规则集S1。     

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

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

基于描述逻辑的ODMG对象数据模型表示与推理

在描述逻辑ALCQI(D)基础上,将ODMG面向对象数据模型转换为描述逻辑ALCQI(D)表示的知识库,借助描述逻辑ALCQI(D)的推理能力,将面向对象数据模型的类可满足性、类包含关系、类冗余性、模式蕴含性等验证问题转化为相应知识库的推理问题,并证明这些推理问题的正确性.     

普通(形式)逻辑推理应是演绎的一统天下

(一)我们所见到的我国现行高校普通(形式)逻辑教材,多是按传统观点把推理分为演绎、归纳、类比三大类。将推理分为演绎、归纳、类比三大类,必然定义:演绎是从一般到特殊的推理;归纳是从特殊到一般的推理;类比是从特殊到特殊的推理。但事实上,演绎并非一般到特殊的推理;归纳并非特殊到一般的推理,类比也并非特殊到特殊的推理。仅以演绎为例,典型的演绎是直言三段论,人们常用以为例的“凡人皆有死,张三是人,张三有死”就不是从一般到特殊的推理,而事实是一般与个别“合取”推个     

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

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

论《周髀算经》的推类思想

考察《周髀算经》以及赵爽注,可觉察:中国古代逻辑的“类”概念、“类以合类”推类思想的反映。这说明中国古代逻辑的推类思想在中国古代数学形成时期就开始产生了影响。     

传统推论范畴分析——推论性质与逻辑策略

标志中国传统推论整体性质的一级范畴,有"推"(广义)、"推类"、"类推"、"推理"和"推故"等。标志中国传统推论个别方式的二级范畴,有"止"、"譬"、"侔"、"援"和"推"(狭义)等。对中华先哲原创的传统推论范畴,进行实事求是的科学分析,具有重要的逻辑哲学意义和实际应用价值。因此,使用电子计算机检索的方法,从总量达9亿字的《四库全书》《四部丛刊》两部特大型丛书的电子数据库等中,全面搜索中国传统推论的基本范畴,并穷尽归纳,逐个进行定性和定量的实证分析,由此总结中国传统推论的特质,引申出中华民族实现伟大复兴的逻辑策略。中华民族实现伟大复兴,图谋和平发展,正确的逻辑策略,是磨制锐利的思维工具,汲取西方逻辑先进成就,借鉴西方逻辑观点方法,对中国传统逻辑进行现代式元研究,给予创造性新诠释,建立有中国特色,与国际接轨,融合西方逻辑和中国传统逻辑现代转型的创新体系。     

三国两晋南北朝数学“推类”思想散论

三国两晋南北朝时期是我国数学飞速发展的时期,算经十书大多在这一时期形成,而且在中国古代逻辑的“类”概念和“类以合类”推类思想影响下,形成自己的逻辑特色。     

协同救援一致性推理模型及求解算法

针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。     

论《九章算术》原文的推类思想

不仅《九章算术》已经初步形成“以类合类”逻辑思路,而且“推类”思想在《九章算术》中有深入的应用,可见中国古代数学在这一时期开始形成自己的逻辑思路特色。     

考夫曼法采观今论

围绕审知法采的连系性,考夫曼将演绎、归纳、骈推与比类连成体系。其中,演绎为仆,比类是首脑,归纳辅佐,骈推守护清白。演绎在审判训疏与说服总系统中是协和元。考夫曼归纳观的归宿是对旧的律意说服的重新组织。其创新点是说服的三阶式。他的贡献是以逻辑组织连系骈推与演绎。考夫曼认为,法采进程的本质不是逻辑推合,而是比较。律令的颁布与司法中逻辑组织的相似性在于其比类基础。考察了考夫曼比较点的选择后显示,不可抹煞两领域之间的红线。认为考夫曼的重大贡献是将比类引入审判陈说的总组织,它是原省、衡议后的第三元。在论述的基础上,为比类设定了两则对行的准法。     

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

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

《周髀算经》与《筭数书》的推类思想比较

《周髀算经》和《筭数书》是中国最早的两部数学著作,研读二书,可觉察:中国古代逻辑的“类”概念、“类以合类”的推类思想在二书的反映。     

面向对象数据库系统中类层次及其复杂性研究

从面向对象数据库系统中类层次的基本概念出发，讨论了对象与类的成员关系和类与类之间的交互依赖关系，提出了一种类层次模式描述语言，并讨论了将该语言表达为一阶逻辑的方法．对类层次模式中对象与类以及类与类的关系推理问题的复杂性进行了一些分析     

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

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

一种新的基于假设的自然推理系统

本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。     

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

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

论“逻辑规约度”

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

面向对象数据库系统中类层次及其复杂性研究

从面向对象数据库系统中类层次的基本概念出发，讨论了对象与类的成员关系和与类之间的交互依赖关系，提出了一种类层次模式描述语言，并讨论了将该语言表达为一阶逻辑的方法，对类层次模式中对象与类以及类与类的关系推理问题的复杂进行了一些分析。     

描述逻辑SHIQ研究

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