朱梧槚 张文修 陈世福 毛宇光 朱梧檟 陈韬略 朱梧 李斌 吕建 张东摩 许素霞 马建敏 肖文洁 戈也挺 傅秀芬 骆斌 胡金霞

非Horn型规则 意向理论 坏块管理 Vakarelov问题 赋值层化占先模型 择优模型 集值信息系统 KR-结构的扩充 或非型闪存 择优后承 智能体 情境演算 BDI模型 信念更新 结果问题 关系结构 agent理论 因果理论 有缺指派 规划 因果关系 引导加载程序 agent结构 粗糙熵 相容关系 知识表示系统 多级引导 非单调推理 信息逻辑 信念修正

南京航空航天大学计算机科学研究所 南京大学计算机软件新技术国家重点实验室 南京大学计算机软件国家重点实验室 江苏扬州 南京航空航天大学计算机科学与工程系 南京大学计算机软件国家重点实验室南京 南京航空航天大学信息科学与技术学院 扬州大学计算机科学与技术系