Godel n值命题逻辑中公式的随机真度和形式推演结论的不可靠度估计

发布时间：2017-08-23 12:15

  本文关键词：Godel n值命题逻辑中公式的随机真度和形式推演结论的不可靠度估计

  更多相关文章： Godel n值逻辑系统 随机真度 不可靠度 必要度 伪距离 近似推理

【摘要】：利用Godel n值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念。证明在Godeln值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。通过不可靠度在全体公式集上建立伪距离,给出基于伪距离和不可靠度的两种近似推理模式。
【作者单位】： 湘南学院数学系;
【关键词】： Godel n值逻辑系统 随机真度 不可靠度 必要度 伪距离 近似推理
【基金】：湖南省重点建设学科项目 湖南省教育厅科学研究项目(10C1232) 湘南学院科研项目(08Y027)
【分类号】：O141.1
【正文快照】： 1引言数理逻辑是以符号化为特点的形式化理论,它注重形式推理而不注重数值计算。精确的、形式化的逻辑推理是人工智能学科及相关研究中普遍采用的方法[1],这种方法在诸如定理的自动证明[2-3]、知识推理[4]、逻辑程序设计[5]等多个领域得到了广泛应用。数值计算则似乎是远离形

【参考文献】

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

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

2 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学A辑;2001年11期

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

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

5 李骏;王国俊;;G銉del n值命题逻辑中命题的α-真度理论[J];软件学报;2007年01期

【共引文献】

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

1 程玉胜,任广永;基于ROUGH集的决策树测试属性选择方法[J];安庆师范学院学报(自然科学版);2004年04期

2 程玉胜;Rosetta实验系统在机器学习中的应用[J];安庆师范学院学报(自然科学版);2005年02期

3 金纯;浅谈计算机自然语言理解[J];浙江中医学院学报;2005年03期

4 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

5 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

6 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

7 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

8 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期

9 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

10 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

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

1 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

2 郭大蕾;车辆悬架振动的神经网络半主动控制[D];南京航空航天大学;2002年

3 彭水生;轮机模拟器6S60MC柴油主机仿真系统与故障模拟[D];大连海事大学;2000年

4 陆能枝;核应急决策支持系统的框架结构及模糊决策方法在评估子系统的应用[D];中国原子能科学研究院;2001年

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

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

7 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

8 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

9 王拥军;需求工程中的不确定性研究[D];西北工业大学;2002年

10 蒲莹;汽轮发电机故障在线综合诊断系统的研究[D];华北电力（北京）大学;2001年

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

1 韩军;原木体积自动测量的计算机视觉系统的研究[D];天津轻工业学院;2000年

2 董法军;基于超媒体的智能教学系统的研究与开发[D];华北工学院;2000年

3 李雪峰;数据库中的知识发现[D];辽宁工程技术大学;2001年

4 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

5 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

6 李林;三种认知语言观与外语教学研究[D];陕西师范大学;2001年

7 张亮;决策支持系统中数据仓库及数据挖掘的研究与应用[D];甘肃工业大学;2001年

8 贾自艳;中文智能搜索引擎关键技术研究[D];北京工业大学;2001年

9 赵延涛;基于BP神经网络的城市地下水水位预测[D];郑州大学;2001年

10 李向宁;数据挖掘技术在产品设计中的应用[D];西安电子科技大学;2002年

【二级参考文献】

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

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

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

3 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学A辑;2001年11期

4 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

5 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

6 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑;2002年01期

7 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑;2002年02期

8 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑;2002年02期

9 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑;2003年04期

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

【相似文献】

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

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

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

，

本文编号：724992