孙召春 林耀海 苏开乐 林运国 王秀丽 陈兆乾 李未 黄厚宽 方廷健 戈也挺 李淼 王黎明 张东摩 郭磊 肖文洁 陈世福 王崇骏 杨佩 栾尚敏 高阳 张丽丽 朱朝晖 戴国忠 陈锋 贾松茂

时间约束 表示定理 广义信念修正 迭代修正 收缩 修正 有限信息集 命题逻辑 对话约束 遗忘理论 合作诊断 部分相交收缩 GBR 异构 面向agent技术 协商对话 最小改变 一阶逻辑 弱化矛盾 信念集 AGM 假设推理 冲突消解 面向agent程序设计 外因行动 多议题协商 多Agent系统 R-重构 知识库 逻辑系统