类表示公理
类表示有外部表示和内蕴表示,故归类输入、归类输出都有:内蕴表示和外部表示。
归类输入的外部表示
归类输入的外部表示由一个有限抽样对象集合
对象特性输入表示
其对应的归类输入的类外延表示由划分矩阵 U=[uik]c×N U = [ u i k ] c × N 表示,其中 uik u i k 表示对象 ok o k 属于第 i i 个输入类的隶属度,有时也叫做隶属矩阵。
定义指派算子 → → 如下:
因此,归类输入的外部表示为: (X,U) ( X , U )
归类输出的外部表示
归类输出的外部表示也可以表示为: (Y,V) ( Y , V )
其对象特性输出
同样有划分矩阵 V=[vik] V = [ v i k ] ,其中 vik v i k 表示对象 vk v k 对滴 i i 输出类的隶属度。当已知,则一个对象总是被指派到具有隶属度最大的类中,由此可以定义指派算子 → → 如下:
因此,归类输出的外部表示为: (Y,V) ( Y , V )
相似性映射
- 输入类相似性映射
- 输出类相似性映射
知道了输入类相似性映射,可以根据相似度将对象进行归类。可以定义相似算子 ∼ ∼ 如下:
同样地,对于输出类相似性映射也可定义。
相异性映射
- 输入类相异性映射
- 输出类相异性映射
知道了输入类相异性映射,可以将对象进行归类。可以定义相似算子 ∼ ∼ 如下:
同样地,对于输出类相似性映射也可定义。
简单来说,可将
(X,U,X––,SimX)
(
X
,
U
,
X
_
,
S
i
m
X
)
或
(X,U,X––,DsX)
(
X
,
U
,
X
_
,
D
s
X
)
称为归类输入,
(X,U)
(
X
,
U
)
为外显输入,
(X––,SimX)
(
X
_
,
S
i
m
X
)
或
(X––,DsX)
(
X
_
,
D
s
X
)
为内在输入。
可将
(Y,V,Y––,SimY)
(
Y
,
V
,
Y
_
,
S
i
m
Y
)
或
(Y,V,Y––,DsY)
(
Y
,
V
,
Y
_
,
D
s
Y
)
称为归类输出,
(Y,V)
(
Y
,
V
)
为外显输出,
(Y––,SimY)
(
Y
_
,
S
i
m
Y
)
或
(Y––,DsY)
(
Y
_
,
D
s
Y
)
为内在输出。
类表示存在公理
类表示存在公理:对于一个归类算法,如果其外显输入为 (X,U) ( X , U ) ,其外显输出为 (Y,V) ( Y , V ) ,则一定存在对应的内在输入 (X––,SimX) ( X _ , S i m X ) 和内在输出 (Y––,SimY) ( Y _ , S i m Y ) 。
由于内在输入 (X––,SimX) ( X _ , S i m X ) 和其对应的内在输出 (Y––,SimY) ( Y _ , S i m Y ) 描述的是同一组外在对象,因此一个对象类的输入输出内蕴指称应该相同,故必有 (X˜,Y˜) ( X ~ , Y ~ ) ,即: ∀k(x˜k=y˜k) ∀ k ( x ~ k = y ~ k ) 。
由于外显输入 (X,U) ( X , U ) 和其对应的外显输出 (Y,V) ( Y , V ) 描述的是同一组外在对象,因此一个对象类的输入输出外部指称应该相同,故必有 (X⃗ ,Y⃗ ) ( X → , Y → ) ,即: ∀k(x⃗ k=y⃗ k) ∀ k ( x → k = y → k ) 。
同理 X––=Y–– X _ = Y _
类表示唯一公理
类表示唯一公理:对于一个归类算法,如果其输入为 (X,U,X––,SimX) ( X , U , X _ , S i m X ) ,其输出为 (Y,V,Y––,SimY) ( Y , V , Y _ , S i m Y ) ,则 (X⃗ ,X––,X˜)=(Y⃗ ,Y––,Y˜) ( X → , X _ , X ~ ) = ( Y → , Y _ , Y ~ ) 。
特性输入 xk x k 与其对应的特性输出 yk y k 都表示同一个对象 ok o k 。
假设一个映射 θ θ ,使得 y=θ(x) y = θ ( x ) 。
分析可知 θ θ 为恒同映射,且 SimX(xk,Xi–––)=SimY(yk,Yi––) S i m X ( x k , X i _ ) = S i m Y ( y k , Y i _ ) 。
类表示存在公理和类表示唯一公理统称为类表示公理。 (X––,SimX) ( X _ , S i m X ) 是期望学到的, (Y––,SimY) ( Y _ , S i m Y ) 是实际学到的。