经典命题逻辑中逻辑理论的计量化及应用

发布时间：2017-04-29 14:16

  本文关键词：经典命题逻辑中逻辑理论的计量化及应用，由笔耕文化传播整理发布。

【摘要】：数理逻辑的特点在于符号化与形式化,它所注重的精准的、形式化的逻辑推理是人工智能学科及相关研究中普遍采用的方法；计算数学的特点在于近似求解、数值计算等内容,数值计算是不精确地,而是近似的.王国俊教授从基本概念的程度化入手将数值计算引入到数理逻辑中,在常见的命题逻辑系统中定义了公式真度,进而给出了两个公式间相似度、伪距离的概念,并由此提出了理论的发散度、相容度等概念,建立了一套完整的近似推理机制. 计量逻辑学中,除了对单个公式进行计量化研究之外,学者们对理论自身的性质也做了大量的研究.研究了理论r的相容性和发散性等性质,以此来区分不同理论相容程度的大小,进而区分不同理论好坏程度的目的.而且把公式的真度引入到理论中来,把理论的全体逻辑结论真度的下确界值作为理论r的真度.这种方法损失了理论Γ的结论中真度值较大的那些结论提供的信息：而且当理论Γ退化为只含一个公式时,在多值逻辑中,理论r的真度并不等于公式B的真度.所以为了将公式的真度理论完全推广到理论r中来.本文在二值命题逻辑系统中.引入理论r的真度概念,使真度的概念由单个公式的真度推广为公式集(理论)的真度,进而定义了理论与理论之间的相似度与伪距离.并给出了理论的真度在近似推理及描述理论的发散度、相容度等方面的应用. 以下是本文所得到的主要结果： 1.在二值命题逻辑系统中,在全体理论之集T上引入逻辑运算.利用势为2的均匀概率测度空间的无穷乘积,通过计算理论r的全体模型占整个赋值空间的测度定义了理论Γ的真度进而定义了理论与理论之间的相似度与伪距离. 2.给出了理论真度在理论的其它方面的一些应用.首先,利用理论的真度简化了理论的发散度和相容度的计算公式；其次,给出了由推理的前提集的真度估计其逻辑结论真度的表达式；最后,利用理论的真度对计量逻辑学中给出的两种近似推理机制进行了等价刻画.
【关键词】：计量逻辑学 逻辑理论 理论的真度 伪距离
【学位授予单位】：兰州理工大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：O141
【目录】：

• 摘要6-7
• Abstract7-9
• 第1章 引言9-11
• 1.1 课题的研究意义和国内外研究现状9-10
• 1.2 本论文研究的内容10-11
• 第2章 预备知识11-19
• 2.1 系统L中的公式、赋值及模型11-13
• 2.2 逻辑系统L中公式的真度13-16
• 2.3 逻辑系统L中公式之间的相似度和伪距离16-17
• 2.4 命题逻辑系统L理论Г的发散度、相容度及近似推理理论17-19
• 第3章 二值命题逻辑中逻辑理论的计量化及应用19-35
• 3.1 系统L中逻辑理论的模型19-23
• 3.2 逻辑系统L中理论的真度23-29
• 3.3 逻辑系统L中理论的相似度和伪距离29-31
• 3.4 逻辑系统L中理论的真度的应用31-35
• 结论与展望35-36
• 参考文献36-40
• 致谢40-41
• 附录A 攻读学位期间所发表的学术论文目录41

【参考文献】

中国期刊全文数据库 前10条

1 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

2 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期

3 李骏;王国俊;;基于支持度理论的广义MP问题的形式化解[J];电子学报;2008年11期

4 李骏;邓富喜;;n值S-MTL命题逻辑系统中公式真度的统一理论[J];电子学报;2011年08期

5 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

6 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期

7 李骏;王国俊;;逻辑系统L_n~*中命题的真度理论[J];中国科学E辑:信息科学;2006年06期

8 ;Randomization of classical inference patterns and its application[J];Science in China(Series F:Information Sciences);2007年06期

9 ;Borel probabilistic and quantitative logic[J];Science China(Information Sciences);2011年09期

10 高香妮;折延宏;王国俊;;逻辑系统G_n中理论的真度概念及其应用[J];计算机工程与应用;2010年24期

  本文关键词：经典命题逻辑中逻辑理论的计量化及应用，，由笔耕文化传播整理发布。

本文编号：335057