(L)ukasiewicz逻辑系统中的随机化研究

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

参数LP系统的三I算法与α-三I算法

给出了连续三角模族Tp-L及其伴随蕴涵算子族Rp-L的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族Rp-L的三I算法与α-三I算法.     

连续值命题逻辑中公式的概率真度及相似度

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系.     

正则蕴涌算子族G-λ-R_0的约束度理论相关研究

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

三值乘积逻辑系统π3中的随机化研究

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

基于蕴涵算子族Lλ0λG的反向三Ⅰ约束算法

提出了基于蕴涵算子族Lλ0λG的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族Lλ0λG给出了模糊推理的FMP模型及FMT模型的反向三Ⅰ约束算法。     

基于蕴涵算子族Lλ0λG的α-三I约束算法

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

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

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

蕴涵算子族R_((q,p))-LGN及其三Ⅰ支持算法

给出了一族新的左连续三角模族T(q,p)-LGN族及其伴随蕴涵算子族R(q,p)-LGN,它包括Lukasiewicz蕴涵算子、Gdel蕴涵算子及R0蕴涵算子;提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族R(q,p)-LGN的FMP模型的三Ⅰ支持算法。     

基于蕴涵算子族L—λ—R0的模糊推理三Ⅰ约束算法

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