逻辑系统Ht中的三-Ⅰ算法

利用多值逻辑系统Ht中的支持度理论和蕴含算子的右连续性,研究了多值逻辑系统Ht中的三-I算法和α-三-I算法。     

逻辑系统Ht中三-I算法的另一种证明

在讨论Ht代数的一些性质的基础上,得到系统Ht中的三I算法的另一种证明。指出多值逻辑系统Ht中的三I算法是P还原算法,并解决了Ht中的FMT问题。在多值逻辑系统Ht中,若令t=1,则得到多值逻辑系统W。所以多值逻辑系统Ht中的结论在t=1的情况下就是多值逻辑系统W中的结论。     

蕴涵算子族R_λ-L∏GN及其三Ⅰ支持算法

给出了一族新的伪三角模族Tλ-L∏GN及其伴随蕴涵算子族Rλ-L∏GN,它包括Lukasiewicz蕴涵算子、Gdel蕴涵算子、R0蕴涵算子及R∏蕴涵算子;提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族Rλ-L∏GN的FMP模型的三Ⅰ支持算法和α-三Ⅰ支持算法。     

蕴涵算子族Rλ-L∏GN及其三I支持算法

给出了一族新的伪三角模族Tλ-L∏GN及其伴随蕴涵算子族Rλ-L∏GN,它包括Lukasiewicz蕴涵算子、Gǒdel蕴涵算子、R0蕴涵算子及RΠ蕴涵算子;提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族Rλ-L∏GN的FMP模型的三I支持算法和α-三I支持算法。     

蕴涵算子族G-λ-0的支持度与三I算法

首先给出了一个新的蕴涵算子族G-λ-0（λ∈[0,1]）;然后,研究了基于蕴涵算子族G-λ-0的支持度理论;最后,给出了基于蕴涵算子族G-λ-0的三I支持算法。     

蕴涵算子族G-λ-0的支持度与三Ⅰ算法

首先给出了一个新的蕴涵算子族G-λ-0(λ∈[0,1]);然后,研究了基于蕴涵算子族G-λ-0的支持度理论;最后,给出了基于蕴涵算子族G-λ-0的三Ⅰ支持算法。     

蕴涵算子族G-λ-∏的模糊推理三I支持算法

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

蕴涵算子族G-λ-Ⅱ的模糊推理三Ⅰ支持算法

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

基于蕴涵算子Lp的模糊推理的FMP反向三Ⅰ算法

研究了基于蕴涵算子Lp模糊推理的FMP反向三Ⅰ支持算法及α-反向三Ⅰ支持算法,给出了FMP模型的反向三Ⅰ算法及α-反向三Ⅰ算法的计算公式.     

基于含参数蕴涵算子族L-λ-R0的三Ⅰ支持算法——仅就FMP模型进行讨论

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

一种五元格值逻辑上命题真度的分布

利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念,给出了真度的一些推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式真度的表达通式,为在五元格值逻辑系统中建立近似推理理论提供了一种可能的框架。     

四值非线性格值逻辑上公式的真度理论

王国俊教授在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论,但其研究的多值命题逻辑是线性赋值格结构。在四值非线性格值逻辑系统上提出推广的真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑系统上有一定的可行性。     

广义MP问题的三I真度解

基于真度理论讨论了三I推理机制在真度理论下的意义,求出了真度理论下的广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了广义MP问题的α-三I真度解。     

模糊量子遗传算法及其应用

将模糊逻辑与量子理论相结合,提出了基于模糊逻辑的量子遗传算法（FQGA）。该方法使用模糊推理机指导量子门染色体更新和变异,自适应地调整量子门旋转角和变异概率。仿真结果表明：FQGA具有全局寻优能力、收敛速度快和计算时间短等优越性。     

基于变异操作的蚁群算法用于连续函数优化

介绍了基本蚁群算法的数学模型,在一种新的连续空间分解方法的基础上,对信息素更新方式进行了改进,采用信息素局部更新和自适应的信息素全局更新相结合的方式,以提高算法的收敛速度。引入了进化算法中的变异操作,对寻优过程中每次迭代的最优解进行变异,增加了种群的多样性,避免算法的早熟,以提高改进后蚁群算法的全局收敛性能。实验结果表明,提出的基于变异操作的蚁群算法在连续函数寻优上有更好的收敛速度和收敛性能。     

多重广义MP问题的三I真度解

在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。     

Frank三角范数的一类模糊逻辑系统的真度理论

在一类基于Frank三角范数的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,并利用积分真度定义公式间的相似度和伪距离,讨论相似度和伪距离性质。     

多重广义MP问题的三I真度解

在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。