几类模糊逻辑系统中真度及近似推理研究

发布时间：2017-10-02 01:33

  本文关键词：几类模糊逻辑系统中真度及近似推理研究

  更多相关文章： 模糊逻辑系统 真度 相似度 伪距离 近似推理

【摘要】：摘要：将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1／2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义(1/2)-MP,(1/2)-HS规则不成立.在MTLn中引入了α-随机真度的概念,讨论了其性质,依据公式的α-随机真度定义了公式之间的α-Dn相似度,从而导出命题逻辑中的伪距离.在Godel区间值命题逻辑系统中引入了a-真度,论证了区间值真度MP规则和区间值真度HS规则,在：-真度基础上给出了a-相似度及其性质,说明了在Godel区间值命题逻辑系统中建立伪距离是可行的.最后在逻辑系统L*中引入了公式的T-演绎真度,在此基础上,定义了T-演绎相似度与伪距离,还对近似推理进行了研究,得出三种近似推理模式是等价的结论.
【关键词】：模糊逻辑系统 真度 相似度 伪距离 近似推理
【学位授予单位】：延安大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：O141.1
【目录】：

• 摘要3-4
• Abstract4-6
• 前言6-8
• 第一章 预备知识8-11
• 1.1 RDP逻辑系统8-9
• 1.2 MILn逻辑系统与G?del区间值逻辑系统9
• 1.3 L~*逻辑系统9-11
• 第二章 逻辑系统RDP中广义重言式的语义MP、HS规则11-16
• 2.1 逻辑系统D_(1/2)中的广文语义MP现状11-13
• 2.2 逻辑系统D_(1/2)中的广文语文HS规则13-16
• 第三章 MTLn中公式的α-随机真度与相似度16-22
• 3.1 I_n 中公式的α-D~n随机真度16-17
• 3.2 α-D~n真度的推理规则17-20
• 3.3 公式间的α-D~n相似度及伪距离20-22
• 第四章 C?del区间值命题逻辑的α-真度理论22-27
• 4.1 G?del区间值命题逻辑的α-真度及推理规则22-25
• 4.2 G?del区间值命题逻辑的α-相似度及伪距离25-27
• 第五章 逻辑系统L~*基于Γ-演译真度的近似推理27-32
• 总结32-33
• 参考文献33-36
• 致谢36-37
• 攻读硕士学位期间已发表论文37

【参考文献】

中国期刊全文数据库 前6条

1 吴洪博,阎满富;G銉del逻辑系统中广义语义HS规划和广义语义MP规则[J];工程数学学报;2003年03期

2 李骏;王国俊;周艳;;n值逻辑系统MTL_n中命题的程度化方法[J];计算机工程与应用;2007年21期

3 惠小静;;三种近似推理模式的等价性[J];计算机工程与应用;2008年27期

4 韩邦合;李永明;;计量逻辑学中的近似推理[J];模糊系统与数学;2010年05期

5 吴洪博,阎满富;Gainse-Rescher逻辑系统中的广义重言式理论[J];四川大学学报(自然科学版);2000年05期

6 崔美华;;n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理[J];应用数学学报;2012年02期

，

本文编号：956843