周立柱 吴丹 程退安 于明玖 石树刚 宋保华 吴锡琪 李孟源 郑振楣 易允文 钟诗胜 易辉 高明芝 李洪心 周傲英 吴启明 杨海成 曹泽文 郭福顺 刘三阳 许文艳 施伯乐 胡风华 钟珞 冯玉才 马金平 马锐 曹忠升 刘冰 叶军

菱形求解策略 产生式系统 规则知识框架 资源 问题求解方法 知识工程 知识表达 VisualBasic 智能决策支持 SQL语言 Petri网模型 智能CAD UPDATE 可拓约束图 多处理机系统 数据中心 语义网 检测算法 数据库系统 可拓模型 专家系统应用编程接口 匹配式检索 面向对象 人工智能 模糊处理 演绎数据库 专家系统 知识库一致性 知识表示 系统结构