解释模型类理论及其极小三Ⅰ-算法

摘要：

首先在多(many-sorted)阶形式系统Luk msGod ms,∏ ms和L * ms中通过引入多类一阶模糊语言Lms的解释模型类及基于解释模型类的α-逻辑有效公式的概念,建立了多类一阶模糊语言的解释模型类理论;然后,基于上述理论探讨了模糊推理算法(CRI及三Ⅰ算法)与其理论г-推理的关系,从而进一步奠定了模糊推理的理论基础,同时得到一种新型的模糊推理算法,称为极小三Ⅰ算法.

关键词：模糊推理、多类一阶模糊语言、解释模型类、α-逻辑有效佘式

所属期刊栏目：45

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 60875034

在线出版日期：2009-11-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：30-33,64