MTL命题逻辑系统中的近似推理理论三I算法的还原性.pdf 全文免费在线阅读

  本文关键词：n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性，由笔耕文化传播整理发布。

网友2786321826近日为您收集整理了关于n值S-MTL命题逻辑系统中的近似推理理论三I算法的还原性的文档，希望对您的工作和学习有所帮助。以下是文档介绍：学校代号:10731学号:082070105009密级:公开兰州理工大学硕士学位论文n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性Approximate Reasoning Theory in n—valued S-MTL PropositionalLogic System and Reversibility of Triple I MethodbyDeng FuxiB.E.(Northwest Normal University)2005M.S.(Lanzhou University of Technology)2011Athesis submitted in partial satisfaction of theRequirements for the degree ofMaster of SciencelnOperations Research and icsin theGraduate SchoolofLanzhou University of TechnologySupervisorAssociate Professor Li JunJune,2011兰州理工大学学位论文原创性声明和使用授权说明原创性声明本人郑重声明:所呈交的论文是本人在导师的指导下独立进行研究所取得的研究成果。除了文中特别加以标注引用的内容外,本论文不包含任何其他个人或集体已经发表或撰写的成果作品。对本文的研究做出重要贡献的个人和集体,均已在文中以明确方式标明。本人完全意识到本声明的法律后果由本人承担。作者签名:叼酶日期:?∥年歹月夕日学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定,即:学校有权保留并向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅。本人授权兰州理工大学可以将本学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。同时授权中国科学技术信息研究所将本学位论文收录到《中国学位论文全文数据库》,并通过网络向社会公众提供信息服务。作者签名:导师签名:日期:沙//年日期:加f/年石月彦日6只8 B硕f:学位论文目录摘要…………………………………………………………………………………1英文摘要………………………………………………………………………………3前言……………………………………………………………………………………5一刖吾……………………………………………………………………………………第1章预备知识……………………………………………………………………7 1.1二值命题逻辑系统……………………………………………………………7 1.2 n值S.MTL命题逻辑系统…………………………………………………8第2章n值MTL命题逻辑系统中的近似推理理论……o o o o g o o Qo B g OO…………13 2.1系统MTh中命题的真度理论………………………………………………13 2.2 MTLn中公式真度的积分表示……………………………………………16 2.3系统S.MTLn中公式真度推理规则及伪距离……………………………19 2.4逻辑度量空间(F(S),P)中的近似推理………………………………………23第3章模糊推理三I算法的还原性……………………………………………26 3.1 FMP和FMT问题的三I算法……………………………………………26 3.2 FMP问题的三I算法的还原性……………………………………………27 3.3 FMT问题的三I算法的还原性…………………………………………28总结与展望……………………………………………………………………………32参考文献……………………………………………………………………………33弱C谢…………………………………………………………………………………36攻读学位期间发表的学术论文………………………………………………………37硕七学位论文摘要基于左连续三角模的MTL逻辑,也是基于正则蕴涵算子的逻辑,其中左连续三角模作为逻辑强合取算子的语义对应,与其伴随的正则蕴涵算子作为逻辑蕴涵算子的语义对应.MTL逻辑作为模糊逻辑,具有很多良好的性质,同时,基于三I原则的模糊推理算法,其统一形式也是基于正则蕴涵算子给出的,因此三I算法和MTL逻辑之间存在着天然的联系.三I原则和算法可以看做是模糊推理的一种数值实现,但是在这种数值实现和逻辑的形式化推理之间,还存在着一定的距离,如果能为三I原则和算法提供一种逻辑上的解释,那将会为模糊推理找到合适的逻辑基础.为了消除形式化的逻辑推理和数值计算之间的割裂,本世纪初,王国俊教授基于均匀概率的思想在经典二值命题逻辑中引入了命题的真度概念,提出了计量逻辑理论,建立了一套近似推理模式之后,国内外同行展开了广泛的研究.相似的结论被推广到n值Lukasiewicz命题逻辑系统和n值R0命题逻辑系统中.但是所有以上的结论都是建立在均匀概率测度空间上,由于实际应用中往往会对某些命题有所侧重,所以针对非均匀分布情形进行研究会更适合于应用.本文在n值MTL命题逻辑系统的统一框架中,基于一般的概率测度,建立了真度的统一理论,给出了这种统一框架下公式真度的积分表示形式;证明了真度推理规则在所有的rl值S-MTL命题逻辑系统中成立,定义了一种伪距离,为在13值MTL命题逻辑系统中建立近似推理理论给出了一种可能的框架.考虑到三I算法的统一形式也是基于正则蕴涵算子的,而还原性是判断蕴涵算子与模糊推理方法配合效果的一个重要指标,只有蕴涵算予与推理方法搭配适当,才能使模糊推理有一个好的效果.因此本文还对三I算法的还原性进行了讨论.以下是本文所得到的主要结果:(1)提出了强正则蕴涵算子与S-MTL命题逻辑系统的概念,并且证明了Lukasiewicz蕴涵是最大的强正则蕴涵算子.(2)在n值MTL命题逻辑系统中基于一般的概率测度空间定义了公式的真度,给出了真度的积分表示形式,并在n值S-MTL命题逻辑系统中证明了这种基于一

1

  本文关键词：n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性，由笔耕文化传播整理发布。