第1章 经典集合论知识简介
经典集合是近代数学*基本的概念。为了与模糊集(fuzzy set)和粗糙集(rough set)相区别,经典集合(classicalset)也称为普通集合(common set)或清晰集合(crisp set),它可以表达清晰的概念,例如奇(iN)数、三角形、抛物线等,再比如在知识表达系统中,经典集合表示清晰的可定义的信息范畴或信息粒。从认知科学的角度讲,一个概念可以用它的内涵和外延来刻画:符合某概念对象的全体构成此概念的外延;区别于其他概念的全体本质属性就是此概念的内涵。因此人们表达一个概念时,一般有两种方法:一是指出概��的内涵——内涵法;二是指出概念的外延——外延法。从集合论的观点看,一个概念可利用枚举式的外延法来表示,也可利用描述式的内涵法来表示,因而集合论成为描述客观世界中千差万别事物的理论工具。
本章首先介绍本书所需要的经典集合论的一些相关知识,例如,集合的概念和集合的运算,尤其是智能信息处理中常使用的集合的积与商运算;其次着重阐述集合论中关系的一般概念和基本性质,主要有等价关系、序关系和函数关系;*后简述粗糙集、模糊集和经典集合论之间的联系和各自的特点,且规范了一些常用的术语和记号,以便广大读者参阅。
1.1 经典集合论基础
19世纪末,德国数学家格奥尔格·康托尔(Cantor,1845—1918)创立了朴素集合论,但该理论在定义集合的方法上会导致悖论。为了消除这些悖论,罗素等一批数学家共同努力,在20世纪初创建了更严密、更精致的集合论——公理化集合论,它是微积分理论体系的基础,对现代数学和逻辑学的发展产生了巨大的影响。然而上述经典集合论无法处理模糊的信息和知识,1965年美国的控制论专家扎德(L.A.Zadeh)提出了模糊集合的概念,标志着模糊集合论的诞生。模糊集合论利用隶属度函数的数学方法来认识和处理模糊性,以适应现代控制论、信息论、系统论以及计算机科学发展的需要。当然,模糊集合论也有其局限性。近年来,在研究不完整数据及不**知识的表达、学习、归纳等方法的基础上,波兰华沙理工大学的科学家帕拉克(Z.Pawlak)基于“知识(人的智能)就是一种分类能力”的观点,于1982年开创性地提出了粗糙集理论(rough set theory或rough sets)。粗糙集理论具有很强的定性分析能力,能够有效地表达不确定的或不**的知识,善于从数据中获取知识,并能利用不确定、不完整的经验知识进行推理等,因此在知识获取、机器学习、规则生成、决策分析、智能控制等领域获得了广泛应用,特别是在数据挖掘领域,获得了巨大成功。与模糊集合论相比,粗糙集理论有自己独特的优势。模糊集合论和粗糙集理论极大地促进了集合论的发展,丰富了集合论的内容,使集合论成为我们求解问题不可或缺的理论工具。
为了更好地理解粗糙集理论,本节首先介绍经典集合论的一些相关的基本概念,诸如集合、空集、子集、子集簇、幂集等,然后介绍集合上的代数运算(交、并、补、差、积、商等)和一些定律,*后着重描述特征函数(隶属函数)的集合表示法。
……