通过对G■del n值命题逻辑系统进行公理化扩张G■del～,Δ,简记为G～,Δ,利用赋值集随机化的方法,在G■del～,Δ中提出了命题公式的t随机真度的定义（t任取～,Δ）,研究了t随机真度的MP规则、HS规则、交推理规则和并推理规则以及它的一些相关性质;给出了命题公式间的t随机相似度和t随机伪距离的概念,讨论了它们的一些相关性质;得到了命题公式间理论Γ的t随机发散度和t随机相容度的概念以及它们的一些相关性质;最后在随机逻辑度量空间中提出了三种不同的近似推理模式,并证明了三种近似推理模式间的等价性。
类型: 期刊论文
作者: 朱乃调,惠小静,高晓莉
关键词: 随机真度,随机相似度,随机逻辑度量空间,近似推理
来源: 模糊系统与数学 2019年06期
年度: 2019
分类: 基础科学,哲学与人文科学
专业: 数学,逻辑学
单位: 延安大学数学与计算机科学学院
基金: 国家自然科学基金资助项目(11471007),陕西省自然科学基金资助项目(2014JM1020),多专业融合应用型人才培养模式创新实验区项目,延安大学研究生创新基金资助项目(YCX201612)
分类号: O141.1
页码: 62-72
总页数: 11
文件大小: 240K
下载量: 7
本文来源: https://www.lunwen66.cn/article/75c9a399af239d6cdddf2784.html