计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (26): 30-33.DOI: 10.3778/j.issn.1002-8331.2009.26.009
张兴芳
ZHANG Xing-fang
摘要: 首先在多类(many-sorted)一阶形式系统Lukms、Gödms,∏ms和L*ms中通过引入多类一阶模糊语言Lms的解释模型类及基于解释模型类的α-逻辑有效公式的概念,建立了多类一阶模糊语言的解释模型类理论;然后,基于上述理论探讨了模糊推理算法(CRI及三I算法)与其理论Г-推理的关系,从而进一步奠定了模糊推理的理论基础,同时得到一种新型的模糊推理算法,称为极小三I算法。
中图分类号: