王以松 唐峰 张允 魏昆鹏 石振国 陈火炎 周倜 刘锋 吕文进 陈建平 刘椿年 李舟军 魏耀华 杨新武 刘宗田 庄朝晖

无穷循环 并行执行 逆演绎 遗传算法 人工智能 模态逻辑 格结构 当前子目标 异例 安全性质 约束 函数 推导格式 可编程逻辑控制器 环境共享 语义 PSOF模型 归结耗理 并行解释 算法 位串表示 回溯 映射 回答集 同例 推理机制 卡诺图 溯因推理 ANDOR处理模型 归纳学习