Theoretical Research about Reduction of Functional Rule from a Knowledge Representation System

• 知识表达系统函数规则简化的理论基础