首届CCF中国软件大会(2020 CCF Chinasoft)于2020年11月20日-22日在重庆大学召开。会议由中国计算机学会（CCF）主办，CCF系统软件专业委员会、CCF软件工程专业委员会、CCF形式化方法专业委员会、重庆大学软件学院承办。部分beat365手机中文官方网站师生参加会议。

会上，中国科学学院院士、学院创院院长何积丰教授作题为“思维机器和强人工智能（Thinking Machines and Strong AI）”的特邀报告。报告内容针对人工智能下一阶段研究方向进行了阐述，针对下一代人工智能复杂思维的组合性、因果推断能力、逻辑思维模型等方面进行了着重研究，并总结性提出下一代人工智能将以因果推导为主，以科学为中心而非数据为中心；该研究方向是突破现阶段基于数据的人工智能算法和模型的关键。

报告首先通过一些典型案例说明仅仅依赖数据学习的人工智能算法无法解决因果推断、复杂思维等问题，进而提出面向复杂思维过程的推理器框架，主要包括知识语言、查询语言、大数据和因果推断共生引擎等核心部件。在此基础上，提出了一条实现强人工智能的可能途径，指出强人工智能能够对其行为的因果性进行推断和预测，从错误中学习，自主完成意图，并最终实现自由意志驱动。