知识的化简第3.1节 引言本章讨论如何约减知识库即如何消除知识库中的冗余知识分为两种基本类型的约减:知识(等价关系)的约减概念(等价类)的约减第3.2节 知识的简式与核定义3.1设R是一个等价关系簇若有一等价关系R∈R使得IND(R)IND(R?{R})则称R在R中是不必要的(dispensable)否则称R在R中是必要的(indispensable)若?R∈R都是必要的则说R是独立的(in