收藏本站
《西南交通大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

基于格蕴涵代数的格值一阶逻辑L_(vfl)中的不确定性推理研究

陈树伟  
【摘要】:不确定性推理是人工智能研究领域中一个重要的研究方向,在逻辑的框架下研究不确定性推理是一种科学的研究方法。格值逻辑是一种重要的非经典逻辑,它不仅能刻画全序性信息,而且还能刻画非全序(即不可比较)的不确定性信息。本文基于国内外相关研究成果,对格蕴涵代数及以格蕴涵代数为真值域的格值一阶逻辑系统中的不确定性推理方法进行了深入系统的研究,主要取得了如下研究成果: 一、关于格蕴涵代数的研究 1.证明了乘积格蕴涵代数的LI-理想与各分量格蕴涵代数的LI-理想的乘积是一一对应的,而乘积格蕴涵代数的子代数除包括各分量格蕴涵代数的子代数的乘积外,还有其他形式(链型); 2.提出了格蕴涵代数中正规模糊滤子的概念,讨论了它的一些性质。提出了极大模糊滤子和完全正规模糊滤子的概念,证明了格蕴涵代数中的每个极大模糊滤子都是完全正规的; 3.提出了格蕴涵代数中直觉模糊滤子的概念,讨论了它的一些性质。提出了直觉模糊格对偶理想的概念,证明了每个直觉模糊滤子都是直觉模糊格对偶理想; 4.证明了格蕴涵代数的真LI-理想关于运算→,l是不封闭的。将格蕴涵代数中全体LI-理想构成一个拓扑空间,并讨论了其拓扑性质,如可分离性、紧致性和连通性等。证明了两个格蕴涵代数各自LI-理想空间的乘积拓扑与这两个格蕴涵代数的乘积格蕴涵代数的LI-理想拓扑是一致的。 二、关于格值一阶逻辑L_(vfl)中不确定性推理的研究 1.提出了一种基于格值一阶逻辑系统L_(vfl)的多重多维不确定性推理理论和方法。这种不确定性推理方法既有合理的语义解释,又有严格的语法论证。定义了推理规则在格值一阶逻辑系统L_(vfl)中的可表示性及推理模型在格值一阶逻辑系统L_(vfl)中的正则性,并给出了一些使推理模型满足可表示性及正则性的条件; 2.基于几类典型的不确定性推理模型,给出了基于格值一阶逻辑系统L_(uf)的不确定性推理方法中推理参量的一些具体选取规则; 3.基于几类典型的不确定性推理模型,给出了基于格值一阶逻辑系统L_(5f)的不确定性推理方法中推理参量的一些具体选取规则; 4.基于几类典型的不确定性推理模型,给出了基于格值一阶逻辑系统L_(6f)的不确定性推理方法中推理参量的一些具体选取规则; 5.基于几类典型的不确定性推理模型,给出了基于格值一阶逻辑系统L_(2nf)
【学位授予单位】:西南交通大学
【学位级别】:博士
【学位授予年份】:2006
【分类号】:O153.1;TP183

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 白利军;;格蕴涵代数的对偶性质[J];宜宾学院学报;2011年06期
中国博士学位论文全文数据库 前3条
1 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
2 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年
3 常之艳;基于格值一阶逻辑系统的不确定性推理及其应用研究[D];西南交通大学;2010年
中国硕士学位论文全文数据库 前5条
1 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年
2 吴明慧;关于格蕴涵代数及其子结构的研究[D];西南交通大学;2011年
3 白利军;格蕴涵代数与相关逻辑代数关系的研究[D];西南交通大学;2007年
4 郭玲;格蕴涵代数及生成滤子结构研究[D];西南交通大学;2011年
5 吕瑞娟;格蕴涵代数及其特殊滤子研究[D];西南交通大学;2012年
【参考文献】
中国期刊全文数据库 前10条
1 朱怡权,李峥嵘;关于格蕴涵代数[J];黄冈师专学报;1997年04期
2 徐扬;秦克云;;格H蕴涵代数与格蕴涵代数类[J];河北煤炭建筑工程学院学报;1992年03期
3 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期
4 王国俊;三I方法与区间值模糊推理[J];中国科学E辑:技术科学;2000年04期
5 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑:技术科学;2002年02期
6 刘叙华;狭义模糊逻辑中的锁语义归结原理[J];吉林大学自然科学学报;1980年04期
7 刘叙华;广义模糊逻辑和锁语义归结原理[J];计算机学报;1980年02期
8 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期
9 刘军,徐扬;格蕴涵代数的滤子与结构[J];科学通报;1997年10期
10 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期
中国博士学位论文全文数据库 前3条
1 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
2 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
3 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
【共引文献】
中国期刊全文数据库 前10条
1 李秀敏;论亚相容逻辑中的“矛盾”——达科斯塔的亚相容逻辑思想述评[J];安徽大学学报;2005年01期
2 赵海燕;傅珺;;基于灰色模糊理论大型商场火灾风险可靠性的评价研究[J];安防科技;2009年04期
3 何进波;;高校科技创安资源有机整合与可持续发展研究[J];安防科技;2010年01期
4 方天申;弦n维振动的模糊关系矩阵描述方法[J];安徽大学学报(自然科学版);2005年03期
5 李鸿;;基于粒集的概念粒系统[J];安徽大学学报(自然科学版);2009年06期
6 周保平;陈立平;;新疆南疆棉花高效生产综合决策支持系统研究[J];安徽农业科学;2009年28期
7 王瑞梅;傅泽田;何有缘;;池塘淡水养殖水质模糊综合评价系统的设计与实现[J];安徽农业科学;2010年32期
8 刘曼红;于洪贤;刘其根;王瑞梅;;淡水养殖池塘水质评价指标体系研究[J];安徽农业科学;2011年24期
9 付洁;李有为;;论服装设计中的模糊性表现[J];安徽文学(下半月);2010年06期
10 马征杰;大学生思想品德定量评价体系设计与程序[J];安康师专学报;2001年04期
中国重要会议论文全文数据库 前10条
1 王小方;吴敏;欧阳丽玉;唐青松;;一种GA-PID算法及其在DC-DC转换器中的应用[A];第二十九届中国控制会议论文集[C];2010年
2 梁伟;张来斌;万波;;基于改进多级可拓评价模型的输油泵机组安全评价[A];中国职业安全健康协会2009年学术年会论文集[C];2009年
3 张乐媛;刘伟;;基于web数据挖掘的几种模糊聚类算法浅析[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
4 胡秦斌;钟诚;李广原;;基于区间数的模糊综合评价决策模型[A];广西计算机学会2007年年会论文集[C];2007年
5 张春娥;李国昌;;智能Agent在冷弯成形过程中的应用研究[A];2007年河北省电子学会、河北省计算机学会、河北省自动化学会、河北省人工智能学会、河北省计算机辅助设计研究会、河北省软件行业协会联合学术年会论文集[C];2007年
6 万波;李明亮;杨清峡;;基于改进多级可拓评价模型的旋转设备安全评价[A];第十五届中国海洋(岸)工程学术讨论会论文集(上)[C];2011年
7 宋士吉;冯纯伯;费树岷;孙长银;;模糊推理的Zadeh型全蕴涵三Ⅰ算法[A];第十九届中国控制会议论文集(一)[C];2000年
8 樊铁成;马孜;罗勋杰;;Pareto遗传算法在集装箱配载优化中的应用[A];第二十四届中国控制会议论文集(下册)[C];2005年
9 杜静;杨灿群;敖富江;;编译指导的构件并行技术[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
10 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 闫培雷;考虑隔墙影响的框架结构非线性地震反应分析及地震灾场模拟[D];哈尔滨工程大学;2010年
2 刘营;雷达图像编码器的并行处理研究与实现[D];哈尔滨工程大学;2009年
3 高晓阳;甘肃河西大麦麦芽干燥控制系统研究[D];甘肃农业大学;2010年
4 吴德烽;计算智能在三维表面扫描机器人系统中的应用研究[D];大连海事大学;2010年
5 郭建胜;效应代数及伪BL-代数结构的研究[D];陕西师范大学;2010年
6 李欣;应急案例知识库系统及其应用关键技术研究[D];解放军信息工程大学;2010年
7 李熹平;快速热循环注塑模具及工艺关键技术研究[D];山东大学;2010年
8 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年
9 张晓辉;云理论和数据挖掘在水上安全分析中的应用[D];大连海事大学;2011年
10 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年
中国硕士学位论文全文数据库 前10条
1 年军艳;普适计算下的上下文感知计算若干关键技术研究[D];安徽工程大学;2010年
2 段守军;煤炭资源潜力评价研究[D];河南理工大学;2010年
3 王焯;基于模糊理论的尾矿坝安全现状综合评价[D];山东科技大学;2010年
4 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年
5 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年
6 尹霞;汽车动态称重数据预处理及模糊补偿算法设计[D];郑州大学;2009年
7 刘琪;正态云模型模糊推理系统及其应用研究[D];郑州大学;2010年
8 杨巍巍;网络考试系统中关键技术的研究与应用[D];哈尔滨工程大学;2010年
9 王丹丹;救助船相对受援船动力定位方法研究[D];哈尔滨工程大学;2010年
10 马妍;基于多波束测量数据的海底地形可导航性分析[D];哈尔滨工程大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期
2 汪培庄;张洪敏;;真值流推理及其动态分析[J];北京师范大学学报(自然科学版);1989年01期
3 李道国,苗夺谦,张红云;粒度计算的理论、模型与方法[J];复旦学报(自然科学版);2004年05期
4 王国俊;关于模糊推理的若干基本问题[J];工程数学学报;2000年S1期
5 刘用麟;张小红;;伪NM代数及其性质[J];工程数学学报;2006年04期
6 施明辉;周昌乐;;一种用ANN实现带权不确定性推理的方法[J];哈尔滨工业大学学报;2007年09期
7 朱怡权,曹喜望;格蕴涵代数的一个简化公理系[J];黄冈师范学院学报;2000年03期
8 徐扬;秦克云;;格H蕴涵代数与格蕴涵代数类[J];河北煤炭建筑工程学院学报;1992年03期
9 李未;一个开放的逻辑系统[J];中国科学(A辑 数学 物理学 天文学 技术科学);1992年10期
10 李洪兴;模糊控制的插值机理[J];中国科学E辑:技术科学;1998年03期
中国博士学位论文全文数据库 前10条
1 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
2 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年
3 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
4 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
5 刘用麟;若干逻辑代数系统结构的研究[D];西安电子科技大学;2005年
6 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年
7 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年
8 周湘南;与剩余格相关的几类逻辑代数系统的研究[D];湖南大学;2008年
9 李晓冰;基于语言真值格值逻辑的归结自动推理研究[D];西南交通大学;2008年
10 常之艳;基于格值一阶逻辑系统的不确定性推理及其应用研究[D];西南交通大学;2010年
中国硕士学位论文全文数据库 前10条
1 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年
2 吴明慧;关于格蕴涵代数及其子结构的研究[D];西南交通大学;2011年
3 苏忍锁;剩余格与基于剩余格的几类代数系统的关系[D];陕西师范大学;2004年
4 潘小东;关于格蕴涵代数方程的研究[D];西南交通大学;2005年
5 朱华;格蕴涵代数中滤子和理想的研究[D];西南交通大学;2005年
6 罗清君;IL型三I算法及其还原性和R_0代数中的滤子格[D];陕西师范大学;2006年
7 李兴宽;BCK代数与De Morgan等代数的关系研究[D];昆明理工大学;2006年
8 龙希庆;格蕴涵代数中a-化子和不等式的研究[D];西南交通大学;2007年
9 李岩;BCK-代数,剩余格,BR_0-代数之间关系和反向三I算法的若干研究[D];陕西师范大学;2007年
10 白利军;格蕴涵代数与相关逻辑代数关系的研究[D];西南交通大学;2007年
【二级引证文献】
中国期刊全文数据库 前3条
1 杜绍坤;;格蕴涵代数与R_0代数的关系[J];毕节学院学报;2013年08期
2 龙希庆;;带蕴涵算子的N元格蕴涵代数不等式的解[J];宜宾学院学报;2012年06期
3 龙希庆;;N元格蕴涵代数不等式的解~* I[J];宜宾学院学报;2012年06期
中国博士学位论文全文数据库 前2条
1 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
2 常之艳;基于格值一阶逻辑系统的不确定性推理及其应用研究[D];西南交通大学;2010年
中国硕士学位论文全文数据库 前4条
1 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年
2 李骁宇;智能家居服务机器人记忆库的设计与实现[D];哈尔滨工业大学;2010年
3 郭玲;格蕴涵代数及生成滤子结构研究[D];西南交通大学;2011年
4 吕瑞娟;格蕴涵代数及其特殊滤子研究[D];西南交通大学;2012年
【二级参考文献】
中国期刊全文数据库 前10条
1 王捍贫,谢惠扬;(Q)格值模型的省略型定理[J];北京大学学报(自然科学版);1999年03期
2 王世强;;格值模型论中紧致性定理的一种证法[J];北京师范大学学报(自然科学版);1980年Z1期
3 张玉平;;研究格值模型论的一种新方法[J];北京师范大学学报(自然科学版);1992年04期
4 沈云付;两个初等等价的不同构的有限格值模型[J];北京师范大学学报(自然科学版);1994年03期
5 沈继忠;基于逻辑上的群的同态[J];江西师范大学学报(自然科学版);2002年01期
6 谢惠扬,王捍贫;(Q)格值模型的超积基本定理[J];工科数学;1995年04期
7 朱怡权,李峥嵘;关于格蕴涵代数[J];黄冈师专学报;1997年04期
8 徐扬;秦克云;;格H蕴涵代数与格蕴涵代数类[J];河北煤炭建筑工程学院学报;1992年03期
9 陆汝钤;强有序输入消解原理[J];中国科学;1981年08期
10 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期
中国博士学位论文全文数据库 前1条
1 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年
【相似文献】
中国期刊全文数据库 前10条
1 陈荣丽;;浅谈DS理论的计算机模拟[J];价值工程;2010年36期
2 刘云丰,陈洪,刘忠,史光亚;智能数学:内容、方法及意义[J];自然杂志;1987年04期
3 戴建设,王书宁,傅诒辉;不确定性管理中若干问题的研究[J];华中理工大学学报;1994年08期
4 廖元秀,罗旭东;基于概率的不确定推理集成模型[J];广西师范大学学报(自然科学版);1995年02期
5 潘小东;;程度化的格值一阶逻辑及不确定性推理研究[J];学术动态;2011年01期
6 董春游;潘道华;;基于确定因子的不确定性推理的仿真实现[J];计算机仿真;2009年09期
7 杨武金;刘东东;;非单调逻辑:困境与出路[J];毕节学院学报;2007年05期
8 赵克勤;;集对分析的不确定性系统理论在AⅠ中的应用[J];智能系统学报;2006年02期
9 ;专家系统、人工智能[J];电子科技文摘;2001年05期
10 马建红,程凤娟,卫权岗,尹辉;一种基于关系型数据库的专家系统设计方法[J];郑州工业高等专科学校学报;2004年01期
中国重要会议论文全文数据库 前10条
1 丁政建;陈希平;;一种非精确性推理规则与推理控制策略[A];1996年中国智能自动化学术会议论文集(上册)[C];1996年
2 张真;竺乐庆;王鸿斌;孔祥波;张培毅;;人工智能技术在森林保护中的应用[A];第三届中国森林保护学术大会论文摘要集[C];2010年
3 于洁;孙庚山;;仿人智能控制在型煤压力控制系统中的应用仿真研究[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集(上册)[C];1995年
4 张强;;以校园网为平台充分发挥计算机作为知识载体的作用[A];教育技术:信息化阶段新发展的研究[C];2007年
5 葛新峰;徐广文;周叶;唐澍;;水电机组故障智能诊断研究综述[A];水电设备的研究与实践——第十七次中国水电设备学术讨论会论文集[C];2009年
6 刘永清;刘泉宝;;关于知识表示的思考[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集(上册)[C];1995年
7 袁正午;汤井田;;智能自动电法观测系统研究[A];第二十届中国控制会议论文集(下)[C];2001年
8 丁德路;姜云飞;;智能规划及其应用研究[A];2001年中国智能自动化会议论文集(下册)[C];2001年
9 谢立强;王雪;谢志江;;组态式在线监测与故障诊断系统的研究[A];设备监测与诊断技术及其应用——第十二届全国设备监测与诊断学术会议论文集[C];2005年
10 柳志军;涂亚庆;;智能控制与人工智能的特点及关系探讨[A];1996年中国智能自动化学术会议论文集(上册)[C];1996年
中国重要报纸全文数据库 前10条
1 本报记者 张巍巍;史话:打响“第一枪”[N];科技日报;2009年
2 本报记者 张颍;AI,人类,2045[N];华夏时报;2011年
3 叶柳青;潘云鹤:与人工智能的不解之缘[N];江苏科技报;2008年
4 本报记者 韩霁;“人工智能”运用领域越来越宽[N];经济日报;2007年
5 杨峥;华 硕 人工智能引领主板新时尚[N];中国电脑教育报;2004年
6 记者 张宪;人工智能何时最终模拟人脑[N];工人日报;2006年
7 记者 何鑫 通讯员 张燕霖;高交会“中国象棋人机大战”今开战[N];深圳商报;2009年
8 吴成良;“机器人科学家”上岗[N];人民日报;2010年
9 本报驻多伦多记者王心见;让我做你的好帮手[N];科技日报;2002年
10 赵南元;人工智能:哲学的困境?[N];中华读书报;2002年
中国博士学位论文全文数据库 前10条
1 陈树伟;基于格蕴涵代数的格值一阶逻辑L_(vfl)中的不确定性推理研究[D];西南交通大学;2006年
2 潘小东;关于格值逻辑及其语言真值不确定性推理研究[D];西南交通大学;2010年
3 霍利民;基于贝叶斯网络的电力系统可靠性评估[D];华北电力大学(河北);2005年
4 潘文杰;基于人工神经网络技术的烤烟重金属积累特征研究[D];西南大学;2006年
5 王刚;混合智能系统及其在商务智能中的应用研究[D];复旦大学;2008年
6 王洪春;基于因果图的不确定性推理理论及算法研究[D];重庆大学;2005年
7 沈文武;因果图推理算法及专家系统应用研究[D];重庆大学;2005年
8 刘孟祥;三效催化转化器高效长寿低排放优化设计理论及方法研究[D];湖南大学;2008年
9 仝秋红;基于智能技术的内燃机油添加剂优选及配伍研究[D];长安大学;2004年
10 朱名日;地球物理场对磁敏式传感器影响及其应用研究[D];中南大学;2004年
中国硕士学位论文全文数据库 前10条
1 潘道华;基于计算机模拟的不确定性推理研究[D];黑龙江科技学院;2009年
2 宁惠刚;基于单片机的作物营养诊断专家系统的研究[D];山西农业大学;2005年
3 叶育鑫;确定性理论模型方法的改进研究[D];东北师范大学;2006年
4 路阳;信息Agent适应性实现技术研究[D];大庆石油学院;2005年
5 段国强;智能水下机器人(AUV)自救模糊专家系统仿真研究[D];华中科技大学;2005年
6 党兰学;汉字语法语义智能输入法总体设计与部分实现[D];河南大学;2006年
7 马会;基于遗传算法的智能组卷系统的研究与实现[D];沈阳工业大学;2009年
8 霍再林;基于人工智能的参考作物腾发量与作物水盐响应研究[D];内蒙古农业大学;2004年
9 张前哨;基于A*算法的地图寻径的研究[D];武汉科技大学;2005年
10 汤晓凌;集合论等式型定理机器证明系统的研究与开发[D];华东师范大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026