完备剩余格中的全蕴涵推理方法

• 作者: 吴洪博 邵晓丽
• 来源期刊: 数学进展
• 学科: 数学
• 关键词: 模糊逻辑 完备剩余格 模糊推理 α-MI算法
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 研究论文
• 页码范围: 303-314
• 页数: 12页
• 分类号: O141.1
• 字数: 8043字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-0917.2006.03.006

摘要

三Ⅰ算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI算法更具有严谨性、合理性.本文在完备剩余格中给出了模糊推理RL-型全蕴涵α-MIFMP,α-MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于G(o)del逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和(-W)逻辑系统.特别是将结果应用于(-W)逻辑系统中得到了R0-型全蕴涵α-三Ⅰ算法计算公式,简化了原有的R0-型三Ⅰ算法的证明.