作者：裴道武; 傅丽模糊逻辑模糊推理cri算法三i算法多型变元一阶系统
摘要：在模糊推理理论中，近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算，从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*，构建了一个完备的多型变元一阶系统Kms^*，并且将三I算法完全纳入了模糊逻辑的框架之中，从而为模糊推理奠定了严格的逻辑基础。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《模糊系统与数学》（CN：43-1179/O1）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《模糊系统与数学》内容涉及：模糊拓扑、模糊代数、模糊分析、模糊测度与积分、模糊逻辑、模糊决策、模糊规划、模糊控制、模糊神经网络、模糊可靠性、模糊图像处理等领域。
统计源期刊
人气 140381 评论 46
省级期刊
人气 104887 评论 63
人气 87643 评论 61
人气 82380 评论 65
