基于辩论语义的算子模糊逻辑

定义了一种基于辩论语义的算子模糊逻辑，这种逻辑是相关的，次协调的，非单调的，能形象地刻画认知过程的信念修正，适于在知识不一致，不清确，不完全情形下推理。     

开放逻辑及其与限制逻辑的关系

基于模型论定义开放逻辑作为一种进程非单调逻辑，给出一些开放逻辑的新概念和结果，研究了逻辑与限制逻辑之间的相互关系，并由此指出开放逻辑和其他主要非单调逻辑的关系问题。     

Horn型推导关系

逻辑中的推导关系等同于公式之间的二元关系 ,刻画它所采用的证明规则等同于对这个二元关系所满足的条件的限制 .根据Gentzen证明论定义推导关系的方式定义一类推导关系 ,即Horn型推导关系 .应用模型论技巧 ,证明了这种推导关系并不能推广经典逻辑推导关系 .因而要定义扩充经典逻辑的非单调逻辑 ,必须在定义中采用“非”形式 .     

语义Web的逻辑基础

分析了目前语义Web理论的研究现状和存在的问题, 分析了用传统描述逻辑作为语义Web逻辑基础的不充分性, 根据语义Web的特点和需求, 提出了一种新的动态描述逻辑DDL, 该DDL将静态知识和动态知识表示与推理有机地整合在一起. 特别的是, 给出了具体的动作描述方法, 并按照传统描述逻辑的语义解释方法给出了动作的语义解释, 从而该DDL形成了一种能同时处理静态知识和动态知识的统一的形式化逻辑框架. 该DDL具有清晰的语义特征, 既提供了可判定的推理服务, 又能有效地对静态知识、动态过程和运行机制进行表示和推理(动作的可实现性和动作之间的包含关系), 因此, 提出的动态描述逻辑DDL可以为语义Web提供合理的逻辑基础, 弥补了传统描述逻辑作为语义Web逻辑基础的不足.     

基于析取逻辑程序设计的诱导推理

利用辨论推理模式，将负文字的析取式作为诱导推理的假设，建立了析取逻辑程序设计的一种诱导语义框架ＤＡＳ。它不仅是实现辩论推理（诱导）的一种简单直观语义而且为析取程序的语义了一个统一的框架。特别地，证明了著名的良基语义和ＥＧＣＷＡ等都可以嵌入ＤＡＳ。     

描述认识进程的抽象逻辑

定义了一种公理化的抽象逻辑，它以经典逻辑所具有的证明论性质及模型论性质为公理，可以用于构造抽象的开放逻辑理论，因而可以用于描述认识进程，理论的核心是一种形式化的导出关系，可以证明：经典逻辑，直觉主义逻辑的推出关系，模型论弱力迫关系，非单调推理中的语句与论域限定理论的关系都是该形式化导出关系的具体实例，可以用来构造具体的抽象逻辑，也可以用于描述认识进程，还明确了不同抽象逻辑间的差异主要表现在所对应的     

直觉主义量词模态逻辑的一个强完全性定理

在Ｔｈｏｍａｓｏｎ讨论到的直觉主义一阶谓词演算的基础上引进Ｐｒｉｏｒ工作中揭示的模态直觉主义系统ＭＩＰＣ的模态机制，从而得到一个直觉主义词模 逻辑系统ＭＩＰＣ，并给予它一个语义解释，证明其关于该语义的强完全性定理。多次实质性地用到Ｚｏｒｎ引理，因而在方法论上较Ｔｈｏｍａｓｏｎ的结果更加远离直沉主义观点。     

基于动态语义服务描述的服务匹配的研究

本文将动态描述逻辑与语义服务描述语言相结合,提出了一种动态语义描述方法来描述Web服务,并在经典服务匹配基础上进行改进,完善了服务匹配的类型,提高了Web服务的查全率与查准率。     

基于知识结构的认证协议验证

认知逻辑的Kripke语义,已被成功地运用到分析无黑客存在的安全网络下的通信协议.提出认知逻辑的Kripke语义的一种简单而自然的形式,称之为知识结构,并把这种语义用到分析黑客存在的非安全网络环境中的通信协议,特别是认证协议.与类BAN的那一类逻辑相比,文中的方法可以直接转化成算法实现,对协议本身进行操作,而不需对协议进行一些难以把握的抽象判断.而且,在这套理论的基础上开发了安全协议分析器SPV.文中的方法是基于证明的而不是证伪的,即证明协议的正确性而不是找协议漏洞.     

