王雨田 张玉平 刘富春 王子才 刘毅勇

应用问题 非经典逻辑 程序设计语言 程序规范说明 概率 仿真算法 评估理论 仿真理论 范畴论 归纳逻辑 战场态势评估 混合推理 逻辑主义 模拟表示 归纳学习 一阶谓词逻辑 图模型