位置:成果数据库 > 期刊 > 期刊详情页
Goguen命题逻辑系统公理化扩张的k随机真度理论
  • ISSN号:1001-7402
  • 期刊名称:《模糊系统与数学》
  • 时间:0
  • 分类:O141[理学—数学;理学—基础数学]
  • 作者机构:延安大学数学与计算机科学学院,陕西延安716000
  • 相关基金:国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);延安大学研究生创新基金资助项目(YCX2016126)
中文摘要:

通过对n值Goguen命题逻辑进行公理化扩张Goguen~,△(Ⅱ~,△)。利用赋值集随机化的方法,在Ⅱ~,△。中提出了公式的k随机真度,讨论了k随机真度的MP规则,HS规则,给出了公式间的k随机相似度与k随机伪度量的概念和性质。同时介绍了三种近似推理模式并证明了三种推理模式之间的等价性。

英文摘要:

By axiomatic extension of n-valued Goguen propositional logic, which is denoted as Ⅱ~,△, using the randomization method of valuation set, the definition of k randomized truth degree of formula is put forward into Ⅱ~,△. The MP rule and HS rule of k randomized truth degree are also discussed. The concepts and properties of k randomized similarity degree and k randomized pseudometric for formulas are given. At the meantime, three different types of approximate reasoning patterns are introduced, and they are proved to be equivalent.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编:刘应明
  • 地址:湖南长沙国防科技大学理学院
  • 邮编:410073
  • 邮箱:fuzzysys@cfsm.cn
  • 电话:0731-84576220
  • 国际标准刊号:ISSN:1001-7402
  • 国内统一刊号:ISSN:43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》(Mathematical Reviews)核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论(网络版),德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版)
  • 被引量:8133