论文部分内容阅读
通过随机化赋值集的方法，在二值逻辑中提出了公式的D-随机真度概念，证明了全体公式的D-随机真度之集在[0，1]中没有孤立点；提出了D-逻辑伪距离和D-逻辑度量空间，证明了该空间中没有孤立点；指出当取均匀概率测度，且各概率测度均为1／2时，D-随机真度就转化为计量逻辑学中的真度，同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离，从而建立了更具一般性的随机逻辑度量空间；最后在D-逻辑度量空间中提出了3种不同类型的近似推理模式，并证明了这三种模式是等价的．