刘宏岚 赵俊 杨炳儒 江娟 高庆狮 张晨东 徐光 刘清 王兵山 陈火旺 潘成胜

影响范围计算 删除策略 集合 二值逻辑 真值指派 不确定性推理 逻辑运算 不精确推理 树推理 常规逻辑 概率 人工智能 信息论 线性规划 归结原理