2023年9月18日下午，德克薩斯理工大學的張元林博士應伟德国际BETVlCTOR邀請，在王湘浩樓為我院師生做了題為“自然語言，計算機科學，人工智能，數學和教育”的學術報告。伟德国际BETVlCTOR李占山教授出席并主持本場講座。
在報告中，張元林博士指出人工智能為我們社會帶來了巨大而深遠的影響，它正在改變幾乎每個行業并創造出新的産業和職業機會，甚至某些基礎學科的研究也深受影響。尤其是最近的大語言模型的成功讓人們看到一些傳統的職業将不複存在。張元林博士從自然語言出發，帶領我們重新思考揭示邏輯如何自然地成為人工智能的一部分，以及邏輯如何構成計算機科學和人工智能的一個要件。張元林博士以哥德爾不完全定理為例，闡明ChatGPT不可能代替一切人類工作的事實，說明了涉及到邏輯推理的問題不是一個軟件所能解決的，消除了聽衆的疑慮與擔心。本次報告受到了廣大師生的熱烈響應，引發了強烈反響。
張元林博士為德克薩斯理工大學計算機科學系副教授。他于2004年獲得新加坡國立大學（NUS）計算機科學博士學位。他的研究領域主要是人工智能知識表達與推理，聲明式編程，邏輯編程，以及它們在教育醫療等領域的應用。他主要的貢獻是推理算法，邏輯語言語義及其推理系統，和一個整合各門理工科教學材料設計的統一的理論框架。他的研究獲得2022年Artificial Intelligence經典論文獎。他還榮獲2023年德州理工工學院卓越研究獎。作為首席研究員，他獲得了總額超過400萬美元的美國國家科學基金會（NSF）的資助。他的研究成果發表在人工智能領域的頂尖期刊和會議上，包括Artificial Intelligence，人工智能協會年會（AAAI）以及國際人工智能聯合大會（IJCAI）。他還兩次獲得國際邏輯編程與非單調推理會議（LPNMR）的最佳論文獎。他是AAAI的資深程序委員會成員，IJCAI的程序委員會成員，同時也是《數學評論》知識表達與推理方向的評論員。此外，他還做過美國國家科學基金會在計算機領域某些核心或大項目的評審專家。
