|
|||||
|
|
| Gdel n值命题逻辑系统中命题公式的t真度及近似推理 | |
| 作者姓名： | 朱乃调 惠小静 高晓莉 |
| 作者单位： | 延安大学数学与计算机科学学院 延安716000,延安大学数学与计算机科学学院 延安716000,延安大学数学与计算机科学学院 延安716000 |
| 基金项目： | 本文受国家自然科学基金(11471007),陕西省自然科学基金(2014JM1020),多专业融合应用型人才培养模式创新实验区项目,延安大学研究生创新基金资助 |
| 摘 要： | 通过增加两类算子～和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel～,Δ,简记为G～,Δ。在Gdel～,Δ中提出了命题公式的t真度的定义(t任取～,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性。 |
| 关 键 词： | t真度 t相似度 t逻辑度量空间 近似推理 |