一个新的模糊谓词演算形式系统

首先，在模糊逻辑命题演算形式系统Ω^*的基础上，讨论了相应的谓词演算理论，建立了一阶形式系统K^*，基于R0代数的基本理论，给出了系统K^*的若干语义概念，包括M－解释I，I－赋值，公式的值，真，M－逻辑有效性等，从而形成了模糊谓词演算一种新的语构与语义体系。其次，研究了系统K^*的基本性质，指出了系统Ω^*的定理都是系统K^*的定理，给出了系统K^*与量词有关的一些重要定理，证明了系统Ω^*的重言式在系统K^*中的代换实例都是系统K^*中的定理关于任何R0链也是逻辑有效的；系统K^*的强可靠性定理也成立，即系统K^*在任何理论T下的定理关于任何R0链也是逻辑有效的。最后给出并证明了系统K^*的一种新的演绎定理，一阶系统K^*及其重要的性质，为模糊推理提供了一种更为合理的逻辑框架。     

形式赋值系统的研究

将一阶谓词演算系统进行语构和语义两方面的扩充，即引进比率量词和模糊量词，将真值区域｛０，１｝扩展到［０，１］，进而建立一个带有比率量词的一阶一型模糊谓词逻辑系统（ＦＯＦＬＲ）。基于模糊逻辑，文中还讨论了一个专家咨询系统框架。     

一阶模糊谓词逻辑公式的可测集解释真度理论

首先将一阶模糊谓词逻辑公式的有限、可数、及区间解释真度的概念进行了进一步的推广,在一阶模糊语言的变元集赋值的新概念下,提出了一阶模糊谓词逻辑(或一阶模糊语言)公式的可测集解释真度的概念;然后,讨论了它的一系列性质以及在近似推理中的应用.     

系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统     

基于模糊逻辑的Markov链模型辨识方法

提出一种采用模糊Markov模型(FMM)，根据系统实际输入一输出建模的新方法，用于线性及非线性的随机动态系统辨识．讨论了动态系统的Markov链描述，给出了一阶受控Markov链的具体描述及其转移概率矩阵的计算方法；在传统模糊系统的基础上，探讨了建立FMM的方法，给出了FMM的仿真框图和建模的具体步骤；并给出了随机动态系统仿真的应用实例．基于模糊逻辑的Markov链模型解决了传统模糊系统不能处理随机现象的问题，同时也提高了Markov链模型辨识的速度．     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

基于矩阵半张量积的模糊逻辑研究进展

模糊逻辑是一种在不确定性条件下建模和控制复杂过程的革命性方法,在系统建模与控制领域得到了广泛的应用。基于矩阵半张量积理论可以将模糊逻辑表达式转化为代数表达式,借鉴代数系统的经典控制理论与方法来进一步研究模糊逻辑。首先介绍了以矩阵半张量积理论为框架的模糊逻辑的理论研究进展,如模糊关系矩阵、模糊关系方程、模糊关系不等式与分层模糊控制等,其次介绍了基于矩阵半张量积框架下的模糊控制理论的应用,最后给出了基于矩阵半张量积理论的模糊逻辑研究前景。     

(￡)*系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统(￡)*.对其中的演绎定理进行了详细讨论,得到了在一定条件下的(￡)*系统中的演绎定理:设A,B∈F(S),若|-(q→-p ∨ p)∨q→A,Г(￡)F(S),则Г|-A→B当且仅当Г∪{A}|-B.将(￡)*系统中的模糊演绎定理进行了改进,进一步说明了(￡)*系统所具有的良好性质.同时,在本文定理的证明中进一步体现了(￡)*系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.     

L^＊系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统L^*，对其中的演绎定理进行了详细讨论，得到了在一定条件下的L^*系统中的演绎定理：设A，B∈F(S)，若|-(q→p∨p)∨q→A，Γ包含于F(S)，则|-A→B当且仅当rU{A}|-B，将L^*系统中的模糊演绎定理进行了改进，进一步说明了L^*系统所具有的良好性质．同时，在本文定理的证明中进一步体现了L^*系统中的公理L10在模糊命题演算形式演绎系统中的作用，为模糊命题演算的形式演绎系统的研究，特别是L10的应用研究提供了一种新的思路和方法。     

模糊满足与项的代入定理

通过结合一阶谓词演算系统理论,对模糊一阶谓词演算系统理论做了初步的探讨。结合实例给出了模糊满足的概念及其相关概念;并用实例的分析说明了这些概念的必要性和可行性;在此基础上给出在模糊满足下项的代入定理。     

直觉模糊逻辑“蕴涵”算子的研究

给出了直觉模糊逻辑“蕴涵”算子的定义,并对它的性质做了较为系统的研究。     

模糊神经网络控制系统

介绍了将神经网络和模糊控制相结合,即用人工神经网络算法产生模糊推进规则和隶属函数,再基于这些模糊推理规则和隶属函数产生模糊逻辑控制的一种新颖控制策略-模糊神经网络系统的组织结构及其神经网络的设计。     

基于遗传算法的模糊逻辑控制器优化设计

设计了一种新的用于模糊逻辑控制器优化的遗传算法，实现了模糊逻辑控制器参数和结构的同步快速优化。该算法对经典的简单遗传算法进行了改良，设计了一种带区间限制的十进制编码方案，实现了模糊控制器隶属度函数和控制规则的联合编码；并设计了受限分步一致交叉和变异算子，改进了经典赌轮选择法,避免了病态个体产生，加快了收敛速度。通过对典型的一阶和二阶工业对象控制器优化的仿真研究表明，相对于一般的遗传算法，该算法在群体规模较小（20或40）的情况下，能够在20代左右快速收敛到理想结果，并且在进化过程中很少产生病态个体，因此能够在小群体规模下，实现模糊控制器参数和结构的快速同步优化。     

命题演算的两个直觉主义系统

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关系     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。     

动态模糊逻辑理论在入侵检测技术中的研究

阐述了动态模糊逻辑理论,运用动态模糊逻辑的理论来解决入侵检测中的这些动态模糊数据的问题,介绍了动态模糊入侵检测系统的基本过程。     

扰动模糊逻辑及其"与","或"算子

提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊“与”“或”算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

一类代数上的逻辑淡（Ⅰ）

引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。     

随机逻辑的词义问题

得出了在随机逻辑的词义问题中 ,标准命题演算系统的每条公理在随机逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在随机逻辑中却不都是模糊恒真的     

基于集对分析的模糊逻辑研究

介绍了一种新的解决模糊问题的途径 ,提出了一种模糊逻辑表示新形式 ,论证了其较之于传统模糊逻辑表示法的优点 .