赵彪 李订芳 朱关铭 王珊 王宇 叶志江 郑海君 于景元 黄仁龄 童学军 丁斌 孙永强 姚天昉 汪时萍 刘全 郭四稳 鲁汉榕 潘红 贠东风 梁继鸿 陈道蓄 甘小平 汤学彦 王飞 张遵濂 黄明 黄京炜 李进财 张粒子 何志均

变量 Turbo 事实规则库 多层CS结构 推理算法 业务归并 无死锁 目标模型 非阻塞 模式匹配 几何信息 不变式 分布算法 文本规划 汇编语言 程序树 CCLORRL算法 反证法 知识处理系统 出射弧 模型修改 单形 ASP 知识库系统 完整性约束 最优解 子目标 线性泛函 人工智能语言 PROLOG程序