命题逻辑的随机真度理论及其应用

发布时间：2017-10-06 15:29

  本文关键词：命题逻辑的随机真度理论及其应用

  更多相关文章： 命题逻辑 随机真度 随机相似度 随机逻辑伪距离空间 近似推理

【摘要】：引入命题逻辑公式的基于随机变量序列的随机真度概念,并说明其是已有文献中各种真度概念的共同一般化,证明全体公式的随机真度之集在[0,1]中没有孤立点.利用随机真度定义公式间的随机相似度,进而导出全体公式集上的一种伪距离——随机逻辑伪距离,证明在随机逻辑伪距离空间没有孤立点.指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用概率论中的积分收敛定理,证明一个关于真度的极限定理,该定理沟通了已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广到多值命题逻辑.在随机逻辑伪距离空间中提出两种不同类型的近似推理模式.
【作者单位】： 湘南学院计算机科学系;湘南学院数学系;
【关键词】： 命题逻辑 随机真度 随机相似度 随机逻辑伪距离空间 近似推理
【基金】：湖南省重点建设学科项目 湖南省教育厅科学研究项目(No.11C1176)资助
【分类号】：O141.1;TP18
【正文快照】： 1引言精确的、形式化的逻辑推理是人工智能学科及相关研究中普遍采用的方法,并在人工智能及其相关领域得到广泛应用[1-3].但由于人脑的思维和推理模式带有不确定性,导致推理不是精确的而只是近似的.因此,研究近似推理机制,寻求各种近似推理方法已成为人工智能学科研究的一个

【参考文献】

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

1 王国俊,王伟;逻辑度量空间[J];数学学报;2001年01期

【共引文献】

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

1 王国俊;段巧林;;模态逻辑中的(n)真度理论与和谐定理[J];中国科学（F辑:信息科学）;2009年02期

2 王国俊;;一类一阶逻辑公式中的公理化真度理论及其应用[J];中国科学:信息科学;2012年05期

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

4 王廷明;;基于标准化表示的命题逻辑公式的D-随机真度[J];中国海洋大学学报(自然科学版);2009年01期

5 王廷明;王爱青;;二值命题逻辑中伪距离的真度表示及其应用[J];青岛理工大学学报;2008年03期

6 王廷明;王爱青;;二值命题逻辑中基于前提信息的Г-真度理论[J];青岛理工大学学报;2008年04期

7 王廷明;王爱青;;二值命题逻辑中的伪距离不等式与近似推理[J];青岛理工大学学报;2009年03期

8 亓正坤;王廷明;;关于主范式的下标集合及其应用[J];青岛理工大学学报;2009年04期

9 曹子宁,董红斌,石纯一;多Agent信念逻辑及其在概率意义下的推广[J];软件学报;2001年09期

10 徐蔚鸿,谢中科,杨静宇,叶有培;两类模糊推理算法的连续性和逼近性[J];软件学报;2004年10期

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

1 宋士吉;冯纯伯;费树岷;孙长银;;模糊推理的Zadeh型全蕴涵三Ⅰ算法[A];第十九届中国控制会议论文集（一）[C];2000年

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

3 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

4 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

5 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

6 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年

7 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

8 唐益明;路强;刘晓平;;基于三I方法或CRI方法的模糊系统及其响应性能[A];全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）[C];2009年

