正则蕴涵算子族G-λ-R_0及其三I支持算法

首先给出了一个新的蕴涵算子族:G-λ-R(0λ∈[0,1])(它包括G觟de(l简称RG)算子与R0算子)。然后重点讨论了G-λ-R0(λ∈[0,1])族算子的伴随算子及其正则性。结果表明,在该算子族中,每一个算子都具有伴随算子且具有正则性。从而说明了此算子是较理想的蕴涵算子。最后讨论了基于此蕴涵算子族的三I支持算法。     

Lukasiewicz逻辑系统中的随机化研究

利用赋值集的随机化方法,在Lukasiewicz逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DL-相似度与伪距离的概念,并建立了DL-逻辑度量空间,证明了此空间没有孤立点。     

基于Godel蕴涵算子的一种新型反向三I算法

在模糊推理中提出了推理后件“过半可信”原则,证明了R_G-型三角模恰可实现这一原则的三角模,并给出了基于Godel蕴涵算子模糊推理的一种新型反向三I算法。     

蕴涵算子族及其应用

提出了模糊蕴涵算子族的新概念,给出了两族蕴涵算子:L-λ-R0(λ∈[1-2,1])族算子与L-λ-G(λ∈[0,1])族算子.L-λ-R0(λ∈[1-2,1])族算子包括Lukasiewicz(简称Rlu)算子与R0算子,L-λ-G(λ∈[0,1])族算子包括Rlu算子与G(o)del(RG))算子.重点讨论了L-λ-Ro(λ∈[1-2,1])族算子的伴随算子及其正则性.结果表明,在蕴涵算子族L-λ-Ro(λ∈[1-2,1])中,只有RLu算子与R0算子有伴随算子且具有正则性,从而说明这两种算子是较理想的蕴涵算子.最后讨论了其应用,同时提出了命题的置信区间及其可信度的新概念.     

基于蕴涵算子L-λ-0-λ-G的模糊推理的三I算法

研究了基于蕴涵算子L-λ-0-λ-G模糊推理的FMP三I支持算法,给出了FMP模型和FMT模型的三I算法的计算公式。     

逻辑等价度量下的模糊推理系统的鲁棒性

给出了基于模糊逻辑等价度量的模糊集的扰动的定义,讨论了模糊集扰动与模糊连接词及蕴涵算子扰动之间的关系,针对若干特殊的模糊连接词及蕴涵算子的扰动情形,给出了模糊推理系统的扰动的估计,并讨论了模糊推理系统的鲁棒性。     

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

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

n值乘积逻辑系统中的随机化研究

利用赋值集的随机化方法,在n值乘积逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D_πn-相似度与伪距离的概念,并建立了D_πn逻辑度量空间,证明了此空间没有孤立点。     

一类蕴涵算子下的支持度及α-三I算法

研究了基于正则蕴涵算子G-λ-R0模糊推理的三I算法的支持度理论,分析了支持度的性质,给出了α-三I算法的FMP（FMT）下（上）确界的计算公式。     

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

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