逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用

发布时间：2017-07-02 13:16

  本文关键词：逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用，由笔耕文化传播整理发布。

【摘要】：计量逻辑学从基本概念的程度化入手,系统地引入了公式的真度理论和公式间的相似度理论,定义了公式间的伪距离,最终建立起了逻辑度量空间(Logic Metric Space,简称LMS)理论.由于有了度量工具,在LMS中就可以研究给定的逻辑理论r的发散度和相容度问题,可以研究各种类型的近似推理问题,等等.当前LMS理论已从经典的二值命题逻辑推广到了多种n值命题逻辑之中(n2). 值得注意的是,作为度量空间,LMS自身结构的研究似尚未展开.最近已见到从反射变换入手探讨经典LMS结构的研究,虽然只是起步性的研究,但却是一个新的开端.本文将上述研究进行推广,进一步研究经典LMS中的仿射变换问题,得到了包括真度不变性和相似度不变性在内的较为系统的研究成果.同时,本文还将经典LMS中的反射变换理论推广到了(?)*-Lindenbaum代数之中. 另一方面,由于布尔函数理论既是经典LMS中真度理论的基础,又是密码学中常用的基本工具,可见计量逻辑学与密码学之间存在着紧密的联系.基于这种思想,本文在LMS中先后引入了线性逻辑公式、对称逻辑公式和雪崩逻辑公式的概念,并从它们在整个空间中的分布得出了各类公式稀疏程度的描述,这又可反馈到密码学中,使得从事密码学研究的学者对是否使用相应的函数传送密码有更全面的掌握. 此外,本文还将布尔函数的Shannon展开式的巧妙思想应用到了Lukasiewicz n值逻辑系统Ln中,给出了MaNaughton函数的表示方法,解决了m元n值MaN-aughton函数的计数问题. 全文共分五章. 第一章介绍了有关计量逻辑学与密码学中布尔函数的基本知识,这些知识是阅读后续内容所必须的,是概述性的. 第二章首先将反射变换的概念引入到连续值逻辑系统￡*之中,研究了￡*逻辑度量空间中反射变换的性质.然后将仿射变换的概念引入到经典逻辑系统之中,定义了公式集F(S)到F(S)上的仿射变换φ,证明了该仿射变换φ：F(S)→F(S)是F(S)上的自同构变换.而且公式的真度,公式间的相似度与伪距离在仿射变换下保持不变.在经典逻辑系统中,反射变换是仿射变换的特殊情形,即,仿射变换是公式集F(S)到F(S)上的一类更广泛的变换. 第三章基于线性布尔函数的概念,在经典逻辑度量空间中提出了线性逻辑公式的概念,并给出了n元线性逻辑公式的构造方法.研究了反射变换下线性逻辑公式的性质,证明了所有线性逻辑公式的真度等于1/2,而全体n元逻辑公式的真度共有2n+1种之多,这表明线性逻辑公式在全体逻辑公式之中的分布很稀疏.这就从计量学的角度验证了线性布尔函数的结构比较简单.而且,我们可以通过线性布尔函数作乘积得到一类代数次数等于k的布尔函数,这类布尔函数所对应的逻辑公式的真度为1/2k,这表明这类代数次数等于k的非线性布尔函数所对应的逻辑公式在全体逻辑公式之中的分布也很稀疏,可在密码设计中使用该类布尔函数. 第四章将符号化计算树逻辑中的Shannon展开式做了推广,在n值Lukasiewicz逻辑系统L。中,研究了由逻辑公式导出的n值McNaughton函数的展开式,给出了m元n值McNaughton函数的准析取范式和准合取范式.在此基础上,给出了m元n值McNaughton函数的计数问题.并在n值Lukasiewicz逻辑系统Ln中,给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题. 在弄清楚了多值McNaughton函数的构造方法和结构之后,我们将对称布尔函数的概念引入到多值McNaughton函数之中,提出了对称三值McNaughton函数的概念.在此基础上,在三值Lukasiewicz逻辑系统L3中,提出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,比较了L3和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋向于零,而且全体对称逻辑公式的真度之集在[0,1]中稠密.但是,全体对称逻辑公式之集又是逻辑度量空间中的无处稠密集.最后,给出了L3中对称逻辑公式的构造方法. 第五章将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质.证明了雪崩逻辑公式A的真度T(A)满足条件1/4≤τ(A)≤3/4特别是证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-1|2n-3≤k≤3×2n-3;n-3,4,…},或者用密码学的术语来说,n(n≥3)元雪崩布尔函数的汉明重量之集为w(n)={ω(f(x))|2n…2≤ω(f(x))≤3×2n-2且ω(F(x))为偶数},这就排除了不满足此条件的n元布尔函数的个数计算,从而在一定程度上简化了雪崩布尔函数的计数问题.然后,我们通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,并给出了不同真度的雪崩逻辑公式的构造方法.研究了k阶雪崩逻辑公式与反射变换下k阶雪崩逻辑公式的性质.最后,研究了满足严格雪崩准则的布尔函数的计数问题,得到了满足严格雪崩准则的n元布尔函数个数的上界和下界.
【关键词】：计量逻辑学 密码学 布尔函数 Shannon展开式 McNaughton函数 仿射变换 线性逻辑公式 对称逻辑公式 雪崩逻辑公式
【学位授予单位】：陕西师范大学
【学位级别】：博士
【学位授予年份】：2012
【分类号】：O141.1
【目录】：

