纪锡强 杨奎河 秦丽 张璟 陈文彬 吴保国 郝克刚 胡正国 杜为民 马驰 韩秀清 曾晓勤 朱逸芬 邹阳 李春葆 王宝树 杨颖 吴健 王驹 陈有祺 谢奇光 戴金海 何天牧 钱乐秋 姚新宇 蒋立源 陆汝钤

规则 反向推理 人机交互 程序处理 本体 语法分析 状态图 结点 YACC 交互式系统 主动服务 Java SLR 正向推理 边覆盖 非终结符 条件元素 解释 二维文法 框架表示 专家系统 知识获取 推理机 代码生成 对应关系 机器人路径实现 属性计算 智能计算机辅助教学 解释器 属性文法