张东摩 石纯一 朱朝晖 宫宁生 洪龙 李斌 曹子宁 顾磊 肖奚安 陈世福 吕建 陈韬略

神经网络 应用 非单调推理 定理证明器 中介熵 中介逻辑 表示定理 赋值层化占先模型 过渡 中介定理证明器 集合 agent理论 中介模态逻辑 行动推理 程序规范 模糊现象 模糊程度 关系结构 BDI模型 自动定理证明 度量 心智状态 真值程度 意向理论 训练算法 中介数学系统 开放逻辑 表推演方法 情境演算 手写体汉字识别

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