摘要
在多值逻辑系统L*n中,基于真度理论提出了模糊推理的α-反向三Ⅰ问题,并给出了α-反向三ⅠMP、α-反向三ⅠMT问题解的具体形式,在系统L*n中建立了α-反向三Ⅰ问题的形式化推理机制,为模糊推理的α-反向三Ⅰ算法奠定了逻辑基础。
The problems of α-reverse triple-I are introduced in many-valued logic system Ln under the truth degree of proposition logic theory. The concrete form solutions for a-reverse triple-IMP and α-reverse triple-IMT are given. Therefore, formal reasoning system of α-reverse triple-I problems is provided in formal system L2. The present paper lays a logical foundation for reverse triple-I methods of fuzzy reasoning.
出处
《模糊系统与数学》
CSCD
北大核心
2014年第4期6-10,共5页
Fuzzy Systems and Mathematics
关键词
真度
α-反向三Ⅰ问题
形式解
α-reverse Triple-I Problems
Truth Degree
Formalized Solutions
