徐汀荣 刘溪涓 陈楚洵 苏士权 王宁 王延章 张松岩 林孔元 夏吾勇 王英林 董志斌 张申生 陈德运 刘艳丽 杨东 刘丽珠 吴启迪 蒋宗礼 耿卫东 王义和 孙宏蕾 吴慧中 严隽薇 潘云鹤

真值维护 定量分析 支持集 人工智能 整合过程 谓词演算 知识系统 故障诊断 智能CAD 归结原理 信息资源整合 并行处理 并行 协同问题 顺序主子式 广义正定矩阵 复杂性估计 特征值 准确性 群件 启发式搜索算法 实例 正定性 对称正定阵 符号推理 并行工程 PROLOG知识表示 分层方法 专家系统 计算量