陈由迪 李未 关志伟 马绍汉 危辉 冯海波 田丰 戴国忠

上下文感知 命题逻辑 有限信息集 诊断集 故障诊断 一阶逻辑 算法 软件自动化 算法重定位 归纳推理 迭代修正 表达 算法设计 笔式用户界面 联机手写数学公式识别 算法演化 极小冲突集 信念集 时间复杂性 人机交互 动力学系统 信念修正 计算神经科学 联想记忆 极限

中国科学院软件研究所 北京航空航天大学计算机科学与工程系 山东大学计算机科学系 上海200433中国科学院计算技术研究所... 北京100080浙江大学计算机科学与工程... 复旦大学计算机科学与工程系认知算法模型实... 浙江杭州 中国科学院软件研究所人机交互技术与智能信...