收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于格值一阶逻辑系统的不确定性推理及其应用研究

常之艳  
【摘要】: 不确定性推理是人工智能研究领域的关键问题之一.基于逻辑系统研究推理是一种科学的研究方法.现实生活中人们大都习惯用[0,1]上的值或自然语言描述不确定性,并在不确定性的环境中进行推理,进一步基于此进行判断与决策,所以研究[0,1]和语言真值上的不确定性推理成了引人关注的研究领域. 本文基于国内外相关研究成果,对基于格值一阶逻辑系统的不确定性推理的理论和方法及其在模糊推理、语言值推理和多属性群决策上的应用进行了较系统和深入的研究,并取得了如下四个方面的研究成果: 一、关于语言真值格蕴涵代数的结构的研究 1.定义了格蕴涵代数中加(乘)既约元及元素的不可约有限加(乘)分解; 2.给出了语言真值格蕴涵代数的加(乘、并、交)既约元及元素的不可约有限加(乘、并、交)分解; 3.给出了几种特殊类型的语言真值格蕴涵代数方程的解法. 二、关于基于格值一阶逻辑系统Lvfl的不确定性推理的理论研究 1.针对一些有代表性的单输入单输出推理模型,给出了推理模型中推理规则的前件、后件以及新信息在一定程度上相容的一些条件,并证明了所给条件的合理性; 2.针对一些有代表性的实用的单输入单输出推理模型,给出了基于格值一阶逻辑系统Lvfl的不确定性推理过程中推理参量的一些选取规则以及推理结果既有合理的逻辑语义解释又有严密的逻辑语法论证的一些条件. 三、关于基于Lukasiewicz一阶逻辑系统Luf的不确定性推理及其应用的研究 将基于(?)ukasiewicz一阶逻辑系统Luf的不确定性推理应用在模糊推理中,使模糊推理结果在(?)ukasiewicz一阶逻辑系统Luf中既有合理的逻辑语义解释又有严密的逻辑语法论证. 四、关于基于格值一阶逻辑系统Lvfl的语言真值不确定性推理及其应用的研究 1.提出了基于格值一阶逻辑系统Lvfl的语言真值不确定性推理方法,并将其应用在日常生活中人们经常遇到的用语言表述的推理问题中,使推理过程和推理结果都有严格的逻辑基础; 2.针对具有相同权重和不同权重的多属性群决策问题,给出具体的决策方法,使决策建立在严格的逻辑基础之上.


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 朱虎,冯海英;石英水平摆式倾斜仪的格值常数测定[J];地震学报;1980年03期
2 朱淑霞;CG-2型重力仪格值变化对流动重力段差测量值的影响[J];大地测量与地球动力学;1982年04期
3 贺鹏飞,蒋幼华,鲁家珍,舒而刚;石英弹簧重力仪格值的温度改正方法及应用效果[J];大地测量与地球动力学;1985年02期
4 沈博;王宝仁;;石英弹簧重力仪的倾斜标定法[J];石油仪器;1991年01期
5 肖安家 ,魏荣发;用康姆斯托克法测定精密天文大地测量仪器的水准器格值的试验[J];测绘通报;1964年11期
6 石冰;;格值测度和格值积分[J];太原科技大学学报;1993年03期
7 郭春香;郭耀煌;;展望空间上的一种格序决策方法[J];系统工程;2006年02期
8 刘宗林;;水准器的灵敏度及其影响因素[J];科学技术与工程;2011年10期
9 吴炜;;磁秤格值干扰因素初探[J];地震地磁观测与研究;1986年02期
10 成央金;De.Morgan函数简化的转移定理[J];湘潭大学自然科学学报;1995年03期
11 ;张广全教授[J];河北大学学报(自然科学版);1996年01期
12 孙中苗;李迎春;张松堂;王应建;;LaCoste&Romberg航空重力仪的格值标定[J];大地测量与地球动力学;2008年02期
13 傅维珊;按“康司托克法”测定水准器格值的几点体会[J];测绘通报;1965年10期
14 沈云付;格值模型论的双基数定理和强降L-S-T定理[J];数学学报;1987年06期
15 李永明;格值下半连续函数的几个问题[J];科学通报;1991年20期
16 刘亚民,刘庆;如何利用试验数据确定产品质量与规格相符性的建议[J];实用测试技术;2000年05期
17 何平安;邱士忠;唐小莉;;随机HOUGH变换在圆水准器检测中的应用[J];地理空间信息;2006年04期
18 刘序俨;李军;郑小菁;王林;;福建井水位对汶川大震体应变的响应[J];大地测量与地球动力学;2009年03期
19 潘小东;;程度化的格值一阶逻辑及不确定性推理研究[J];学术动态;2011年01期
20 郑香媛,朱玉山;地磁格值仪的温度效应及校正[J];地震;1981年04期
中国重要会议论文全文数据库 前10条
1 刘龙章;费忠华;;关于格值模的若干结果[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
2 刘壮虎;;复合谓词的逻辑系统[A];2000年逻辑研究专辑[C];2000年
3 刘新文;;一阶逻辑函数完备性和逻辑常项问题[A];科学发展:社会管理与社会和谐——2011学术前沿论丛(上)[C];2011年
4 张维真;;试论“基数量词”[A];1993年逻辑研究专辑[C];1993年
5 黄华新;胡龙彪;;逻辑的内在机制与研究对象——兼评《逻辑的观念》[A];2001年逻辑研究专辑[C];2001年
6 叶娜;罗海涛;朱靖波;张斌;;基于归纳逻辑编程的多槽信息抽取规则自动学习方法[A];全国第八届计算语言学联合学术会议(JSCL-2005)论文集[C];2005年
7 刘壮虎;;几类性质词的逻辑特征[A];第二届中国南北哲学论坛暨“哲学的当代意义”学术研讨会论文集[C];2005年
8 李小五;;协调性质与无穷逻辑几个公理化系统的完全性[A];1993年逻辑研究专辑[C];1993年
9 王学刚;;量词与字母[A];1993年逻辑研究专辑[C];1993年
10 陈慕泽;;词项周延性的一阶语言定义[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
中国博士学位论文全文数据库 前10条
1 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
2 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
3 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
4 常之艳;基于格值一阶逻辑系统的不确定性推理及其应用研究[D];西南交通大学;2010年
5 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年
6 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
7 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
8 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
9 张杰;格值Smooth拓扑分子格范畴与L-拓扑空间中若干问题的研究[D];首都师范大学;2002年
10 杨丽;基于格蕴涵代数的格值概念格及其不确定性推理与决策研究[D];西南交通大学;2010年
中国硕士学位论文全文数据库 前10条
1 吴静杰;下推格值自动机与模糊系统[D];陕西师范大学;2004年
2 李苏妮;加权Moore机的同余与格值Moore机的约化[D];陕西师范大学;2011年
3 李海波;语言游戏论与自然语言量化结构[D];中国海洋大学;2004年
4 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年
5 马吉纯;基于Web服务的定性空间关系分析组件及应用[D];吉林大学;2007年
6 张超;安全协议攻击序列重构技术研究[D];解放军信息工程大学;2008年
7 张坤;两类格值有限自动机的性质及其最小化问题[D];四川师范大学;2012年
8 盛莉;格值文法及其语言[D];陕西师范大学;2005年
9 郭方芳;不确定推理规则确定度的研究[D];辽宁师范大学;2001年
10 陈波;不同值域格值拓扑空间的乘积问题[D];四川大学;2004年
中国重要报纸全文数据库 前10条
1 崔怀斌 江致礼 靳国立;恪尽职守确保“两会”安全[N];人民武警;2003年
2 周慧敏 骆丹君;富润集团“非典”时期非常对策[N];中国企业报;2003年
3 王宁(作者系中山大学社会学系消费者研究工作室教授、博导,英国谢菲尔德大学博士);消费值标准提高改变消费行为[N];南方日报;2004年
4 樊晓晋;神一聚力凝神保“两节”发电[N];华北电力报;2004年
5 祁晓玲;帕拉丁上市 打造中国SUV第一品牌[N];中国工业报;2003年
6 马文宽 余庆锋;棉花期价走高凸显供需矛盾[N];国际商报;2005年
7 记者 刘茜;进一步加强学校安全工作[N];光明日报;2004年
8 本报记者 邵文杰;学生、民工专列:铁路的人文关怀[N];光明日报;2005年
9 郭津;棉农可利用期货市场来赚钱[N];河南日报;2005年
10 本报记者楚益祥、通讯员仲其宽;对以“抗非典”名义违法经营者严惩不贷[N];市场报;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978