论文部分内容阅读
In this paper, we describe in mathematical language a problem of reduction of a functional rule from aknowledge representation system(KRS). Then the invert relations between the reduction of functional rule and the re-duction of a family of subsets are di