模糊集合发展已经有四十多年的历史，有关模糊集合的应用也不计其数，在很大程度上推动人们对不精确事物的认识。然而传统模糊集合在描述一些比较复杂的不确定性时出现了困难，Zadeh于是在传统模糊集合的基础上发展了模糊集合，进而有了Ⅱ型甚至更高层次的模糊集合，而传统的模糊集合就称为Ⅰ型模糊集合。本文在Ⅰ型模糊集合的基础上研究了Ⅱ型模糊集合的基本概念、术语和计算特征，并在这些特性的基础上对Ⅱ型模糊集合进行了概念和性质上的扩展，从不同层面上重新分析了Ⅱ型模糊集合的基本性质特征，并给出了证明。 模糊集合的一个重要分支是在模糊逻辑系统方面的研究。但是人们逐渐意识到传统的数学模型在表达这些由人类思维、感知逻辑等所引导的不确定时表现出非常大的局限性，如果一个人如果想购买房子，他会有很多的标准，诸如房子的价格、交通的便利程度、房内的设计等等都是衡量的标准，然而这样的需求是很难用传统的数学模型来描述，所以Ⅱ型模糊逻辑系统便渐渐发展起来。本文分析比较了Ⅰ型和Ⅱ型模糊逻辑系统，对各个功能部分进行了分析对比，从而体现出Ⅱ型模糊逻辑系统的优越性。模糊集合的另一个重要研究是语言建模。建立自然语言的计算模型是模糊集合问世以来一直在探讨的问题。传统模糊集合在语言的表达上存在很大的不足，Ⅱ型模糊集合在某种程度上可以弥补这样的不足，所以相对于传统模糊集合来说有更大的优势和发展空间。本文重点探讨了Ⅱ型模糊集合建模的问题，并在此基础上建立了一个简单的基于Ⅰ型和Ⅱ型模糊集合的推理系统，对语言建模的研究进行了初步的探讨。