報(bào)告內(nèi)容：

20世紀(jì)的公理化數(shù)學(xué)研究建立了數(shù)理邏輯這一推理（邏輯推理）的數(shù)學(xué)理論、建立了圖靈機(jī)模型這一電子計(jì)算機(jī)的數(shù)學(xué)模型、建立了經(jīng)典信息論這一通信的數(shù)學(xué)理論，成就了20世紀(jì)科學(xué)的輝煌，并引導(dǎo)了21世紀(jì)的信息時(shí)代。圖靈1950年提出“機(jī)器會(huì)思考嗎？”這一問(wèn)題，并第一次科學(xué)地研究了機(jī)器的智能問(wèn)題，開(kāi)始了人工智能的研究。推理、計(jì)算和信息的研究確實(shí)有助于人工智能的研究。然而，長(zhǎng)期以來(lái)信息和計(jì)算獨(dú)立地研究，沒(méi)能為機(jī)器學(xué)習(xí)和人工智能奠定理論基礎(chǔ)。計(jì)算機(jī)在20世紀(jì)的使命是證明了計(jì)算機(jī)有用，而計(jì)算機(jī)在21世紀(jì)的使命已經(jīng)轉(zhuǎn)變?yōu)闊o(wú)處不用，與此相應(yīng)的數(shù)學(xué)應(yīng)該是一個(gè)信息處理的數(shù)學(xué)理論。經(jīng)典信息論解決了信息傳輸?shù)膯?wèn)題，但它沒(méi)能解決信息處理的問(wèn)題。此外，信息和計(jì)算顯然都是學(xué)習(xí)和智能的關(guān)鍵要素，由于計(jì)算與信息的分離，我們沒(méi)能捕捉到學(xué)習(xí)和智能的實(shí)質(zhì)。事實(shí)上，當(dāng)前的人工智能實(shí)際上是一個(gè)以計(jì)算為中心的信息處理技術(shù)，計(jì)算是一個(gè)局部的概念，它不能實(shí)現(xiàn)人類(lèi)學(xué)習(xí)的直覺(jué)推理，計(jì)算首先需要回答算什么的問(wèn)題，要人來(lái)回答，機(jī)器不知道算什么。計(jì)算沒(méi)有抽象、特別地人類(lèi)所獨(dú)有的層譜抽象的機(jī)理。更為重要的是，計(jì)算沒(méi)有人類(lèi)智能的創(chuàng)造機(jī)制。人類(lèi)學(xué)習(xí)的目標(biāo)是獲取知識(shí)、揭示規(guī)律，并基于知識(shí)與規(guī)律的創(chuàng)造，這些目標(biāo)自然是智能機(jī)的目標(biāo)。然而，這些問(wèn)題都是以計(jì)算為中心的任何機(jī)器的天然障礙。結(jié)構(gòu)信息論是第一個(gè)信息處理的數(shù)學(xué)理論，它為建立以信息為中心的人工智能理論奠定了基礎(chǔ)。我們建立了一個(gè)基于觀(guān)察、聯(lián)想、想象、層譜抽象、編碼、解碼、知識(shí)樹(shù)的學(xué)習(xí)模型，實(shí)現(xiàn)了邏輯推理與直覺(jué)推理的結(jié)合，建立了語(yǔ)法語(yǔ)義一致性的解釋準(zhǔn)則，建立了學(xué)習(xí)與機(jī)器智能的信息度量、模型、原理、理論與方法，解決了人工智能的可解釋性問(wèn)題，破解了以計(jì)算為中心的人工智能技術(shù)的障礙。信息人工智能理論已經(jīng)在廣泛的信息處理中成功應(yīng)用，效果顯著。本次報(bào)告將介紹這個(gè)新理論。

報(bào)告人簡(jiǎn)介：

李昂生，男，1964年3月生，教授、博士生導(dǎo)師。1984年畢業(yè)于云南師范大學(xué)，分別于1988年和1993年在中科院軟件所獲碩士、博士學(xué)位。1998年1月—1999年1月在英國(guó)Leeds大學(xué)做訪(fǎng)問(wèn)學(xué)者，2000年3月—2002年2月在英國(guó)Leeds大學(xué)做研究員。2008年9月-2009年3月訪(fǎng)問(wèn)美國(guó)Cornell大學(xué)Juris Hartmanis教授。1993年7月-2018年7月中國(guó)科學(xué)院軟件研究所助研(1993-1995)，副研(1995-1999)，研究員(1999-2018)。2018年8月-至今，北京航空航天大學(xué)教授。2003年獲國(guó)家杰出青年科學(xué)基金，2008年入選中科院百人計(jì)劃。2012年應(yīng)邀訪(fǎng)問(wèn)英國(guó)劍橋大學(xué)牛頓數(shù)學(xué)科學(xué)研究所做訪(fǎng)問(wèn)研究員。主要研究方向?yàn)榫W(wǎng)絡(luò)空間的信息與計(jì)算理論。他2016年提出的結(jié)構(gòu)熵度量，解決了信息論創(chuàng)始人Shannon和圖靈獎(jiǎng)獲得者Brooks分別于1953年和2003年提出的信息度量問(wèn)題。

歡迎廣大師生參加！