當(dāng)前，大模型研究正逐步從依賴擴(kuò)展定律（Scaling Law）的預(yù)訓(xùn)練轉(zhuǎn)向聚焦推理能力的后訓(xùn)練。鑒于符號(hào)邏輯推理的有效性與普遍性，提升大模型的邏輯推理能力成為解決幻覺問題的關(guān)鍵途徑。

為推進(jìn)大語言模型邏輯推理能力的研究，清華大學(xué)邏輯學(xué)研究中心聯(lián)合來自北京大學(xué)、阿姆斯特丹大學(xué)（UvA）、卡內(nèi)基梅隆大學(xué)（CMU）、穆罕默德·本·扎耶德人工智能大學(xué)（MBZUAI）等五所高校的研究人員，近期共同發(fā)布了調(diào)研綜述“邏輯推理賦能大模型：一項(xiàng)全面調(diào)研綜述”（Empowering LLMs with Logical Reasoning: A Comprehensive Survey）。

論文系統(tǒng)調(diào)研了該領(lǐng)域最前沿的研究方法與評(píng)測(cè)基準(zhǔn)，圍繞“邏輯問答”和“邏輯一致性”兩個(gè)關(guān)鍵科學(xué)問題，建立了完整的分類體系，對(duì)前沿研究方法進(jìn)行了系統(tǒng)歸納與概述，同時(shí)整理了該領(lǐng)域常用的公開基準(zhǔn)數(shù)據(jù)集與評(píng)估指標(biāo)，并探討了未來值得關(guān)注的重要研究方向。

研究綜述分類體系

論文已被國際人工智能聯(lián)合會(huì)主辦的頂級(jí)人工智能會(huì)議——IJCAI 2025（International Joint Conference on Artificial Intelligence）收錄于綜述論文賽道（Survey Track）。作者團(tuán)隊(duì)還將在會(huì)議現(xiàn)場圍繞同一主題進(jìn)行專題講座（Tutorial），全面探討該研究領(lǐng)域所面臨的挑戰(zhàn)、主流方法及未來機(jī)遇。IJCAI是人工智能領(lǐng)域最具影響力的國際會(huì)議之一，也是目前唯一設(shè)有綜述論文投稿賽道的頂級(jí)會(huì)議。

清華大學(xué)人文學(xué)院教授劉奮榮及其指導(dǎo)的成鳳祥參與該工作。成鳳祥于2024年獲得清華大學(xué)碩士學(xué)位，目前在阿姆斯特丹大學(xué)攻讀博士學(xué)位，師從劉奮榮教授與阿姆斯特丹大學(xué)范羅伊（van Rooij）教授。北京大學(xué)助理研究員李昊軒、教授林宙辰，卡內(nèi)基梅隆大學(xué)和穆罕默德·本·扎耶德人工智能大學(xué)教授張坤，以及范羅伊共同參與此項(xiàng)工作。