概念的抽象与规则库的求精

？从语言变量的抽象这一概念出发，给出了冗余规则、规则库等价等一些定义，文章最后还给出了规则库的求精算法。