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

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

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

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

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

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

報告人簡介：劉志明，西南大學(xué)教授,、博士生導(dǎo)師,、軟件理論與系統(tǒng)團(tuán)隊負(fù)責(zé)人、軟件研究與創(chuàng)新中心 （RISE）主任,。1988年在中國科學(xué)院軟件所獲得碩士學(xué)位,，1991年從英國華威（Warwick）大學(xué)獲計算機(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)的計算與人工智能的綜合理論以及軟件架構(gòu)。主要代表性學(xué)術(shù)成果有基于模型轉(zhuǎn)換的容錯和實(shí)時程序設(shè)計方法,；用于系統(tǒng)可靠性分析的概率時段演算,；面向?qū)ο蟪绦蛘Z義和精化理論；形式化模型驅(qū)動軟件開發(fā)方法 rCOS,；人機(jī)物融合自動機(jī)計算模型的概念,，以及人機(jī)物融合系統(tǒng)軟件體系架構(gòu)建模理論與方法。

報告時間：2025年4月15日10:00

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

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

聯(lián)系人：孫全

歡迎廣大師生參加,！