命题逻辑系统中公式的概率真度理论

作者：于西昌 谭桂梅 张兴芳赋值密度函数概率真度推理规则相似度伪距离

摘要：通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,明确了概率真度在[0,1]中的分布情况,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社