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

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