模糊命题演算系统(L)*的简化与独立性

模糊逻辑命题演算系统L^＊在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统L^＊的语法结构，得到了一些有趣的新结果，特别是给出了它的一个简化形式，并证明了这个简化公理系统的独立性。     

基于三角范数的模糊逻辑中的三Ⅰ方法

三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。     

模糊命题演算系统■~*的简化与独立性

模糊逻辑命题演算系统■*在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统■*的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。     

模型论逻辑与理论计算机科学

近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视．作为语义方法的逻辑基础，（一阶）模型论是研究（一阶）逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑（又称广义模型论）则是在抽象逻辑的框架中，用模型论的方法研究各种扩充逻辑系统的异、同及相互关系．本文从抽象逻辑的观点出发．介绍模型论中与计算机科学（ＣＳ）密切相关的若干概念及其应用．特别是广义的有限模型论，它在ＣＳ的刺激下于８０年代形成并急速发展起来，已在数据库、计算复杂性以及形式语言与自动机等理论中取得突出成果或重大的应用．     

直觉模糊模型检测在工程决策上的应用

将直觉模糊Kripke结构扩展到加权直觉模糊Kripke结构,将直觉模糊计算树逻辑诱导到加权直觉模糊计算树逻辑;研究在此之上的直觉模糊期望测度和多属性工程决策问题。用加权直觉模糊Kripke结构的权值自然地刻画了工程问题中的成本和收益,直觉模糊测度量化工程进展的不确定性,用加权直觉模糊计算树逻辑描述不确定性工程属性约束。给出了基于直觉模糊模型检测的多属性工程寻优算法,并讨论了算法的复杂度。     

一种新的三角模糊数算子在加权模糊推理中的应用

针对基于模糊逻辑的加权模糊推理,Chen Shy i-M ing提出了两种计算合取式前件整体真值的方法。由于所用模糊数算子的影响,两种方法的求取结果在准确性和合理性上都存在一定的缺陷。这种缺陷将直接影响推理的性能。因此,为改善这种缺陷,提高推理性能,本文提出了一种新的三角模糊数算子。它的应用可以提高推理的准确性和合理性。     

深入研究模糊逻辑的必要性与紧迫性

因为"取大取小"不是数学计算,所以基于"取大取小"的模糊逻辑不能为数值转换提供算法支撑,使得模糊理论面临无合适模型可用的被动境地.指出,模糊逻辑是逻辑的一个新的近似推理研究方向,它的量化方法是数值计算;目的是支撑隶属度转换,使得由指标隶属度确定的目标隶属度是"真值"在当前条件下的最优近似.模糊逻辑是在隶属度转换条件下对人类近似推理本领规范的一种方法.而进行规范的依据是区分权滤波的冗余理论,实质性计算是由冗余理论导出的、实现隶属度转换的非线性去冗算法;相应的隶属度转换模型是非线性数学模型.     

命题模糊逻辑系统П和God中理论的相容度与下真度的计算公式（Ⅱ）

讨论命题模糊逻辑系统П和God中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念，得到命题模糊逻辑系统Ⅱ和God中理论相容度与下真度的计算公式，给出理论不相容的新的充要条件。     

模糊Hopfield网络及其模糊聚类功能研究

本文提出了一种能进行模糊逻辑计算的Ｈｏｐｆｉｌｅｄ型人工神经元网络，ＦｕｚｚｙＨＮ的神经元对应模式集合中的元素，模式间的模糊相似关系作为联结神经元的权值矩阵被存储在ＦｕｚｚｙＨＮ中。本文对ＦｕｚｚｙＨＮ的稳定性及模糊聚类功能进行研究，获得了良好的理论分析结果和实验研究结果。     

模糊错误逻辑的组合转化词分析

模糊错误逻辑研究的是错误传递、转化的规律,它为决策中避免错误,消除错误,减小错误的危害提供了新的方法.组合转化词是模糊错误逻辑中的一个重要转化词,定义了组合转化词的概念.分析了这个转化词的性质和运算规律.