荔建琦 钟广军 张晨东 李舟军 王献昌 刘海燕 陈火旺 徐光

context 谓词等式系 符号迁移图 类 互模拟 非单调推理 多类逻辑 遗传算法 面向对象程序设计 分解算法 决策策略学习 人工智能 机器人进化设计 不确定性推理 方法 对象 一致性 抽象文法 概率逻辑 概率性逻辑自动推理 限制理论 消息 带赋值符号迁移图 传值进程 函数逼近

国防科技大学计算机系 空军指挥学院 长沙工学院计算机科学系 国防科学技术大学计算机学院 国防科学技术大学计算机科学系 国防科学技术大学计算机系 北京空军指挥学院