收藏本站
《陕西师范大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

逻辑度量空间的内蕴结构的研究

胡明娣  
【摘要】:王国俊教授相继提出基于均匀概率测度空间的无穷可数乘积与(0,1)中的随机数列下的计量逻辑学及其随机化理论,如今已在包括Lukasiewicz,(?),Godel和Goguen等多种命题逻辑和相应的模糊命题逻辑系统中建立了相对完整的计量逻辑学理论.但关于逻辑度量空间自身的结构的研究似乎才刚刚起步,虽然王国俊教授又给出了若干逻辑性质的拓扑刻画以及命题逻辑中极大和谐理论之集上的拓扑性质,但即使在经典的逻辑度量空间中,至今仍未见到进一步的研究结果,可以说逻辑度量空间本身的特征性质还远不清楚.本论文的主要目的就是在这方面进行探讨,同时我们已经得出了若干能反映出经典逻辑度量空间的内蕴结构的定理.本文得到了如下的研究成果: 第一,证明了在经典的逻辑度量空间中存在着一种能保持逻辑等价关系和相应的代数结构的反射变换.首先证明了在逻辑度量空间中存在着一种巧妙的反射变换(?),(?)保持逻辑等价关系不变,而且是同态映射.其次,由反射变换(?)可自然地导出Lind-enbaum代数上的一个反射变换(?)*,反射变换(?)*是Lindenbaum代数上的自同构变换,等距变换,且在经典逻辑度量空间中存在(?)*的不动点,得到了(?)*的不动点的一般形式. 第二,给出了经典逻辑度量空间上的模2次范整线性空间结构.早在1958年,为推广Sheeffer定理,王国俊教授引入了平移群和平移空间等概念.并基于此提出了次范整线性空间(简称为Z-空间)理论.受这种思想的启发,本文从另一个特殊的角度探讨了逻辑度量空间的结构,得出了经典逻辑度量空间上的模2次范整线性空间结构,使其成为同时具有逻辑结构、拓扑结构和线性结构的载体,为进一步从不同的方面研究逻辑度量空间提供了可能的途径. 第三,研究了对称逻辑公式、平衡逻辑公式在经典逻辑度量空间的分布.我们将密码学中对称布尔函数、平衡布尔函数的概念引入到了二值计量逻辑学理论之中,定义了对称逻辑公式、准对称逻辑公式、平衡逻辑公式等概念.证明了对称公式的两种截然相反的性态,即,n元对称公式只占全体n元逻辑公式的很小一部分,其比例随n的增大而趋向于零;然而从另一角度看,n元对称公式却又很多,因为可以证明对称逻辑公式的真度之集像全体逻辑公式之集一样,是在[0,1]中稠密的.类比地证明了n元平衡逻辑公式只占全体n元逻辑公式的很小一部分,其比例随n的增大而趋向于零:并且,n元平衡逻辑公式的真度永远都是1/2,任一n元平衡逻辑公式的任意小的邻域内都有非平衡逻辑公式,但是这些公式的真度随n的增大而趋向于1/2.给出了对称逻辑公式、平衡逻辑公式的表示定理.最后,比较了对称逻辑公式之集和平衡逻辑公式之集,指出它们相交非空但是又不相互包含. 第四,找出了在经典逻辑度量空间中存在一些特殊图形.我们证明了在逻辑度量空间中存在等边多边形,直角三角形等特殊图形.证明了在经典逻辑度量空间中不存在边长大于2/3的等边三角形,但存在边长可以和2/3任意接近的等边三角形.这反映了经典逻辑度量空间中的距离不同于一般距离的特有性质. 第五,研究了伪逻辑度量空间(F(S),ρ3)的拓扑性质.证明了逻辑度量空间(F(S),ρ3)是不完备、非紧致空间,且为零维空间.(F(S),ρ3)具有一种类似于樊畿性质的所谓“有限等球连通性” 第六,本文还探讨了具有模态连接词的模糊命题逻辑,发现模糊模态命题逻辑和基本模态命题逻辑有很大的不同.证明了模糊模态逻辑的永真式是基本模态逻辑中的有效公式,同时举例说明反之不真.在模糊模态命题逻辑中引入准永真式理论,研究了准永真式的性质,并且结合系统(?)*构造出了一大类永真式和准永真式.
【学位授予单位】:陕西师范大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:O141.1

