基于语言真值格值逻辑的归结自动推理研究.pdf

西南交通大学
博士学位论文
基于语言真值格值逻辑的归结自动推理研究
姓名:李晓冰
申请学位级别:博士
专业:交通信息工程及控制
指导教师:徐扬
20081001
要摘隽擞镅哉嬷蹈裰得饴呒低橙ァ#,建立在格值逻辑系统上的归结理论与方法者在不确定性的环境中进行推理床蝗范ㄐ酝评,并基于此进行判断与决策,本文基于国内外许多学者的研究工作,对语言真值格值逻辑系统的口一归结、口一归结自动推理方法以及相应的算法实现及基于语言值格蕴涵代数的决策方法进行了较系统深入的研究,并取得了如下五个方面的研究成果:一、关于语言真值格值命题逻辑系统#菏上归结的研究隽烁裰得饴呒低矻上,一归结域的性质;二、关于格值命题逻辑系统三。上一归结域的研究三、:自动推理方法,给出了还榻嶙远评硭惴ǎ⒅っ髁烁盟惴ǖ目煽啃院屯四、,;。中、,给出了口一归结自动推理算法的流程图;法,给出了口一归结自动推理算法,证明了该算法的可靠性和完备性,并分析岢隽擞镅哉嬷蹈裰得饴呒低.≒
第页西南交通大学博士研究生学位论文隽烁裰狄唤茁呒低矻上的合一算法;岢隽烁裰狄唤茁呒低矻中简单广义子句集查找基例的算法,、关于语言值格蕴涵代数在决策中的应用的研究隽似ê眯畔⒓S镅灾蹈裨毯钡亩嗄勘昃霾叻椒ǎ隽似ê眯畔⒓R话愕挠镅灾蹈袷钡亩嗄勘昃霾叻椒ǎ隽送贝卸亢投ㄐ孕畔⒌娜壕霾叻椒ǎ关键词:语言真值格蕴涵代数;语言真值格值逻辑;口一归结原理;口一归结自动推理;语言值决策
三%。.,,,.瑃口畆·甌甌口猺籸口一籌琹—籌獀
甈·畂豢谝籸。甜岛¨。瓵谝籥,,·瓵畍籰畍—。
⒈C芸冢凇!D杲饷芎笫视帽臼谌ㄊ椋学位论文作者签名:李沈列乙西南交通大学学位论文版权使用授权书日期:如辏月,/罗日日期幽瓿ピ拢嗜⒉槐C芎视帽臼谌ㄊ椋本学位论文作者完全了解有关保留、使用学位论文的规定,同意学校保留并向有关部门或机构送交论文的复印件和电子版,、,本学位论文属于朐谝陨戏娇蚰诖颉癡”指导教师签名:
西南交通大学曲南父遗大罕学位论文创新性声明学位论文作者签名:砖咳库日期:幽孑年,拢日给出了格值命题逻辑系统￡。上、卜及部分晃槎⒌:所呈交的学位论文,,,:给出了格值命题逻辑系统瞎榻嵊虻男灾始坝镅哉嬷蹈裰得逻辑系统#菏中口一归结和,一归结之间的关系;口一归结域;提出了语言真值格值命题逻辑系统甈上的口一归结自动推理算法,并证明了该算法的可靠性和完备性;提出了语言真值格值命题结自动推理算法,并证明了该算法的可靠性和完备性;建立了格值一阶逻辑系统屑虻プ泳浼檎一乃惴ǎ⒅明了该算法的可靠性和完备性:
,⒒、、数理逻辑、计算机科学等多个学科,,人脑从外部世界接受信息,并对这些信息进行加工、整理,从而形成推理、,存在大量不精确的、不完全的、