位置:成果数据库 > 期刊 > 期刊详情页
概率计量逻辑研究进展简述
  • ISSN号:1001-7402
  • 期刊名称:《模糊系统与数学》
  • 时间:0
  • 分类:O142[理学—数学;理学—基础数学]
  • 作者机构:陕西师范大学数学与信息科学学院,陕西西安710062
  • 相关基金:国家自然科学基金(61473336);陕西省青年科技新星项目(2016KJXX24);中央高校基本科研业务费专项基金(GK201403001)
中文摘要:

不确定性在现实生活中无处不在,将概率论和多值命题逻辑交叉融合来建立不确定性表示与推理模型是不确定性数学领域多年来的研究热点之一。本文将分别从语义计量化、模态形式化与代数公理化三角度简要地介绍概率测度与多值命题逻辑交叉结合方面的研究成果——概率计量逻辑,以及其在逻辑理论的相容度、程度化推理方法、极大相容逻辑理论的刻画、逻辑代数的Stone拓扑表示、相似收敛及其Cauchy完备化等领域中的若干应用与拓展。最后,本文将列出今后有待进一步研究的问题。

英文摘要:

Nowhere in our real life does not exist uncertainty. Combining classical probability theory with many-valued propositional logics to model uncertainty of many-valued events is one of the hot research topics in the field of uncertainty mathematics in recent decades. This paper presents a short survey of the main results in such an interdisciplinary area, which form a new branch of mathematics of uncertainty called probabilistically quantitative logic, from three viewpoints of semantic quantification, modal formalization, and syntactical axiomatization, respectively, as well as their applicaitons in such fields as consistency degrees of formal theories, methods of graded reasoning, structural and topological characterizations of maximally consistent theories, Stone representations of logical algebras and similarity convergence with its Cauchy completion. To close the paper we list some existing problems and further works.

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