報(bào)告題目：從邏輯經(jīng)計(jì)算到程序設(shè)計(jì)之旅--兼淺談人工智能的能力邊界

報(bào)告摘要：討論從邏輯、數(shù)學(xué)模型、理論到計(jì)算機(jī)程序的發(fā)展過程，并重申以下三個(gè)要點(diǎn)：

1. 數(shù)學(xué)邏輯是計(jì)算機(jī)科學(xué)和計(jì)算系統(tǒng)的自然基礎(chǔ)；

2. 計(jì)算模型和編程語言是形式邏輯系統(tǒng)；

3. 程序執(zhí)行等同于邏輯推理。

進(jìn)一步討論邏輯、數(shù)學(xué)和計(jì)算中基本問題的產(chǎn)生，以及在探索這些問題的過程中如何形成了計(jì)算機(jī)科學(xué)。嘗試結(jié)合形式邏輯系統(tǒng)的語言不變性、可證明定理相對于公理的蘊(yùn)含封閉性以及哥德爾不完備性定理的哲學(xué)意義，探討邏輯表達(dá)和推理相對于人類直覺、感知和意識的不可完備性。這一不可完備性可能是區(qū)分人類智能與機(jī)器智能（即人工智能）之間的一個(gè)基本因素。

報(bào)告人簡介：劉志明，西南大學(xué)教授、博士生導(dǎo)師、軟件理論與系統(tǒng)團(tuán)隊(duì)負(fù)責(zé)人、軟件研究與創(chuàng)新中心 （RISE）主任。1988年在中國科學(xué)院軟件所獲得碩士學(xué)位，1991年從英國華威（Warwick）大學(xué)獲計(jì)算機(jī)科學(xué)博士學(xué)位。 1988年-2015年曾在英國華威（Warwick）大學(xué)、萊斯特（Leicester）大學(xué)和聯(lián)合國大學(xué)國際軟件技術(shù)研究所（UNU-IIST, Macao）工作。2016 年全職回國，在西南大學(xué)任教，2021年至2022年在西北工業(yè)大學(xué)但任教授。主要研究方向?yàn)檐浖A(chǔ)理論、可信軟件方法、基于人機(jī)物融合系統(tǒng)的計(jì)算與人工智能的綜合理論以及軟件架構(gòu)。主要代表性學(xué)術(shù)成果有基于模型轉(zhuǎn)換的容錯(cuò)和實(shí)時(shí)程序設(shè)計(jì)方法；用于系統(tǒng)可靠性分析的概率時(shí)段演算；面向?qū)ο蟪绦蛘Z義和精化理論；形式化模型驅(qū)動(dòng)軟件開發(fā)方法 rCOS；人機(jī)物融合自動(dòng)機(jī)計(jì)算模型的概念，以及人機(jī)物融合系統(tǒng)軟件體系架構(gòu)建模理論與方法。

報(bào)告時(shí)間：2025年4月15日10:00

報(bào)告地點(diǎn)： 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院4樓會(huì)議室

主辦單位：湖北民族大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院

聯(lián)系人：孫全

歡迎廣大師生參加！