研究了二值命题逻辑中模糊推理的全蕴涵α-三Ⅰ算法的形式化问题.提出了（F（S）,）中的极小α公式的概念,当α∈{k/2n｜k=0,1,…,2n,n=1,2,......

在n值R0命题逻辑系统Ln^＊中，基于命题的真度概念提出了命题之间的支持度，并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一......

随着人工智能与信息科学研究的不断深入,模糊逻辑与多值逻辑的研究已成为其中一大热点.近年来,许多学者致力于各种逻辑系统的研究,......

模糊推理是模拟人脑日常推理方式的一种近似推理模式，它作为模糊控制技术的核心内容,一经提出就受到了广泛关注,并取得了丰硕的理论......