余金山 赵果林 钟伯刚 施心陵 王光明 崔志明 胡守仁 沙胜贤 赵爽 康顺哲 杨莉 李廉 李永礼 党德鹏 刘宗袆 文瑾 钱宁芳

测试情况 面向对象 知识库 语义 缺言理论 记录 非单调推理 实体属性 数据库域 决策树 人工智能 FoxBASE 知识表示 智能化构造 程序变换 实体类型 一致性测试 SQL标准 程序设计 知识库推理和维护 数据库 不精确推理机 树代数 逻辑描述 逻辑程序设计泛代数方程组 逻辑程序设计 专家系统 事实