報告題目：大語言模型與邏輯推理
報告人：陳儀香
單位：華東師范大學
報告時間：2024年7月13日(周六)下午14:00-14:45
報告地點：翡翠科教樓A座一樓第五會議室
報告摘要：本報告將探討人工智能領域中面向大語言模型的邏輯推理。報告首先回顧人工智能的發(fā)展歷程，特別是大語言模型的興起和它們在自然語言處理中的應用。通過典型例子和知名文獻分析大語言模型的邏輯推理，探討大語言模型和邏輯推理融合對人工智能未來發(fā)展趨勢及其潛在影響，以求提高大語言模型的邏輯推理能力，增強大語言模型的智能性。
報告人簡介：主要從事人工智能可信性基礎與工程研究。承擔“973計劃”、“863計劃”、國家基金委等項目10余項，出版專著3部，發(fā)表學術論文100余篇?，F(xiàn)任中國人工智能學會??智能邏輯專委會主任、上海市人工智能學會可信智能系統(tǒng)專委會主任、上海市浦東新區(qū)物聯(lián)網(wǎng)協(xié)會副會長。曾獲教育部自然科學一等獎、北京市科技進步獎一等獎、中國計算機學會科技進步獎二等獎，以及首屆江蘇省普通高校中青年學術骨干、上海市曙光學者等稱號。
TOP
