探析基于格蕴涵代数的格值逻辑中的近似推理研究

《探析基于格蕴涵代数的格值逻辑中的近似推理研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西南交通大学博士学位论文基于格蕴涵代数的格值逻辑中的近似推理研究姓名：周平申请学位级别：博士专业：交通信息工程及控制指导教师：徐扬20061001西南交通大学博士研究生学位论文第1页摘要人的智能活动正是体现在对不确定性信息的获取、提炼、推理、判断和决策上，其中不确定性推理是关键的环节。也自然成为计算机科学和人工智能的核心问题之一．随着Zadeh的模糊推理的提出，许多不确定性推理的方法和理论相继出现．自然，多值逻辑和模糊逻辑就成为不确定性推理的逻辑基础。多值逻辑和模糊逻辑是经典逻辑的扩充和发展，其真值域从经典逻辑的二值扩充为多值或无

2、限值。但其链型值域又决定了它只能处理有序的或可比较性的不确定性的信息。格是一种重要的代数结构，现实世界的不可比较的现象可以用格来刻画．格值逻辑的真值域为格代数结构，这样就既能处理全序性信息，又能处理非全序性信息，因而能更好地处理可比较或不可比较信息的不确定性推理．徐扬提出格蕴涵代数，并以格蕴涵代数为真值域讨论了一系列的格值逻辑系统，如：LPCX)，LF(X)，Lvpl和Lvfl．本文在基于格蕴涵代数的格值命题逻辑系统LP(X)，L，。1和格值一阶逻辑系统LF(X)，L，n中，研究了不确定性推理的规则，广义量词及其推理规则，初步探讨

3、了语法性质和归结原理，主要工作为以下四个方面：1．在格值命题逻辑系统LPCX)。Lvpl，和格值一阶逻辑系统LF(X)，Lvfl中证明了FMP,FMT推理规则以及相应的还原性定理．2．在格值一阶逻辑系统LF(X)，Lvfl中定义了广义量词，以及广义量词之间的包含关系和广义量词的并交运算，得到了带广义量词的推理规则和有关广义量词的包含，并交运算的推理结果。3．在格值一阶逻辑系统LF(X)中给出了带广义量词的L．型模糊集为闭的扩展定义，研究了带广义量词的语法结构和语法证明，证明了带广义量词的可靠性定理和弱完备性定理。4．在格值一阶逻辑

4、系统LF(X)de，定义了广义量词前柬范式，带广义量词的Skolem广义范式以及Herbrand．解释，证明了Herbrand．定理，为带广义量词的格值一阶逻辑系统LFCX)中的口一归结作了理论准备。关键词：格值命题逻辑系统；格值一阶逻辑系统；不确定性推理：广义量词第1I页西南交通大学博士研究生学位论文AbstractHumanintelligenceactionsarealwaysinvolvedwithacquiring，refining，judgment，reasoninganddecision-makingaboutunc

5、ertaintyinformation．Uncertaintyreasoningplaysthekeyroleintheintelligenceactivitiesofhumankind．ItiSalsotheimportantsubjectofcomputerscienceandartificialintelligencetechnology．AfterZadeh’Sfuzzyreasoningmethodproposed，SOmanyuncertaintyreasoningmethodsandtheoriesarepropos

6、ed．Naturally,themulti·valuedlogicandfuzzylogicbecomethefoundationofuncertaintyreasoning．Theyareexpandingofclassicallogicwhosevaluationfieldfromtwo-valuedtomulti-valuedorInfinitivevalued．Buttheycanonlydealwiththeorderorcomparabilityinformationwiththeirlinear-valuedfiel

7、d．Thelatticeisakindofimportantalgebraicstructure．Manynon-comparabilityphenomenacanbedescribedbylatticeinrealword．Lattice·valuedlogicwhichvaluationfieldislatticecandealwithnotonlyorderinformationbutalsonon-orderinformation．Therefore，itcandealwiththereasoningofcomparabi

8、lityandnoncomparabilityinformation．XuYangproposedtheLatticeImplicationAlgebra，andputthelogiconit，suchasLP(X)，LF(X)，LvplandLv