Gdel n值命题逻辑系统中命题公式的t真度及近似推理

朱乃调; 惠小静; 高晓莉

首页> 中文期刊> 《计算机科学》 >Gdel n值命题逻辑系统中命题公式的t真度及近似推理

Gdel n值命题逻辑系统中命题公式的t真度及近似推理

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

通过增加两类算子~和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(~,Δ),简记为G(~,Δ)。在Gdel^(^,Δ)中提出了命题公式的t真度的定义(t任取~,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性。

著录项

来源
《计算机科学》 |2016年第s2期|97-102|共6页
作者
朱乃调; 惠小静; 高晓莉;
展开▼
作者单位

延安大学数学与计算机科学学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类数理逻辑（符号逻辑）;
关键词
t真度; t相似度; t逻辑度量空间; 近似推理;

相似文献

中文文献
外文文献
专利

1. 四值Gdel命题逻辑系统中公式的概率真度理论 [J] . 贺锦瑞 ,惠小静 ,双靖宁 . 计算机科学 . 2015,第B11期
2. G(o)del n值命题逻辑中公式的α-随机真度理论 [J] . 宋颖 ,张兴芳 . 计算机工程与应用 . 2009,第031期
3. 三值命题逻辑系统中公式的随机真度的向量化 [J] . 张超权 ,刘晓辉 . 桂林航天工业学院学报 . 2018,第001期
4. 三值命题逻辑系统中公式的随机真度的向量化 [J] . 张超权1 ,刘晓辉1 . 桂林航天工业学院学报 . 2018,第001期
5. n值命题逻辑系统L∗n中公式Γ-的绝对真度理论 [J] . 李顺琴 ,王泽阳 . 贵州大学学报（自然科学版） . 2017,第005期
6. n值命题逻辑系统Wn中公式的真度理论 [C] . 张安英 ,于西昌 ,张兴芳 . 中国系统工程学会模糊数学与模糊系统专业委员会第十三届年会 . 2006
7. 非线性序集逻辑系统中命题的真度理论及近似推理理论 [A] . 隋云云 . 2009

Gdel n值命题逻辑系统中命题公式的t真度及近似推理

摘要

著录项

相似文献

相关主题

期刊订阅