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