基于真值的SBL_～公理化扩张系统的计量化

本文首先在带有对合否定的△模糊逻辑系统SBL～中,运用△演绎定理和真值分布,论证了SBL～系统中有效推理的真值关系定理.其次以SBL～系统的公理化扩张Godel～为例,提出了△相似度、△距离,运用真值关系定理论证了△度量空间逻辑算子→,～的连续性,给出了公式与理论间距离的计算方法,从而实现了△模糊逻辑系统的计量化.最后在Godel～系统中提出了3种近似推理模式,并讨论了3种模式之间的关系.     

析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实     

算子模糊逻辑定量模型的局限性

在定量的意义下讨论了算子模糊逻辑的语义解释方法，证明了多项式意义下模糊算子运算定义方法的唯一性，并以此为基础重新修正和改进了已有的算子模糊逻辑定量模型及其归结方法。     

程序兼纳集：由力迫描述的中介逻辑程序语义

运用力迫方法在非封闭世界假设下讨论了一种基于中介逻辑含非Ｈｏｒｎ型语句逻辑程序的语义，并就程序兼纳集的不动点性质，迭代性质作了研究，还证明了程序兼纳集在集合包含关系下是１个完全交半格。     

经验性思维中的泛逻辑

阐述了提出泛逻辑的思想基础和数学基础，给出了泛逻辑的主要定义和基本性质，讨论了泛逻辑与其他逻辑的关系及泛逻辑家族，尽管泛逻辑尚处在研究的初期，但它有可能发展成一切逻辑的逻辑。     

基于模态置信准则计算的L(0,1)导波弯头反射研究

研究了L(0,1)模态导波在管道弯头处的反射特性,提出了一种新的基于导波模态置信准则计算的L(0,1)模态导波弯头反射分析方法.使用数值模拟方法研究了L(0,1)模态导波在弯头处的模态转换,并分析了导波激励频率、弯曲半径和弯曲角度3种因素对L(0,1)模态导波反射的影响;利用导波模态置信准则表示导波弯头反射程度,反射程度随频率和弯曲半径变化趋势与数值模拟结果进行了对比,最后进行了实验验证.结果表明:L(0,1)模态导波在弯头会部分转换成F(1,1)模态,方向与弯头拱背-拱腹方向一致;随着频率和弯曲半径增大,导波反射幅值单调减小,随着弯曲角度增大,反射幅值非单调变化;用导波模态置信准则表示弯头反射程度随频率和弯曲半径变化趋势与数值模拟结果一致,实验结果进一步验证了导波模态置信准则表示方法的正确性.研究结果将为含弯头管道L(0,1)模态导波检测提供理论指导和新的分析方法.     

移动进程的空间逻辑

提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑. 该逻辑具有基于谓词变量的递归构造. 建立了这一逻辑的语义理论, 并证明了语义的单调性, 从而保证了不动点的存在. 还设计了一个算法来自动地检测移动进程是否具有用该逻辑公式所描述的性质, 并证明了该算法的正确性.     

动作和进化的模型论基础

在分析改进有关工作的基础上，给出了一种多类逻辑作为刻画动作的形式基础，定义所谓的极小动作理论，并着重从模型论的角度研究它。在此基础上结合数理逻辑的有关方法，分析研究化的概念。     

基于比较运算与多β晶体管的开关电路

从比较运算的角度重新定义了Ｂｏｏｌｅ代数中的与，或，非等３种基本运算，并根据电压信号易于实现比较运算的特点分析了双极型晶体管发射极的不同连接所能实现的逻辑功能。     

经典推理模式的随机化研究及其应用

利用赋值集的随机化方法，在二值逻辑中提出了公式的D-随机真度概念，证明了全体公式的D-随机真度之集在[0，1]中没有孤立点；提出了D-逻辑伪距离和D-逻辑度量空间，证明了该空间中没有孤立点；指出当取均匀概率测度，且各概率测度均为1／2时，D-随机真度就转化为计量逻辑学中的真度，同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离，从而建立了更具一般性的随机逻辑度量空间；通过概率逻辑学基本定理，证明了D-逻辑度量空间中逻辑运算的连续性，从而实现了概率逻辑学与计量逻辑学的融合；在D-逻辑度量空间中提出了3种不同类型的近似推理模式．     

基于隶属度比较的描述逻辑SHOIQ模糊扩展

语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.