李斌 张崇峰 陈卫东 朱梧槚 张东摩 王建东 肖文洁

智能体理论 析取范式表达式 赋值结构 蕴涵式表达式 重构 智能体模型 容错 非单调逻辑 情境演算 星载计算机 检测 行动理论 泛布尔代数 决策表 逻辑表达式 有限语言 占先语义