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

上下文感知 命题逻辑 有限信息集 诊断集 故障诊断 一阶逻辑 算法 软件自动化

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