李斌 朱梧槚 朱朝晖 李红兵 吕建 宫宁生 陈世福 吴梅丽 戈也挺 唐小燕 顾红芳 郭磊

定理证明器 情景演算 中介定理证明器 外因行动 占先模型 面向agent程序设计 框架问题 广义信念修正 表推演方法 Agent结构 中介模态逻辑 自动推理 模态逻辑 信念集 信念修正 面向Agent程序设计语言 表推演 智能体 情境演算 中介逻辑 心智状态 信念更新 自动定理证明

南京航空航天大学计算机科学研究所 南京航空航天大学计算机科学研究室 南京航空航天大学计算机系 南京大学计算机软件新技术国家重点实验室 南京通信工程学院数学教研室 南京大学软件新技术国家重点实验室 扬州大学信息工程学院计算机科学与工程系 国家智能计算机研究中心