二型模糊集合是一型模糊集合的推广,并由主、次两个隶属度来刻画其性质。这种推广增强了模糊集合对模糊现象的描述能力,拓展了模糊集合的使用范围。本文对二型模糊集合的概念和运算性质进行了比较详细的研究,进而研究了二型模糊逻辑系统的组成,并讨论了推理引擎及降型。二型模糊集合的许多性质都是由一型模糊集合的性质推广而来的。一方面,Zadeh的扩展原则在这个推广过程中起到了关键性作用,利用扩展原则可以将一型模糊集合的运算和质心计算公式合理地推广到二型的情况；另一方面,利用嵌入式二型模糊集合也可以将一型模糊集合的运算推广到二型的情况,并且与扩展原则所得到的结果完全一致。本文利用嵌入式二型模糊集合将一型模糊集合的质心推广到二型的情况,并得到了与扩展原则所得结果完全一致的质心计算公式。二型模糊逻辑系统继承了一型模糊逻辑系统各个模块的主要功能和特点。但由于二型模糊逻辑系统内部参与运算的是二型模糊集合,因而各个模块的具体操作与一型模糊逻辑系统又有所不同。由于二型模糊集合的运算与一型模糊集合的运算存在很大的不同,因此推理引擎的运算方式也有所区别。本文将一型模糊逻辑系统中常用的几个蕴含算子推广到了二型的情况,并以它们为基础建立了相应的二型模糊逻辑系统的推理模型,并针对区间二型模糊集合验证了这些推理模型的合理性。二型模糊逻辑系统中,降型的运算量很大,这在一定程度上限制了二型模糊逻辑系统的应用。因此如何建立一个可行的降型方法,就成为人们关注的问题之一。本文在已有降型方法的基础上,提出了两种近似降型的方法。虽然这两种方法是近似计算,但却在误差允许的范围内大大降低了运算量,具有较大的实际应用价值。