李衍杰 邓铁清 高洪奎 殷保群 田飞 尤薇佳 刘鲁 唐波 胡运发

模型 误差界 非逻辑 目标类型 播放软件 硬盘容量 驱动法 化算法 子目标 粗糙集理论 Horn逻辑 内部谓词 Prolog PROLOG 偏好信息 文件大小 有序线 Programming 策略梯度估计 部分计算 群决策 浏览器 连续时间部分可观Markov决策过程 约束项 图形分析 子句体