探析基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究

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

1、西南交通大学博士学位论文基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究姓名：邹丽申请学位级别：博士专业：交通信息工程及控制指导教师：徐扬201009西南交通大学博士研究生学位论文第i页摘要人类在处理决策、评估、风险分析、信息检索等问题中会遇到大量的不确定性信息．本文基于格蕴涵代数，用语言真值去处理具有模糊性和不可比较性的不确定信息，建立能够同时处理可比性和不可比性的语言真值逻辑系统，并对语言真值逻辑系统和语言真值直觉模糊逻辑系统的性质及其推理的理论与方法进行了研究，主要研究成果如下：一、语言真值格蕴涵代数(1)分析了2-tuple语言值表示模型，语气代数等语言值信息处理方法．

2、(2)借鉴语气代数的结构特点并结合格蕴涵代数的性质，讨论了18元和2礼元语言真值格蕴涵代数的结构及性质．二、基于格蕴涵代数的语言真值命题逻辑系统(1)基于六元格蕴涵代数，得到了六元语言真值命题逻辑系统的推理性质及其基于滤子的归结推理方法．(2)基于2n元语言真值格蕴涵代数，得到了2n元语言真值格值命题逻辑系统中命题公式的性质．(3)解决了基于语言真值格蕴涵代数的格值命题逻辑系统的可满足性问题，给出了基于滤子的语言真值归结推理理方法及Q一语言真值归结推理方法．三、语言真值直觉模糊代数(1)基于18元语言真值格蕴涵代数／：V(gx2)，构造了45元语言真值直觉模糊代数肠8．将语言真值直觉模

3、糊格￡2"18推广到基于2礼元语言真值格蕴涵代数Cy(nx2)的语言真值直觉模糊格C五。=(L如n，u，n，_，((k，￡)，(k，，)))，((危1，t)，(h1，，))上．(2)讨论了[玉n的格代数性质，给出了语言真值直觉模糊格中V一不可约元上的蕴涵算子及其性质，进一步得到了C互n上的蕴涵算子及其性质．(3)分析了语言真值直觉模糊格￡12n与剩余格，MTL-代数，BL-代数，Mv-代数，格蕴涵代数及风·代数的关系，给出了a‰的三角代数结构．四，语言真值直觉模糊命题逻辑系统(1)给出语言真值直觉命题逻辑系统CP(S)的公理及其推理规则，得到了CP(S)中的证明与定理．(2)分析了CP

4、(S)的语义，并得到了CP(S)的可靠性与完备性．第ii页西南交通大学博士研究生学位论文(3)研究了语言真值直觉模糊命题逻辑系统的推理方法，解决了CP(S)中公式的可满足性问题，得到了(Q，p)·归结推理方法．(4)给出45元语言真值直觉模糊代数C五8中的自动推理方法．关键词：格蕴涵代数，语言真值推理，归结原理，语言真值命题逻辑，语言真值直觉模糊命题逻辑西南交通大学博士研究生学位论文第iii页!!!!!!!!!!!!!!!!!!!!皇!!!!!!!!!!!!!!!!!!!!!!!E!!!!!!!!!!!!!!!!I．I!AbstractUncertaiuinformationproce

5、ssingexistintheprocessingofdecisionmaking，riskanalysis，evaluationandSOon．Basedonlatticeimplicationalgebraandfuzzyorincomparablelinguisticvalues，weconstructlinguistictruth-valuedlogicsystemtoprocesscomparableorincompara-blelinguisticinformation．Moreover，westudytheoryandmethodoflinguistictruth-val

6、uedresolutionbasedonlatticeimplicationalgebra．Wealsostudythetheoryandreasoningmethodoflinguistictruth-valuedintuitionisticfuzzylogic．Themainresultsareasfollows：1．Methodoflinguistic—valuedinformationprocessing(1)Hedgealgebraand2-tuplelinguisticrepresentationmodelareanalyaedinthepaper．(2)Thestruct

7、ureandreasoningpropertiesof18-elementand2n—elementlinguistictruth-valuedlatticeimplicationalgebraarediscussed．2．Latticepropositionallogicsystembasedonlinguistictruth-valuedlatticeimplicationalgebra(1)Somespecialpropertiesand