粗糙集理论第1章

绪论

●20世纪80年代，波兰数学家Z.Pawlak提出粗糙集理论

概率论(Probabilistic Theory)刻画概念发生的随机性(Stochastic)，

模糊集理论(Fuzzy Set Theory)刻画概念的模糊性(Vagueness)，刻画概念的粗糙性(Coarseness)，即分类能力(Classification Ability)。

粗糙集理论简称为粗集理论，粗糙集，或粗集。

●一个概念越粗糙，其分类能力越差，分类得到的对象组的

颗粒（granularity）越大（越粗），对象之间的可辨识性（discernibility）越差。相反地，一个概念越精细（fine），其分类能力越强，分类所得的对象组的颗粒越小，对象之间的可辨识性越好。

●例子

图像的分辨率刻画了图像质量的粗糙程度，类似粗糙集刻画了知识或概念的粗糙程度。图像中的分辨率越高，图像的可辨识性就越好，反之就越差。像素灰度刻画了图像黑白的不同程度，类似模糊集刻画了概念的模糊性。而图像上的内容则反映了某个物体出现的随机性。

第一章 知识

有关知识的理论已有长远和丰富的历史，Pawlak 提议把粗集理论作为讨论知识的理论框架，特别在关注不精确知识的时候。

本章对“知识”这一术语给出形式化的定义，并讨论了它的一些基本特性。

粗集理论对知识的基本看法：知识是人类关于事物之分类能力的深层次刻画。

论域(universe of discourse )：真实世界或抽象世界被称为论域.

定义1.1 设论域U 是非空有限集合，U 中元素是论域中感兴趣的对象。对∀X ⊆ U ，称其为U 的一个概念或范畴（category ）。称U 的任意概念簇为U 的抽象知识或知识。

为便于形式推理，允许空集 ∅ 作为一个概念。 本书我们的主要兴趣在于形成某论域的一个划分（partition ）或分类（classification ）的概念。（在本书中有：划分分类，划分与分类是两个等价的概念）

定义1.2 U 为论域，若概念簇C = {X i | X i ⊆U ，X i ≠ ∅，i = 1，2，…，n} 满足：

⑴ 对于i ，j = 1，2，…，n ，i≠j ，X i ∩X j = ∅

⑵ 1 n

i i X U == 则称C 为U 的一个划分或分类。

通常我们不处理论域U 上的单个分类，而是处理论域U 上的一些分类簇（划分簇）. 称U 上的一个分类簇为U 上的一个知识库。

概念 −→ 概念簇 −→ （满足定义1.2要求的概念簇）分类 −→ 分类族 ⇔ 知识库

因此，知识库表示了多种基本分类能力。 为了便于推理，我们经常利用等价关系(equivalence relation)

处理。

定义1.3 设R 是论域U 上的一个等价关系，[x ]R 表示包含x ∈U 的R 中的一个概念或范畴——一个等价类，U/R 表示R 的所有等价类的簇（或U 上的分类），称其为R 的概念组或范畴组。

一个等价关系 ⇔ 一个分类

定义1.4 称K =（U , R ）为知识库，其中U 是一个被称之为论域的非空有限集合，R 是U 上的等价关系构成的簇。

如果∅⊂ P ⊆ R ，令∩P 表示所有属于P 的等价关系的交集，则∩P 也是U 上的等价关系。

定义 1.5 称IND (P )=∩P 为 P 上的不可分辨关系（indiscernibility ），且有()[]IND x Ρ=

[]∈x P p p .

这样，U/IND （P ）就是等价关系IND （P ）的等价类族，表示了与等价关系族P 相关的知识，称做K 中关于U 的P 基本知识(P-basic knowledge)，简称基本知识。

定义1.6 设K =（U ，R ）是一个知识库 , ∅⊂ P ⊆ R , 称U/IND （P ）是K 中关于U 的P 基本知识(P-basic knowledge)，并简记为U/P . 在不引起混乱的情况下，P 也可称为基本知识.

X∈U/P称为P基本概念(P-basic concept)。特别地，称Q∈R（一个等价关系）为Q初等知识(elementary knowledge) . X∈U/Q，X（一个等价类）为Q初等概念(elementary concept)。

定义1.7 初等概念的交（系指集合论意义下的交运算）组成基本概念。

例子：例如年老和生病都可能是某知识库的初等概念，但年老且生病（年老与生病的交集）就是该知识库的一个基本概念。

定义1.8 对任意∅⊂P⊆R，所有的P基本概念的簇为知识库K =（U，R）的基本概念族。

定义1.9 设K=（U，R）是知识库，定义IND（K）= { IND（P）：∅≠P⊆R} 为K上所有等价关系的集合。

注意IND（K）包含K的所有初等关系和由初等关系派生出来的不可分辨关系的最小等价关系集合，并且在集合论下，等价关系的交运算是封闭的.

定义 1.10 任意有限个P-基本范畴的并称为P-范畴(P-category).

定义1.11 知识库K=(U,R)中的全部范畴构成的簇称为K范畴簇(K-categories)。

Note: 区分如下概念：

Knowledge、Elementary knowledge、Basic knowledge Concept\Category、Elementary concept\Category、Basic concept\Category

例1.设U = {x1，x2，…，x8} 为玩具积木集合，共有红、蓝、绿三种颜色，圆形、方形和三角形等三种形状，分大、小两种型号。具体见下表：

这样，我们可以定义三个等价关系R1（颜色相同）、R2（形状相同）和R3（型号相同）. 则有如下等价类：

U/R1＝｛｛x1，x3，x7｝，｛x2，x4｝，｛x5，x6，x8｝｝

U/R2＝{{ x1，x5}园形，{x2，x6}方形，{x3，x4，x7，x8}三角形} U/R3＝{{x1，x3，x4，x5，x6}小号，{x2，x7，x8}大号} 上面的等价类就是知识库K=（U，{R1，R2，R3}）的初等概念。集合论意义下，初等概念的交为基本概念。

例如：

{x1，x3，x7}红∩{x3，x4，x7，x8}三角形＝{x3，x7}红色三角形{x2，x4}蓝∩{x2，x6}正方形＝{x2}蓝色正方形

{x5，x6，x8}绿∩{x３，x４，x７，x8}三角形＝{x8}绿色三角形

分别表示关于{R1，R2}的基本概念“红色三角形”、“蓝色正方形”和“绿色三角形”。

集合：

{x1，x3，x7}红色∩{x３，x４，x７，x8}三角形∩{x2，x7，x8}大={x7}红色大三角形

{x2，x4}∩{x2，x6}∩{x2，x7，x8}