• 摘要3-5
• Abstract5-10
• 前言10-14
• 第1章 计量逻辑学与密码学中布尔函数的简介14-26
• 1.1 计量逻辑学基本理论14-19
• 1.1.1 二值命题逻辑系统L中的计量逻辑理论14-17
• 1.1.2 多值Lukasiewicz命题逻辑系统L_n与Luk中的计量逻辑理论17-19
• 1.1.3 多值R_0—逻辑系统￡_n~*与￡~*中的计量逻辑理论19
• 1.2 密码学中的布尔函数介绍19-26
• 1.2.1 布尔函数的表示19-22
• 1.2.2 几类特殊的布尔函数22-26
• 第2章 计量逻辑学中的反射变换和仿射变换26-46
• 2.1 ￡~*计量逻辑中的反射变换26-33
• 2.1.1 ￡~*中的反射变换26-29
• 2.1.2 反射变换下的近似推理29-31
• 2.1.3 ￡~*-Lindenbaum代数上的反射变换31-33
• 2.2 经典计量逻辑中的仿射变换33-46
• 2.2.1 (0,1)—矩阵和(0,1)—行列式33-38
• 2.2.2 (⊥,Τ)—矩阵38-41
• 2.2.3 L中的仿射变换41-46
• 第3章 计量逻辑学中的线性逻辑公式46-58
• 3.1 经典逻辑度量空间中的线性逻辑公式46-51
• 3.2 一类代数次数等于k的布尔函数所对应的逻辑公式51-58
• 第4章 计量逻辑学中的对称逻辑公式58-106
• 4.1 Shannon展开式的推广及其在多值逻辑公式范式表示中的应用59-86
• 4.1.1 Shannon展开式的推广59-62
• 4.1.2 n值Mcnaughton函数的范式表示62-76
• 4.1.3 n值Mcnaughton函数的计数问题76-83
• 4.1.4 L?中逻辑公式的构造及其逻辑等价类的计数问题83-86
• 4.2 三值计量逻辑学中的对称逻辑公式86-106
• 第5章 计量逻辑学中的雪崩逻辑公式106-120
• 5.1 经典逻辑系统中的雪崩逻辑公式106-117
• 5.2 密码学中雪崩布尔函数个数的上界与下界估计117-120
• 总结120-122
• 参考文献122-130
• 致谢130-132
• 攻读博士学位期间的科研成果132-133

【相似文献】

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

1 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期

2 王廷明;;有限理论结论基于根的余式和结论集的表示[J];青岛大学学报(自然科学版);2011年02期

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

4 丁春晓;张兴芳;;模糊逻辑系统公理真度分析[J];模糊系统与数学;2011年03期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前10条

1 徐扬;;一阶 L 逻辑中的几个结论[A];模糊数学和系统成果会论文集[C];1991年

2 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

3 靳光瑾;;计算机理解汉语需要语法理论支撑[A];语言文字应用研究论文集（Ⅱ）[C];2004年

4 谢先仁;;论辩证矛盾和逻辑矛盾的区别及识别[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 张金兴;;类推是类比推理吗?[A];1994年逻辑研究专辑[C];1994年

6 康巧茹;;探讨描述禁止类型法律规范命题内涵语义的方法[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

7 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

8 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年

9 许梅;曹子宁;;基于谓词μ演算和空间逻辑的模型检测算法研究[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年

10 杨学渊;;辩证命题的语形、语义和语用分析[A];1993年逻辑研究专辑[C];1993年

中国重要报纸全文数据库 前8条

1 海路 中央民族大学教育学院;多重视角下的认同概念[N];中国社会科学报;2010年

2 宋俊岭;独处场所——当今城市的缺项[N];中国房地产报;2007年

3 郭珊;假如王小波活到今天[N];南方日报;2007年

4 彭劲荣;法律适用中的解释与推理[N];人民法院报;2007年

5 臧乐源;提高学生的逻辑素养[N];中国教育报;2000年

6 本报特约记者　何天进　董聚山　通讯员　李祖斌　记者　喻国英;博士参谋砺剑尖兵[N];光明日报;2004年

7 本报记者 袁跃;遏制国有资产流失“路在何方”[N];财会信报;2005年

8 上海交通大学法学院教授、博士研究生导师 张绍谦;渎职犯罪案件中因果关系的判断[N];检察日报;2009年

中国博士学位论文全文数据库 前10条

1 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

2 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

3 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

4 方细明;量子计算的核磁共振实现[D];中国科学院研究生院（武汉物理与数学研究所）;1999年

5 江华;界程演算模型检测[D];贵州大学;2008年

6 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年

7 康密军;基于策略的普适计算隐私保护技术研究[D];中国海洋大学;2009年

8 王馨;基于实时规约的测试预言自动生成技术的研究[D];国防科学技术大学;2005年

9 彭新华;量子算法和量子信息处理的核磁共振实现[D];中国科学院研究生院（武汉物理与数学研究所）;2003年

10 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年

中国硕士学位论文全文数据库 前10条

1 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年

2 张红杰;BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论[D];陕西师范大学;2008年

3 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

4 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

5 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

6 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年

7 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年

8 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年

9 褚国嫘;归结反演中的可视化技术研究[D];北京交通大学;2008年

10 张乐;MTL-代数上的度量化研究[D];浙江理工大学;2012年

  本文关键词：逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用，，由笔耕文化传播整理发布。

本文编号：510070