G(o)del命题逻辑中公式概率真度的相似度及伪距离

• 作者: 于西昌 谭桂梅
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 赋值密度函数 概率真度 推理规则 相似度
• 年，卷（期）: 2010,（20）
• 页码范围: 46-49,52
• 分类号: O141.1
• 字数: 6214字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.20.013

摘要

通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统G(o)del中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及其性质,为推理程度的数值化提供了依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于西昌		28	56	4.0	7.0