第八百五十章:講課
大夏殷歷2018年3月2號,元宵節。
大夏新科總部一號辦公大樓。
人工智能部門的負責人張俊平,ai行業工程師劉思遠、張修貳、黃石宿……等一眾精英工程師,在會議室內正襟危坐。
新科動力公司的負責人揚程,帶著董建尺、鄒夏生這些項目精英,也坐在旁邊區域,神情嚴肅。
在新科汽車的工程師團隊區域,新科汽車總工程師劉建席坐在區域正中,他身旁是王堂夏、黃堅華,前者是混動車系的工程師,而後者則是新科汽車的純電項目負責人。
工程師張盼盼、劉唐中、李進、陳曉浩等人,則是坐在周圍。
而新科半導體公司的負責人李賢審,也帶著一群半導體工程師,坐在會議室,表情凝重。
而周瑜,此時此刻正站在會議室的主講臺上。
“在人工智能領域,數理邏輯支持知識表示和推理機制,比如專家系統中的知識表示和推理,複雜推理任務如自然語言理解、機器學習和知識圖譜的構建,都需要謂詞邏輯和更高階的邏輯系統來表達和處理複雜的關係和推理過程。
而在語言學的邏輯構建中,數理邏輯可以極大程度幫助形式化語言的結構,通過建立形式語法,我們的語言學家和ai程序工程師,則能夠使用邏輯工具來分析和生成句子,深入理解語言的句法和語義特性。,使用邏輯表達式表示自然語言的意義。
當我們往下深究,其實無論是深度學習中的神經網絡訓練,還是機器學習中的模型參數調整,都涉及到將梯度下降、牛頓法、共軛梯度法、擬牛頓法等優化理論,為ai算法提供了最優解程序。
比如在機器學習中,數據通常以矩陣的形式表示,模型的參數也是以向量和矩陣的形式存在,而線性代數中的矩陣分解,比如主成分分析、奇異值分解、特徵向量等概念,對於降維、數據壓縮和模型理解至關重要。
除此之外,還有概率論、統計學、微積分、複雜性理論,甚至還有幾何學,都在ai項目和其他科技項目有多種作用……”