知网文化
【引证文献】
中国博士学位论文全文数据库 前1条
1 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年
【参考文献】
中国期刊全文数据库 前10条
1 王迎春,吉利久;一种基于简单移位的二——十进制相互转换算法[J];电子学报;2003年02期
2 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期
3 汪德刚;谷云东;李洪兴;;模糊模态命题逻辑及其广义重言式[J];电子学报;2007年02期
4 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期
5 李骏;王国俊;;基于支持度理论的广义MP问题的形式化解[J];电子学报;2008年11期
6 胡明娣;王国俊;;模糊模态逻辑中的永真式与准永真式[J];电子学报;2009年11期
7 胡明娣;王国俊;;经典逻辑度量空间中的模2次范整线性空间结构[J];电子学报;2011年04期
8 郭锦辉;李世取;;满足k阶严格雪崩准则的多值逻辑函数的谱特征[J];中国工程科学;2005年12期
9 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期
10 王国俊;刘保翠;;四种命题逻辑中公式的相对Γ-重言度理论[J];工程数学学报;2007年04期
中国博士学位论文全文数据库 前1条
1 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
【共引文献】
中国期刊全文数据库 前10条
1 李龙澍;;PROLOG线性归结的研究与设计[J];安徽大学学报(自然科学版);1997年03期
2 李龙澍,凌成;基于时态逻辑的知识表示研究[J];安徽大学学报(自然科学版);2002年02期
3 马征杰;大学生思想品德定量评价体系设计与程序[J];安康师专学报;2001年04期
4 刘保翠;王国俊;;命题集F(S)基于相似关系定义的拓扑[J];安康学院学报;2007年03期
5 程玉胜,任广永;基于ROUGH集的决策树测试属性选择方法[J];安庆师范学院学报(自然科学版);2004年04期
6 程玉胜;Rosetta实验系统在机器学习中的应用[J];安庆师范学院学报(自然科学版);2005年02期
7 吴华;徐甜;;机器翻译中源语分析的研究与探讨[J];安阳工学院学报;2006年02期
8 金纯;浅谈计算机自然语言理解[J];浙江中医学院学报;2005年03期
9 李志伟;李桂华;;模糊广义正则蕴涵代数[J];毕节学院学报;2008年04期
10 张晓君;;为什么语言学研究离不开逻辑学——2009语言学和逻辑学交叉研究研讨会侧记[J];毕节学院学报;2010年05期
中国重要会议论文全文数据库 前10条
1 申艳光;司春景;;关于提高一类Bent函数的非线性度的研究[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
2 曹明;谷利泽;胡正名;杨义先;;布尔函数的零化子[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
3 宋士吉;冯纯伯;费树岷;孙长银;;模糊推理的Zadeh型全蕴涵三Ⅰ算法[A];第十九届中国控制会议论文集(一)[C];2000年
4 王晟;陈勤;张旻;;多变量密码中布尔矩阵的一种新的构造方法[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
5 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年
6 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年
7 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年
8 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年
9 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
10 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 杨建辉;商空间及φ-直和Banach空间的若干继承性[D];哈尔滨理工大学;2010年
2 郑军红;基于知识工程的智能夹具设计系统构建研究[D];浙江大学;2010年
3 李欣;应急案例知识库系统及其应用关键技术研究[D];解放军信息工程大学;2010年
4 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年
5 唐玉斌;自我与他人心灵的逻辑哲学探究[D];西南大学;2011年
6 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年
7 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
8 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
9 斯·劳格劳;现代蒙古语依存句法自动分析研究[D];内蒙古大学;2011年
10 曾水玲;训练模式的不确定性对模糊系统的影响[D];南京理工大学;2011年
中国硕士学位论文全文数据库 前10条
1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年
2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年
3 刘琪;正态云模型模糊推理系统及其应用研究[D];郑州大学;2010年
4 秦雪丽;超高频RFID信息安全系统设计[D];郑州大学;2010年
5 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年
6 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年
7 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年
8 马栋;模糊Hopfield网络在人脸识别中的应用[D];长沙理工大学;2010年
9 朱谦成;基于CLIPS的注塑模具方案智能设计研究及程序实现[D];湘潭大学;2010年
10 徐旭;基于决策树的Web应用系统个性化身份验证研究[D];合肥工业大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 吴文玲,肖国镇;关于布尔函数的线性结构[J];电子学报;1998年04期
2 陈鲁生,徐汉良,符方伟;多输出布尔函数的相关免疫性[J];电子学报;2001年04期
3 张文英;武传坤;于静之;;密码学中布尔函数的零化子[J];电子学报;2006年01期
4 常祖领;柯品惠;张劼;温巧燕;;高非线性度多输出布尔函数的构造[J];电子学报;2008年01期
5 胡明娣;王国俊;;模糊模态逻辑中的永真式与准永真式[J];电子学报;2009年11期
6 冯登国,肖国镇;关于高度非线性平衡布尔函数的构造[J];电子学报;1996年04期
7 冯登国,肖国镇;布尔函数的线性结构的特征[J];电子科学学刊;1995年03期
8 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期
9 马凤昌;斯特林公式的一种简易证法及其高精度误差估计公式[J];大学数学;2003年03期
10 裴道武,王三民;形式系统L~*(n)的完备性[J];高校应用数学学报A辑(中文版);2001年03期
中国博士学位论文全文数据库 前2条
1 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
2 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
中国硕士学位论文全文数据库 前1条
1 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期
2 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期
3 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期
4 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期
5 孙长银,宋士吉,费树岷,冯纯伯;模糊推理三I方法的R_L型约束度分析[J];东南大学学报(自然科学版);2000年06期
6 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期
7 汪德刚;谷云东;李洪兴;;模糊模态命题逻辑及其广义重言式[J];电子学报;2007年02期
8 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期
9 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期
10 胡明娣;王国俊;;模糊模态逻辑中的永真式与准永真式[J];电子学报;2009年11期
中国重要会议论文全文数据库 前3条
1 陈国勋;闫家杰;;Fuzzy模态公式的归约[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
2 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
3 洪平洲;黎爱平;;基于Lukasiewicz蕴涵算子的三I FMT算法[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
【相似文献】
中国期刊全文数据库 前10条
1 王国俊;折延宏;;二值命题逻辑中理论的发散性、相容性及其拓扑刻画[J];数学学报;2007年04期
2 龚加安;吴洪博;;乘积代数的性质和度量[J];西安文理学院学报(自然科学版);2009年03期
3 马丽娜;刘烁;王国俊;;命题逻辑系统L_n中公式集上的真度函数[J];计算机工程与应用;2010年36期
4 代建云;吴洪博;;逻辑代数[0,1]上的度量结构[J];计算机工程与应用;2008年02期
5 胡明娣;折延宏;王敏;;L_3~*系统中逻辑度量空间的拓扑性质[J];山东大学学报(理学版);2010年06期
6 胡明娣;王国俊;;经典逻辑度量空间中的模2次范整线性空间结构[J];电子学报;2011年04期
7 王庆平;张兴芳;;Lukasiewicz三值逻辑系统中的随机化研究[J];计算机科学与探索;2009年02期
8 代建云;吴洪博;;[0,1]上的一种逻辑度量结构[J];华中师范大学学报(自然科学版);2008年02期
9 王伟华;吴洪博;;复平面C([0,1])上的逻辑代数及其度量[J];云南师范大学学报(自然科学版);2009年01期
10 高香妮;王国俊;;二值逻辑的D-条件真度理论[J];云南师范大学学报(自然科学版);2009年06期
中国重要会议论文全文数据库 前10条
1 徐扬;;一阶 L 逻辑中的几个结论[A];模糊数学和系统成果会论文集[C];1991年
2 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
3 张金兴;;类推是类比推理吗?[A];1994年逻辑研究专辑[C];1994年
4 谢先仁;;论辩证矛盾和逻辑矛盾的区别及识别[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
5 靳光瑾;;计算机理解汉语需要语法理论支撑[A];语言文字应用研究论文集(Ⅱ)[C];2004年
6 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
7 许梅;曹子宁;;基于谓词μ演算和空间逻辑的模型检测算法研究[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
8 张凤姣;张兴芳;李成允;;Gdel逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年
9 常亮;高申;李德波;古天龙;;基于OBDD的描述逻辑ALCIO判定算法[A];广西计算机学会2010年学术年会论文集[C];2010年
10 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
中国重要报纸全文数据库 前8条
1 臧乐源;提高学生的逻辑素养[N];中国教育报;2000年
2 本报记者 袁跃;遏制国有资产流失“路在何方”[N];财会信报;2005年
3 本报特约记者 何天进 董聚山 通讯员 李祖斌 记者 喻国英;博士参谋砺剑尖兵[N];光明日报;2004年
4 宋俊岭;独处场所——当今城市的缺项[N];中国房地产报;2007年
5 郭珊;假如王小波活到今天[N];南方日报;2007年
6 彭劲荣;法律适用中的解释与推理[N];人民法院报;2007年
7 上海交通大学法学院教授、博士研究生导师 张绍谦;渎职犯罪案件中因果关系的判断[N];检察日报;2009年
8 海路 中央民族大学教育学院;多重视角下的认同概念[N];中国社会科学报;2010年
中国博士学位论文全文数据库 前10条
1 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
2 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年
3 姚绍文;语义化Web的关键技术及其应用研究[D];电子科技大学;2002年
4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
5 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年
6 刘全;基于tableau的自动推理研究[D];吉林大学;2004年
7 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
8 吴平;汉语部分句式的形式语义分析[D];北京语言大学;2005年
9 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院(软件研究所);2005年
10 王馨;基于实时规约的测试预言自动生成技术的研究[D];国防科学技术大学;2005年
中国硕士学位论文全文数据库 前10条
1 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年
2 张红杰;BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论[D];陕西师范大学;2008年
3 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年
4 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年
5 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年
6 张乐;MTL-代数上的度量化研究[D];浙江理工大学;2012年
7 李海亚;n值SMTL系统中命题的∑-([α,β]-真度)理论[D];兰州理工大学;2012年
8 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年
9 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年
10 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026