RL型蕴涵与Fuzzy推理的三I算法

引入了RL型蕴涵与正则RL型蕴涵的概念，系统地讨论了基于RL型蕴涵的三I算法、三IMT算法及其还原性，得到了这些算法的一般表达式，指出基于正则RL型蕴涵的三I算法与三IMT算法的表达式具有对偶形式；证明了当P表示条件{B(y)|y∈Y}真包含{A(X)|X∈X}时，基于RL型蕴涵的三I算法为P-还原算法，当P表示条件{A(x)|x∈X}真包含{B(y)|y∈Y}时，基于RL型蕴涵的三IMT算法为P-还原算法．     

经典推理模式的随机化研究及其应用

利用赋值集的随机化方法，在二值逻辑中提出了公式的D-随机真度概念，证明了全体公式的D-随机真度之集在[0，1]中没有孤立点；提出了D-逻辑伪距离和D-逻辑度量空间，证明了该空间中没有孤立点；指出当取均匀概率测度，且各概率测度均为1／2时，D-随机真度就转化为计量逻辑学中的真度，同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离，从而建立了更具一般性的随机逻辑度量空间；通过概率逻辑学基本定理，证明了D-逻辑度量空间中逻辑运算的连续性，从而实现了概率逻辑学与计量逻辑学的融合；在D-逻辑度量空间中提出了3种不同类型的近似推理模式．     

关于抽象逻辑紧致性的一个定理

以模糊语义为背景 ,在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念 ,证明了具有这种连续性的抽象语义是紧致的 ,由此可以推出取值于 [0 ,1]的Lukasiewicz语义是紧致的     

模糊推理的全蕴涵三I算法

指出从逻辑语义蕴涵的角度看ＣＲＩ算法中的复合运算是缺乏根据的,提出了在每一步都使用蕴涵算子的全蕴涵三Ｉ算法。对于Ｚａｄｅｈ的涵算子而言,三Ｉ算法的结果较ＣＲＩ算法的结果为优。基于蕴涵算子Ｒ０展开三Ｉ算法理论,给出了模糊ＭＰ算法与模糊ＭＴ算法的计算公式,进一步将三Ｉ算法一般化,提出了支持度理论,得到了一般的α－三Ｉ ＭＰ公式与α－三Ｉ ＭＴ公式。     

R0-代数的R0-语义集上的拓扑

以Ω_M记R₀-代数M到R0-单位区间的全体赋值之集. 证明一个同构于一族全序的至多可数的R₀-代数的直积的子R₀-代数M是赋值决定序的， 即x≤y当且仅当v∈Ω_M， v(x)≤v(y). 然后通过一种自然的方式在Ω_M上引入Fuzzy拓扑δ，研究拓扑δ及其相应的截拓扑的性质. 建立R₀-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理.     

三值Majority函数单调的充要条件

本文的目的在于通过一个反例说明文献[1]中关于三值Ｍａｊｏｒｉｔｙ函数为单调函数的一个论断是错误的,然后给出这类函数为单调函数的一个充要条件.令Ｅ=0,1/2,1,“≤”表示Ｅ上的通常序,Ｅｎ上相应的乘积序也记作“≤”,设Ｗ1,…,Ｗｎ,Ｔ1/2,Ｔ1是整数,且Ｔ1/2≤Ｔ1,θ∈{1/2,1},Ｘ=(ｘ1,…,ｘｎ),令Ｎθ(Ｘ)=∑{Ｗｉ:Ｗｉ≥0,ｘｉ=θ} ∑{-Ｗｉ:Ｗｉ<0,ｘｉ=θ},这里ｘｉ=1-ｘｉ(ｘｉ∈Ｅ),称ｆ:Ｅｎ→Ｅ是带有权Ｗ1,…,Ｗｎ和阈Ｔ1/2,Ｔ1的三值Ｍａｊｏｒｉｔｙ函数,若ｆ如下定义:ｆ(Ｘ)=1,1/2,0,　Ｎ1(Ｘ)≥Ｔ1;Ｔ1>Ｎ1(Ｘ)≥Ｔ1/2-Ｎ1…     

模糊模态逻辑系统M■uk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统M■uk,然后将其赋值格离散化研究了多值模态逻辑系统M■n;证明了在M■n中,对任一可能的赋值α都存在可达α-重言式;在M■uk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在R0系统中起关键作用的升级算法对M■n系统已不再适用,并分析了其原因。     

适宜于展开模糊推理的两类模糊度量空间

给出了衡量模糊推理鲁棒性的度量应有的结构,建立了基于左连续三角模的4类模糊度量空间,证明了基于Lukasiewicz蕴涵和Goguen乘积蕴涵的模糊度量空间是最适宜于展开模糊推理的两类模糊度量空间.     

BR0代数中的模糊布尔滤子

在BR0代数中引入模糊滤子和模糊布尔滤子的概念，给出了BR0代数中模糊滤子的充要条件以及若干性质。讨论了模糊布尔滤子与截集的关系。最后得到了模糊布尔滤子的几个等价刻画。     

三值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值Lukasiewicz逻辑系统中给出在信息Г下的近似推理理论提供了一种可能的框架.