n值命题逻辑中的P-随机真度及近似推理

利用赋值集的随机化方法,在n值命题逻辑中提出了n值逻辑P-测度和公式的P-随机真度的概念,证明了全体公式的P-随机真度之集在[0,1]中没有孤立点;利用P-随机真度定义了公式间的P-相似度和P-逻辑伪距离,为n值命题逻辑在一般情形下的近似推理理论提供了一种可能的框架。

系统L在非均匀概率空间下命题的真度理论

将经典二值命题逻辑L中公式的真度概念推广到势为2的非均匀概率空间上;当p?(01)时,证明了全体公式的真度值之集在[0,1]中没有孤立点;利用真度定义公式间的p-相似度和伪距离,进而定义了p-逻辑度量空间,证明了该空间没有孤立点,并在此空间中提出了三种不同类型的近似推理模式。

命题逻辑系统L_(n)^(*)中理论的p-随机发散度的分布研究

在命题逻辑系统L_(n)^(*)中提出了p-随机真度,p-随机相似度,p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),ρp).在p-随机逻辑度量空间(F(S),ρp)中提出了理论的p-随机发散度的概念,指出理论的p-随机发散度是和随机n值分布序列p=(p1,p2,…)的具体取值是密切相关的.证明了全体原子公式集S的p-随机发散度随着n值分布序列p的不同取值可以充满(0,1]实数区间.