推理是人类智能的核心特征之一,对于人工智能的发展起到重要的作用,模糊推理已经成为人工智能领域的重要组成部分,在模糊控制系统、模糊神经网络和模糊决策支持系统等领域中起到极重要的作用。模糊推理的核心问题分别是FMP(fuzzy modus ponens)问题和FMT(fuzzy modus tollens)问题。围绕该问题Zadeh给出了模糊推理理论中的模糊分离规则,并形成了CRI算法,促进模糊推理理论开始快速发展。随后,李洪兴指出基于CRI算法的模糊系统本质上是一种插值器。王国俊指出CRI算法采用复合运算,偏离了语义蕴涵的框架,并于1999年从逻辑语义的角度提出了三Ⅰ算法。虽然三Ⅰ算法在逻辑语义、还原性等方面具有优势,但不可否认的是,其性能与实用性并不理想。随着对三Ⅰ算法进一步的研究,第一、二、三蕴涵算子不全相同的三Ⅰ算法被提出,并指出CRI算法是第二、三蕴涵算子均取Mamdani算子的特殊三Ⅰ算法,由此展开了对(1,2,2)型异蕴涵三Ⅰ算法和对称蕴涵算法的一系列研究。本文将进一步对对称蕴涵算法展开一些研究。本论文的主要工作如下:(1)根据三Ⅰ算法的约束度理论,针对对称蕴涵算法进行拓展,研究对称蕴涵约束算法,给出各种对称蕴涵约束解得定义,针对一些蕴涵算子计算其统一形式的解,获取了一些相关条件。(2)根据FMT-三Ⅰ*算法的理论,与对称蕴涵算法相结合,拓展为对称蕴涵Ⅰ~*算法,给出了FMT-对称Ⅰ~*算法的定义、求解原则,基于R-蕴涵算子计算了统一形式的解。将FMT-对称Ⅰ~*算法更进一步推广到α-FMT-对称Ⅰ~*算法,探讨了α-FMT-对称Ⅰ~*算法的定义、求解。并对对称蕴涵Ⅰ~*算法还原性进行了分析。(3)针对于一些特定的蕴涵算子,计算了关于他们的对称蕴涵约束解,FMT-对称Ⅰ~*解;最后与情感计算相结合,提出了一种基于对称蕴涵约束算法的情感极性识别系统。