D-逻辑伪距离不等式与近似推理

以D-随机真度为基础,给出了公式到有限理论结论集D-逻辑伪距离的D-随机真度表示式,得到了D-逻辑度量空间中与有限理论相关的一系列D-逻辑伪距离不等式,并在D-逻辑度量空间中进行了近似推理讨论.

二值逻辑的D-条件真度理论

文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。