随机模糊环境下的命题逻辑真度理论

在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机模糊逻辑伪距离,证明在随机模糊逻辑伪距离空间无孤立点.利用概率论中的积分收敛定理,证明一个关于随机模糊真度的极限定理.研究已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广至多值命题逻辑.在随机逻辑伪距离空间中提出2种不同类型的近似推理模式并应用于实际问题的近似推理.

二值命题逻辑中基于信息限制的随机真度

以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示式,为二值命题逻辑中基于有限信息限制的近似推理的随机化研究提供数值化工具。