模式识别与人工智能
2025年4月3日 星期四   首 页     期刊简介     编委会     投稿指南     伦理声明     联系我们                                                                English
模式识别与人工智能  2013, Vol. 26 Issue (6): 521-528    DOI:
论文与报告 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于n-值ukasiewicz命题逻辑的概率计量化推理系统
周红军
陕西师范大学数学与信息科学学院西安710062
A Probabilistically Quantitative Reasoning System Based on n-Valued ukasiewicz Propositional Logic
ZHOU Hong-Jun
College of Mathematics and Information Science,Shaanxi Normal University,Xian 710062

全文: PDF (393 KB)   HTML (0 KB) 
输出: BibTeX | EndNote (RIS)      
摘要 通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个模态化的形式推理系统,构建其语构理论及语义理论,证明该系统关于概率真度函数的完备性定理,从而为概率计量逻辑奠定逻辑基础。
服务
把本文推荐给朋友
加入我的书架
加入引用管理器
E-mail Alert
RSS
作者相关文章
周红军
关键词 ukasiewicz命题逻辑概率计量逻辑Borel型概率真度    
Abstract:The probabilistic truth degree functions of propositions in n-valued ukasiewicz propositional logic are abstracted as a modality,and their three basic identities are abstracted as axioms of the modality. Then,a modal logic system for reasoning about probabilistic truth degrees of propositions is proposed. The syntax and semantics are constructed. The completeness theorem with respect to probabilistic truth degree functions is finally obtained. A logic foundation is set for probabilistically quantitative logic.
Key wordsukasiewicz Propositional Logic    Probabilistically Quantitative Logic    Borel Probabilistic Truth Degree   
收稿日期: 2012-11-08     
ZTFLH: O142  
  TP181  
基金资助:国家自然科学基金项目(No.61005046)、教育部高等学校博士学科点专项科研基金项目(No.20100202120012)资助
作者简介: 周红军(通讯作者),男,1980年生,副教授,主要研究方向为概率计量逻辑与不确定性推理.E-mail:hjzhou@snnu.edu.cn.
引用本文:   
周红军. 基于n-值ukasiewicz命题逻辑的概率计量化推理系统[J]. 模式识别与人工智能, 2013, 26(6): 521-528. ZHOU Hong-Jun. A Probabilistically Quantitative Reasoning System Based on n-Valued ukasiewicz Propositional Logic. , 2013, 26(6): 521-528.
链接本文:  
http://manu46.magtech.com.cn/Jweb_prai/CN/      或     http://manu46.magtech.com.cn/Jweb_prai/CN/Y2013/V26/I6/521
版权所有 © 《模式识别与人工智能》编辑部
地址:安微省合肥市蜀山湖路350号 电话:0551-65591176 传真:0551-65591176 Email:bjb@iim.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn