位置:成果数据库 > 期刊 > 期刊详情页
标准序列逻辑系统S3中公式的概率真度理论
  • ISSN号:1001-7402
  • 期刊名称:《模糊系统与数学》
  • 时间:0
  • 分类:O141[理学—数学;理学—基础数学]
  • 作者机构:[1]河南师范大学数学与信息科学学院,河南新乡453007, [2]兰州理工大学理学院,甘肃兰州730050
  • 相关基金:国家自然科学基金资助项目(10771129);河南省教育厅自然科学研究计划项目(2007110016)
中文摘要:

利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。

英文摘要:

Based on the infinite product of unevenly distributed probability space, this paper introduced the theory of probability truth degree in 3-valued propositional logic S3. It is proved that the set of probability truth degree of all formulas has no isolated point in [0,1]. The conceptions of probability similarity degree and pseudo-metric on two formulas are defined by means of the concept of probability truth degree of propositions. Moreover, the probability logic metric space is built. It is proved that this space has no isolated point. Then it can provide a possible framework for approximate reasoning theory .

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