摘要：讨论34个模糊蕴涵算子是否满足10个性质,得到5个t算则和5个s算则,提出并证明与圈乘算子性质相关的3个命题.通过选用不同的t算则和s算则获得合成推理算法的8种新形式.

关键词：模糊蕴涵算子 圈乘算子 信息度约束 合成推理算法 

单位：杭州电子科技大学计算机学院; 浙江杭州310018