一种新型的三I算法及其逻辑基础

在Fuzzy推理中提出了“过半可信”原则，并证明了R0-型三角模恰为可实现这一原则的三角模．在此基础上，将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分，提出了一种新型的三I算法(Triple I)^*．研究了逻辑系统ょ^*中的形式化推理机制，基于根的理论为新型三I算法奠定了严格的逻辑基础．     

一种新型模糊推理方法

目前常用的模糊推理方法是Zadeh提出的CRI方法,但是CRI方法中的合取运算缺乏根据, 三I算法从逻辑语义上改进了CRI方法.首先引入运算,讨论了运算和的性质;并根据过半可信原则,在三I算法的基础上,提出了一种更符合客观实际的新型模糊推理方法.     

一种改进的多模块贝叶斯网络局部推理算法

针对多模块贝叶斯网络的局部推理的时间和空间复杂度高的问题,提出了一种改进的多模块贝叶斯网络局部推理算法.该算法用面向对象语言重新定义了多模块贝叶斯网络模型,在联合树推理算法的基础上结合图论中"顶点度"的概念对局部推理算法进行了优化,针对三角化结果不唯一的问题,给出了一种一般性的解决方案,使三角化后的结果能够将消息传递得更快,有效地缩短推理时间.给出了算法的仿真实例并进行实验分析,结果表明改进后的推理算法有效减小时间、空间复杂度.     

剩余蕴涵的模糊三Ⅰ方法的约束度分析

由连续三角模导出的剩余蕴涵算子，对模糊三Ⅰ算法的约束度问题进行研究．在原有三Ⅰ方法的约束度理论的基础上，利用三角模和蕴涵算子的性质，讨论该类算子下三Ⅰ方法的约束度理论．给出一般化的α-三ⅠFMP公式和α-三ⅠFMT公式．     

三Ⅰ算法的统一形式

给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、Godel算子、乘积算子和R0-算子都是正则蕴涵算子-针对这种正则蕴涵算子建立了FMP和FMT的三Ⅰ算法的统一形式,相应地三Ⅰ解可用一般的伴随对((×),R)中的左连续三角模(×)和正则蕴涵算子R统一表达;指出在Godel的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α-三Ⅰ算法的统一形式,得到了关于FMP和FMT而言的α-三Ⅰ算法的对偶性结论.     

Fuzzy逻辑新进展

介绍了最新发展起来的一种Fuzzy命题逻辑,以这种逻辑为基础的3算法为多种Fuzzy推理和Fuzzy控制提供了严密的数学规范和可靠的逻辑支持     

模糊决策树匹配算子的推理能力对比研究

模糊决策树推理是机器学习领域中的一种解决分类问题的有效算法,模糊推理方法的选择在很大程度上影响推理的性能和效果.对Min-Ambiguity,Fuzzy ID3和加权模糊决策树3种推理机制进行了对比研究,选择了推理过程中4种常用的算子(∨,∧)、(∨,×)、(+,∧)和(+,×)进行了对比分析,并在理论分析和实验验证的基础上提出了优先选择乘法算子(+,×)和(∨,×)的建议.     

基于规则推理的模糊Petri网误用入侵检测算法

FPN（Fuzzy Petri Nets）是模糊Petri网,它是Petri网与模糊理论结合的产物,目前不少学者将Petri网应用到入侵检测系统中,取得了不少成果,但是现在的推理计算法较复杂,算法时间复杂度也较高。为提高推理计算的性能,本文根据推理存在前后顺序的特点提出一种新的推理计算方法,并对该算法和现有的算法进行了分析比较,本算法提高了推理的通用性与计算速度。     

基于二元联系数的三角模糊数直觉模糊集多属性决策

针对用三角模糊数表示的直觉模糊集多属性决策算法复杂又难以开展不确定性分析的问题,应用集对分析中的联系数给出一种新算法.该算法的基本原理是把三角模糊数转换成"均值"加"偏差"形式的二元联系数,再利用二元联系数的除法算得直觉模糊集的商,利用这种商进行多属性决策建模,计算简单又便于作不确定性分析.实例应用表明,该算法可行,结果可信,其他用直觉模糊集表示的决策问题也可借鉴应用文中的方法.     

基于蕴涵算子族L-λ-G的反向FMT模型三Ⅰ支持算法

提出了基于蕴涵算子族L-λ-G的模糊推理的思想,这将有助于提高推理结果的可靠性.针对蕴涵算子族L-λ-G给出了模糊推理的FMT模型的反向三Ⅰ支持算法、α-反向三Ⅰ支持算法.