第848章 講課
大夏殷歷2018年3月2號,元宵節(jié)。
大夏新科總部一號辦公大樓。
人工智能部門的負(fù)責(zé)人張俊平,AI行業(yè)工程師劉思遠(yuǎn)、張修貳、黃石宿……等一眾精英工程師,在會議室內(nèi)正襟危坐。
新科動力公司的負(fù)責(zé)人揚程,帶著董建尺、鄒夏生這些項目精英,也坐在旁邊區(qū)域,神情嚴(yán)肅。
在新科汽車的工程師團(tuán)隊區(qū)域,新科汽車總工程師劉建席坐在區(qū)域正中,他身旁是王堂夏、黃堅華,前者是混動車系的工程師,而后者則是新科汽車的純電項目負(fù)責(zé)人。
工程師張盼盼、劉唐中、李進(jìn)、陳曉浩等人,則是坐在周圍。
而新科半導(dǎo)體公司的負(fù)責(zé)人李賢審,也帶著一群半導(dǎo)體工程師,坐在會議室,表情凝重。
而周瑜,此時此刻正站在會議室的主講臺上。
“在人工智能領(lǐng)域,數(shù)理邏輯支持知識表示和推理機制,比如專家系統(tǒng)中的知識表示和推理,復(fù)雜推理任務(wù)如自然語言理解、機器學(xué)習(xí)和知識圖譜的構(gòu)建,都需要謂詞邏輯和更高階的邏輯系統(tǒng)來表達(dá)和處理復(fù)雜的關(guān)系和推理過程。
而在語言學(xué)的邏輯構(gòu)建中,數(shù)理邏輯可以極大程度幫助形式化語言的結(jié)構(gòu),通過建立形式語法,我們的語言學(xué)家和AI程序工程師,則能夠使用邏輯工具來分析和生成句子,深入理解語言的句法和語義特性。,使用邏輯表達(dá)式表示自然語言的意義。
當(dāng)我們往下深究,其實無論是深度學(xué)習(xí)中的神經(jīng)網(wǎng)絡(luò)訓(xùn)練,還是機器學(xué)習(xí)中的模型參數(shù)調(diào)整,都涉及到將梯度下降、牛頓法、共軛梯度法、擬牛頓法等優(yōu)化理論,為AI算法提供了最優(yōu)解程序。
比如在機器學(xué)習(xí)中,數(shù)據(jù)通常以矩陣的形式表示,模型的參數(shù)也是以向量和矩陣的形式存在,而線性代數(shù)中的矩陣分解,比如主成分分析、奇異值分解、特征向量等概念,對于降維、數(shù)據(jù)壓縮和模型理解至關(guān)重要。
除此之外,還有概率論、統(tǒng)計學(xué)、微積分、復(fù)雜性理論,甚至還有幾何學(xué),都在AI項目和其他科技項目有多種作用……”
一邊講,周瑜偶爾還會在身后的黑板上面寫寫畫畫,羅列一堆公式和數(shù)據(jù)出來。
助理鄭博,他已經(jīng)無法擔(dān)任此次會議的“記錄助理”,因為周瑜寫出來的某些公式和符號,他本人都不認(rèn)識,更不敢隨意臨摹。
只能夠站在講臺旁邊,等待周瑜將黑板即將寫滿的時候,上前幫助更換黑板,無縫銜接。
漸漸地,那些正襟危坐的工程師、數(shù)學(xué)家們,也開始抓耳撓腮,百思不得其解。
“幾何學(xué)的確在計算機視覺和機器學(xué)習(xí)中的數(shù)據(jù)可視化項目有極大的作用,多維標(biāo)度、等距映射和t-SNE等降維技術(shù)都是利用幾何概念來保持?jǐn)?shù)據(jù)在高維空間中的結(jié)構(gòu)。