骆斌 陈荣 朱梧槚 熊才权 王开铸 缪淮扣 孙贤斌 周傲英 张明义 刘海燕 王克文 吴茂康 周祥和 陈火旺 王兵山 朱福喜 黄华新 范仲春 廖备水 陈世福 王飞 李人厚 戈也挺 欧阳勇 张璟 杨莉 徐剑 李凡 王献昌 姜云飞

人工智能 专家系统 辩论推理 辩论推理 一致性维护 缺省逻辑 数理逻辑 人工智能 非Horn型规则 有序性 因果理论 辩论模型 延伸 智能系统 预测 累加性 辩论 缺省理论 赋值层化占先模型 概率推理 溯因 证明理论 真值维护 可接受假说 逻辑程序设计 时序性 程序说明语义 不精确推理 规划 专家系统

人工智能 专家系统

辩论推理