经典逻辑系统（？）中的MT问题及公式的真度理论

发布时间：2021-12-17 11:29

　　模糊推理的中心课题是以下形式的FMP和FMT问题：（FMP问题）(FMT问题)这里A，A^*是X上的Fuzzy集，B，B^*是Y上的Fuzzy集。 关于上述两个问题，Zadeh于1973年提出了Fuzzy推理的思想并给出了著名的CRI方法。此方法计算上虽然方便，但缺乏严格的理论依据。王国俊教授于1999年提出了三Ⅰ算法，开辟了把模糊推理与模糊逻辑相结合的研究道路。同时在文献[6～8]中，王国俊教授通过根的理论分别在经典二值逻辑系统L、多值系统L^*及Lukasiewicz三值系统中实现了形式化推理机制。本文在此基础上通过引入最大前提的概念来讨论二值逻辑系统L中的MT问题。主要研究了二值逻辑系统L中GMT及多重GMT规则的语构理论，实现了FMT问题的形式推理机制，最后给出了最大前提与根的关系，从而说明了MP问题与MT问题可以互相转化。 关于区分公式可靠程度的思想早在1952年就由Rosser与Turquette提出，此后又有许多学者从不同的角度提出确定这类公式的可靠程度的方法。在王国俊教授提出的积分语义学理论的基...

【文章来源】： 陕西师范大学陕西省 211工程院校 教育部直属院校

【文章页数】：44 页

【文章目录】：
前言
第一章 经典逻辑系统L中的MT问题
    §1.1 预备知识
    §1.2 经典逻辑系统L中的GMT和多重GMT规则的语构理论
    §1.3 经典逻辑系统L中MP与MT问题的相互转化
第二章 命题逻辑系统G₃和П₃中公式的真度理论
    §2.1 公式真度的定义及性质
    §2.2 公式真度的推理规则
第三章 命题逻辑系统G_n和П_n中公式间的相似度与伪距离
    §3.1 预备知识
    §3.2 公式间三种相似度的定义及性质
    §3.3 公式间的一种伪距离
总结
参考文献
致谢
攻读硕士学位期间的研究成果



本文编号：3540028