刘自伟 邢汉承 朱涛 蔡经球 袁迅 杨莉 童家仙 华红 陈俊亮 刘育刚 胡守仁 罗钢 刘恩洁 郑海君 郭红 高庆狮 任伟利 王以德

专家系统 寄存器组 微结构 人工智能 控制策略 选择点 无限循环 向量巨型机 共享变量 FLL-1语言 关系数据库 机器指令系统 模糊推理 B树索引 模糊谓词 专家系统 向量机 PROLOG语言 原子公式 知识获取 Horn子句 模糊量 模糊 子目标 设计与实现 逻辑程序设计（新增） 软件测试 逻辑程序 终止问题 一阶谓词

专家系统