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

《探析基于语言真值格值逻辑的归结自动推理研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西南交通大学博士学位论文基于语言真值格值逻辑的归结自动推理研究姓名：李晓冰申请学位级别：博士专业：交通信息工程及控制指导教师：徐扬20081001西南交通大学博士研究生学位论文第1页摘要关于不确定性信息处理的研究是人工智能领域的一类重要的研究内容．为处理某些不确定性信息的推理问题，建立在格值逻辑系统上的归结理论与方法得到了快速发展．另一方面，人类处理不确定性时常用自然语言描述不确定性或者在不确定性的环境中进行推理(即不确定性推理)，并基于此进行判断与决策，所以基于语言值的推理与决策成了非常引人关注的

2、研究领域．本文基于国内外许多学者的研究工作，对语言真值格值逻辑系统的口一归结、口一归结自动推理方法以及相应的算法实现及基于语言值格蕴涵代数的决策方法进行了较系统深入的研究，并取得了如下五个方面的研究成果：一、关于语言真值格值命题逻辑系统LVL．。：尸(x)上归结的研究1．给出了格值命题逻辑系统LP(X)上口一归结域的性质；2．给出了格值命题逻辑系统LP(X)上，一归结域的性质；3．给出了语言真值格值命题逻辑系统三％。：P(x)上口一归结和，一归结之间的关系．二、关于格值命题逻辑系统三。P(X)上Ol

3、一归结域的研究给出了三。P(x)中O-IESF、卜IESF及部分2一IESF的口一归结域，得到了两个广义文字是口一归结对的条件．三、关于语言真值格值命题逻辑系统上的口一归结自动推理方法的研究1．提出了语言真值格值命题逻辑系统LVL．P(X)上的口一归结自动推理方法，给出了口一归结自动推理算法的流程图；2．提出了语言真值格值命题逻辑系统LVLgP(X)上的口一归结自动推理方法，给出了口一归结自动推理算法，证明了该算法的可靠性和完备性，并分析了算法的计算复杂度：3．提出了语言真值格值命题逻辑系统1．2川

4、P(x)的半正则广义文字M一归结自动推理方法，给出了M一归结自动推理算法，并证明了该算法的可靠性和完备性．四、关于格值一阶逻辑系统LF(X)中简单广义子句集寻找基例的算法的研究第1I页西南交通大学博士研究生学位论文1．给出了格值一阶逻辑系统LF(X)上的合一算法；2．提出了格值一阶逻辑系统LF(X)中简单广义子句集查找基例的算法，并证明了该算法的可靠性和完备性．五、关于语言值格蕴涵代数在决策中的应用的研究1．给出了偏好信息集为语言值格蕴涵代数时的多目标决策方法；2．给出了偏好信息集为一般的语言值格时

5、的多目标决策方法；3．给出了同时带有定量和定性信息的群决策方法．关键词：语言真值格蕴涵代数；语言真值格值逻辑；口一归结原理；口一归结自动推理；语言值决策西南交通大学博士研究生学位论文第1II页AbstractAnoutstandingprobleminArtificialIntelligenceishowtodealwithuncertaintyinformation．Torealizethereasoningunderuncertainty，muchoftheresearchhasbeenconc

6、entratedonresolution．basedtheoriesandmethodsforlattice—valuedlogicsystem．Ontheotherhand，sincehumanactionsarealwaysinvolvedwithuncertaintyinformationprocessing，anduncertaintyinformationisdescribedbynaturallanguage，toinvestigatetheoriesandmethodsofuncert

7、aintyinformationprocessingdescribedbynaturallanguagesinArtificialIntelligenceisnotonlynecessarybutalsocritical．Basedonpreviousinternalandexternaloutcomeofresearchesinthesedirectionsforreference，theresearchpresentedinthisthesisfocuseson口-resolution．reso

8、lution-basedautomatedreasoningmethodsanditsalgorithmsforlinguistictruth·-valuedlattice-·valuedlogicanddecisionmakingmethodsbasedonlatticeimplicationalgebra．Thespecificcontentsareasfollows：PartOneStudyonresolutionoflinguistictruth-valued