修正的RDP逻辑系统中子代数的广义重言式理论

讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论，并利用可达广义重言式概念和α-矛盾式概念在----RDP的序稠密子代数中给出F(S)关于同余的一个分划。     

增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度

在添加了[Δ]算子Gödeln值命题逻辑系统中，给出了Gödel[n]值命题逻辑系统中有限理论的平均真度的定义，给出了该系统下的一些重要结论并给予证明，验证了在该系统下平均真度的一些基本性质，为进一步在该系统下研究平均真度奠定了基础。     

S-模糊逻辑系统中积分相似度及算子连续性

与通常相似度定义在真度基础上不同,在S-蕴涵模糊逻辑系统中提出了基于S-蕴涵算子的积分相似度。讨论了积分相似与逻辑等价的关系,给出了积分相似度的推理性质,提出了与积分相似度对应的伪距离。论证了伪距离空间中逻辑算子都是连续的。     

概率逻辑学基本定理的推广

通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计量逻辑学,得出了带参数 的有限逻辑理论相容度概念,是δ-相容度的推广.     

模糊强半预开集和模糊强半预连续性(英文)

本文引入并讨论模糊拓扑空间中的模糊强半预开集和模糊强半预连续映射及其基本性质     

二值命题逻辑系统的不可靠度及F度累积定理

本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系。最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式。     

直觉模糊推理的三I约束算法

研究了直觉模糊推理三I约束算法,给出了IFMP、IFMT问题的直觉模糊推理三I约束算法解的表达形式和分解形式,在此基础上,指出了直觉模糊推理三I约束算法是模糊推理三I约束算法的推广,并给出了相应的证明。     

基于蕴涵算子族L-λ-Π的模糊推理三I支持算法

提出了一类新的蕴涵算子族L-λ-Π,说明了它是ukasiewicz蕴涵算子、Goguen蕴涵算子更一般的形式。基于该算子族,给出了模糊推理FMP模型、FMT模型的三I支持算法和α-三I支持算法的计算公式,并给予了证明。     

Goguen公理化扩张系统的Γ-k随机真度理论及性质

本文首先对n值Goguen命题逻辑进行公理化扩张Goguen_~,Δ,记为∏_~,Δ.利用赋值集的随机化方法,给出公式在k（k取~或Δ）连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了∏_~,Δ中Γ-k随机真度的MP规则、HS规则等相关性质;接着,在Γ-k中定义了两公式间的Γ-k随机相似度与Γ-k随机伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k随机相似度与Γ-k随机伪距离所具有的一些良好性质;最后,在∏_~,Δ中介绍了任意理论Γ相对于特定理论Γ₀的相对随机发散度和相对随机相容度概念,得到了相对随机发散度与相对随机相容度之间联系的关系式.     

三种近似推理模式的等价性

论证了伪距离空间中近似推理模式I与模式II是等价的;证明了模式I与模式III也是等价的,从而得出三种近似推理模式是等价关系。