命题逻辑中广义MP问题的合理解及新型反向三I算法.pdf 全文免费在线阅读

  本文关键词：命题逻辑中广义MP问题的合理解及新型反向三I算法，由笔耕文化传播整理发布。

网友799474576近日为您收集整理了关于命题逻辑中广义MP问题的合理解及新型反向三I算法的文档，希望对您的工作和学习有所帮助。以下是文档介绍：fIReasonable Solution for Generalizad MP Problems in PropositionalLogic and New Reverse Triple I MethodbyLI CaihongB.S.(Handan College)2008A thesis submitted in partial satisfaction of theRequirements for the degree ofMaster of ScienceinOperations Research and icsin theGraduate SchoolofLanzhou University of TechnologySupervisorAssociate Professor Li JunJune,2011兰州理工大学学位论文原创性声明和使用授权说明原创性声明本人郑重声明:所呈交的论文是本人在导师的指导下独立进行研究所取得的研究成果。除了文中特别加以标注引用的内容外,本论文不包含任何其他个人或集体已经发表或撰写的成果作品。对本文的研究做出重要贡献的个人和集体,均已在文中以明(来源：[])确方式标明。本人完全意识到本声明的法律后果由本人承担。作者签名:套私炙日期:腓6月g日学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定,即:学校有权保留并向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅。本人授权兰州理工大学可以将本学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。同时授权中国科学技术信息研究所将本学位论文收录到《中国学位论文全文数据库》,并通过网络向社会公众提供信息服务。作者签名:孝芬多次导师签泓日期:)∥库乡月吕日日期游∥月8日■I目录摘要…………………………………………………….IABSTRACT…………………………………………………III第1章引言……………………………………………….1 1.1课题的研究意义和国内外研究现状…………………………l1.2本论文研究的内容……………………………………..2第2章预备知识……………………………………………3 2.1二值命题逻辑(来源：[])系统L……………………………………3 2.1.1逻辑系统己中的基本概念……………………………3 2.1.2逻辑系统L中命题的真度…………………………..4 2.1.3逻辑系统￡中的相似度,伪距离和支持度……………….5 2.2 Fuzzy推理的三算法及反向三I算法……………………….7 2.2.1三I算法……………………………………….8 2.2.2反向三I算法……………………………………8 2.3三角模与蕴涵算子…………………………………….9第3章命题逻辑中广义MP问题的合理解………………………..14 3.1公式的真度………………………………………….15 3.2基于支持度理论的GMP问题的合理解……………………..15第4章基于尺。蕴涵算子的一种新型反向三I算法………………….18 4.1反向三I算法的基本思想……………………………….18 4.2蕴涵算子的选择………………………………………19 4.3一种新型的反向三I(FMP)算法…………………………20 4.4一种新型的反向三I(来源：[])(FMT)算法…………………………23结论与展望………j……………………………………….27参考文献………………………………………………….28致谢……………………………………………………31附录A攻读学位期间攻读硕士学位期间的研究成果………………..32'-摘要众所周知,数理逻辑的特点在于形式化与符号化,它和计算数学有着截然不同的风格:前者注重形式推理而后者重视数值计算;前者强调严格论证而后者允许近似求解.逻辑推理方法在诸如定理的自动证明、知识推理、逻辑程序设计等多个领域得到了广泛的应用:数值计算则似乎是远离形式推理的完全不同的方法.但由于人脑的思维模式与推理方法带有不确定性,导致推理不是精确地,而是近似的,因此很有必要将数值计算引入到数理逻辑系统中从而使数理逻辑具有某种灵活性并进而扩大其可能的应用范围.正是出于此目的,王国俊教授提出了计量逻辑学理论,给出了一个公式的可靠程度的描述一公式真度,进而给出了两个公式间相似度,伪距离的概念并由此提出了理论的发散度,相容度等内容,为常见的命题逻辑系(来源：[])统建立了一套完整的近似推理机制,给出了区分不同理论相容度的办法.此外为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP问题转化为GMP,并在各命题逻辑中利用命题的真度引入命题之间的支持度,利用支持度的思想引入广义MP问题的一种新型求解机制,并证明了合理解的存在性,这是本文研究的问题之一.随后王国俊又提出了模糊推理作为已知条件的推理前件“过半可信"原则,并建立了一种FMP问题的新型三I算法,为将命题演算范围内的模糊推理引入人工智能领域奠定了初步的基础.宋士吉从如何设计模糊系统,使得在给定精度下模糊规则库中元素最小的角度出发,提出了反向三I算法.本文在上述工作的基础上,利用模糊推理中推理前件“过半可信"的原则,为FMP问题建立了一种新型反向三I算法.本文的主要工作:1.在经典命题逻辑中基于公式的真度概念提出了公式间的支持度,利用支持度的思想引入了广义MP问题的一种新型合理求解机制,并证明了合理解的存在性.2.在模糊推理中利用推理前件“过半可信”原则,给出了基于R蕴涵算子模糊推理的一种新型反向三I算法.关键词:真度;支持度:GMP问题;合理解;过半可信原则;新型反向三I算法.n

1

  本文关键词：命题逻辑中广义MP问题的合理解及新型反向三I算法，由笔耕文化传播整理发布。