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

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

描述认识进程的抽象逻辑

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

一个模态非单调逻辑

基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑，给出了它的语义和语形，证明其它全性定理以及它与主要非单调逻辑的关系定理。它直接地形式化非单调推理的直观意义，提供了一种缺省逻辑和自知逻辑的一阶扩展形式，同时具有限制逻辑停顿同称句子的能力，而且在逻辑程序与演绎数据库中有重要应用。     

经验性思维中的泛逻辑

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

语义Web的逻辑基础

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

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

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

基于全序划分结构的开放逻辑

利用全序划分结构刻画开放逻辑中知识集的可信程度，通过重新定义重构概念，解决重构操作的唯一性问题，基于新定义的重构运算，证明了只要认知者对新知识不总是采取极端的怀疑态度，且信度改变遵循最小改变策略，则其认识进程均可收敛，从而给出了认识进程收敛的非平凡条件。     

动作和进化的模型论基础

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

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

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

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

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

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

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

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

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

Horn型推导关系

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

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

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

基于DNA分子的逻辑门与计算机

本文对基于DNA分子的逻辑门与计算机研究进行了综述。DNA逻辑门与DNA计算机是目前非常活跃的研究领域,有可能解决电子计算机发展的瓶颈问题。本文从DNA逻辑门的分子基础、DNA逻辑门和DNA计算机等几个方面进行了介绍,并且对可能的发展方向作了一些预期。     

马尔可夫逻辑网在信息抽取中的应用

提出了一个基于马尔可夫逻辑网的信息抽取方法,将所有记录的分割和记录去重在一个单独的整合推理过程中进行.由于采用马尔可夫逻辑和现有的推理算法,其主要工作是编写合适的逻辑公式,工程量比其他传统方法少得多.实验基于CiteSeer 和Cora这两个引文匹配数据集,其结果要明显优于之前的其他方法,同时也证明了马尔可夫逻辑网模型的精确性.     

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

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

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

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

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

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

分情形推理的缺省逻辑框架

拓广Ｂｒｅｗｋａ关于缺省逻辑的框架,使之具有更强的表示分情形的推理的能力,同时,给出在拓广的框上缺省理论扩张的特征和主要推理任务的算法。