9 黄丽;李中夫;;基于三/算法的多规则模糊推理[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

10 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

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

1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年

2 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年

3 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

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

5 曾水玲;训练模式的不确定性对模糊系统的影响[D];南京理工大学;2011年

6 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

7 郑爱红;80MN钛合金锻造液压机的建模与控制[D];天津大学;2012年

8 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年

9 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

10 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

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

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年

2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年

3 刘琪;正态云模型模糊推理系统及其应用研究[D];郑州大学;2010年

4 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年

5 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年

6 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年

7 张丽珍;基于中介逻辑的模糊信息处理的研究[D];江南大学;2010年

8 赵力;模糊推理的三Ⅰ算法研究[D];山东大学;2010年

9 李静;基于B样条隶属函数的模糊推理算法研究[D];合肥工业大学;2011年

10 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

【二级参考文献】

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

1 裴道武;多值逻辑系统中的子代数与广义重言式[J];陕西师范大学学报(自然科学版);2000年02期

2 王国俊;广义MP规则[J];陕西师范大学学报(自然科学版);2000年03期

3 王国俊,秦晓燕,周湘南;一类二值谓词逻辑中公式的准真度理论[J];陕西师范大学学报(自然科学版);2005年01期

4 王伟,王国俊;伪度量L~*-Lindenbaum代数中基本运算的连续性[J];陕西师范大学学报(自然科学版);2005年02期

5 韩诚,周红军;关于形式系统L~*(强)完备性证明的注记[J];陕西师范大学学报(自然科学版);2005年02期

6 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

7 王国俊,王伟;逻辑度量空间[J];数学学报;2001年01期

8 李骏,黎锁平,夏亚峰;Lukasiewicz n值命题逻辑中命题的真度理论[J];数学学报;2004年04期

【相似文献】

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

1 崔美华;;逻辑系统L_3中公式的随机真度及近似推理[J];高校应用数学学报A辑;2010年04期

2 惠小静;常健;;关于随机真度的若干注记[J];模糊系统与数学;2009年06期

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

4 秦克云，，徐扬，宋振明;基于系统L(X)的几种近似推理[J];模糊系统与数学;1998年02期

5 左卫兵;;一种非均匀概率空间下二值命题逻辑中命题的真度理论[J];河北师范大学学报(自然科学版);2008年01期

6 左卫兵;;n值命题逻辑中的P-随机真度及近似推理[J];计算机工程与应用;2009年07期

7 关晓红;李骏;;ヒukasiewicz三值命题逻辑中公式的可靠真度理论[J];河南科技大学学报(自然科学版);2009年02期

8 李骏,黎锁平,夏亚峰;Lukasiewicz n值命题逻辑中命题的真度理论[J];数学学报;2004年04期

9 李骏,兰倩,黎锁平;Lukasiewicz三值命题逻辑中命题的真度理论[J];模糊系统与数学;2004年04期

10 李骏;王国俊;周艳;;n值逻辑系统MTL_n中命题的程度化方法[J];计算机工程与应用;2007年21期

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

1 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

2 程里春;;近似推理的几个定理[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

3 徐扬;;基于格值命题逻辑L_(vpl)的近似推理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

4 任平;喻东;黄颖强;;近似推理模式的行为科学研究[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

5 张永清;;准优模糊蕴涵与近似推理[A];数学及其应用文集——中南模糊数学和系统分会第三届年会论文集（上卷）[C];1995年

6 徐扬;;格值命题逻辑公式及其L真(假)性[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

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

8 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年

9 陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

10 任燕;王洪丽;鲁忠良;;模糊逻辑的紧致性与模糊理论相容度[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

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

1 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

2 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

3 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

4 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

5 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

6 覃锋;模糊逻辑中若干问题的研究[D];四川大学;2004年

7 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

8 林琳;直觉模糊集在近似推理与决策中的应用[D];大连理工大学;2006年

9 潘小东;关于格值逻辑及其语言真值不确定性推理研究[D];西南交通大学;2010年

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

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

1 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

2 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

3 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

4 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

5 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

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

7 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年

8 茹永梅;经典逻辑系统（？）中的MT问题及公式的真度理论[D];陕西师范大学;2006年

9 李海亚;n值SMTL系统中命题的∑-（[α，β]-真度）理论[D];兰州理工大学;2012年

10 谢晶晶;L_n系统和L_n*系统中的真度理论[D];陕西师范大学;2012年

本文编号：983531