报告题目：从逻辑经计算到程序设计之旅--兼浅谈人工智能的能力边界
报告摘要：讨论从逻辑、数学模型、理论到计算机程序的发展过程，并重申以下三个要点：
1. 数学逻辑是计算机科学和计算系统的自然基础；
2. 计算模型和编程语言是形式逻辑系统；
3. 程序执行等同于逻辑推理。
进一步讨论逻辑、数学和计算中基本问题的产生，以及在探索这些问题的过程中如何形成了计算机科学。尝试结合形式逻辑系统的语言不变性、可证明定理相对于公理的蕴含封闭性以及哥德尔不完备性定理的哲学意义，探讨逻辑表达和推理相对于人类直觉、感知和意识的不可完备性。这一不可完备性可能是区分人类智能与机器智能（即人工智能）之间的一个基本因素。
报告人简介：刘志明，西南大学教授、博士生导师、软件理论与系统团队负责人、软件研究与创新中心 （RISE）主任。1988年在中国科学院软件所获得硕士学位，1991年从英国华威（Warwick）大学获计算机科学博士学位。 1988年-2015年曾在英国华威（Warwick）大学、莱斯特（Leicester）大学和联合国大学国际软件技术研究所（UNU-IIST, Macao）工作。2016 年全职回国，在西南大学任教，2021年至2022年在西北工业大学但任教授。主要研究方向为软件基础理论、可信软件方法、基于人机物融合系统的计算与人工智能的综合理论以及软件架构。主要代表性学术成果有基于模型转换的容错和实时程序设计方法；用于系统可靠性分析的概率时段演算；面向对象程序语义和精化理论；形式化模型驱动软件开发方法 rCOS；人机物融合自动机计算模型的概念，以及人机物融合系统软件体系架构建模理论与方法。
报告时间：2025年4月15日10:00
报告地点： 数学与统计学院4楼会议室
主办单位：湖北民族大学数学与统计学院
联系人：孙全
欢迎广大师生参加！