第二章
1.归类八元组
归类输入对应信息提供者,归类输出对应学习者。
划分矩阵
2.类表示
类表示存在公理: 对一个归类算法,外显输入为 ( X , U ) (X,U) (X,U),外显输出为 ( Y , V ) (Y,V) (Y,V),则一定存在对应的内在输入 ( X ‾ , S i m X ) (\underline{X},Sim_X) (X,SimX)和内在输出 ( Y ‾ , S i m Y ) (\underline{Y},Sim_Y) (Y,SimY)
类表示唯一公理: 对一个归类算法,如果其输入为 ( X , U , X ‾ , S i m X ) (X,U,\underline{X},Sim_X) (X,U,X,SimX),其输出为 ( Y , V , Y ‾ , S i m Y ) (Y,V,\underline{Y},Sim_Y) (Y,V,Y,SimY),则 ( X ⃗ , X ‾ , X ~ ) = ( Y ⃗ , Y ‾ , Y ~ ) (\vec{X},\underline{X},\widetilde{X}) = (\vec{Y},\underline{Y},\widetilde{Y}) (X,X,X
)=(Y,Y,Y
)(指派算子,认知表示,相似算子)。
如果 Y ‾ \underline{Y}