邓铁清 杨莉 刘晓霞 俞成宜 涂永忠 金芝 吴启明 白方周

算法设计 实时专家系统 归结原理 智能控制 领域知识 知识库一致性 冗余 专家系统 矛盾 Petri网 交互式知识获取 数据结构 元知识 循环 规则库 知识库 知识库协调性 知识库求精 知识获取 知识表示方法