2023全球人工智能技術(shù)大會

?人工智能邏輯及應(yīng)用專題論壇 ?

2023年6月10日下午，2023全球人工智能技術(shù)大會（GAITC 2023）“人工智能邏輯及應(yīng)用專題論壇”在杭州科技城舉行。論壇由中國人工智能學(xué)會、杭州市人民政府主辦，中國人工智能學(xué)會人工智能邏輯專委會（籌）、浙江省哲學(xué)社會科學(xué)試點(diǎn)實(shí)驗(yàn)室-浙江大學(xué)數(shù)字法治實(shí)驗(yàn)室承辦。

論壇開幕式由浙江大學(xué)數(shù)字法治實(shí)驗(yàn)室主任熊明輝教授主持。在開幕式中，熊明輝教授介紹了本次與會嘉賓及聯(lián)合主持人左晶晶老師的基本情況，并邀請論壇榮譽(yù)主席、中國科學(xué)院陸汝鈐院士發(fā)表線上致辭。

論壇首場報告是由華東師范大學(xué)軟件工程學(xué)院陳儀香教授帶來的“人工智能邏輯模型”。在報告中，陳儀香教授從人工智能簡史著手，回顧了人工智能的三次高潮以及Chat GPT作為當(dāng)今人工智能的最新應(yīng)用成果，講述了人工智能過去的邏輯基礎(chǔ)（如基礎(chǔ)邏輯、知識邏輯）與當(dāng)下的邏輯基礎(chǔ)（如產(chǎn)生式語言TUILI、時態(tài)類組邏輯），并從邏輯角度展望了未來的統(tǒng)一人工智能框架。

隨后，浙江大學(xué)邏輯與認(rèn)知研究所所長廖備水教授以“論新一代人工智能與邏輯學(xué)的交叉研究”為題，為觀眾帶來了第二場報告。在報告中，廖備水教授指出新一代人工智能以大數(shù)據(jù)+機(jī)器學(xué)習(xí)為特點(diǎn)，同時也存在可解釋性、倫理對齊與認(rèn)知推理等問題。相應(yīng)地，人工智能邏輯需要處理不完備性、不確定性和不一致性等問題，這些問題或者難以在經(jīng)典邏輯中解決，或者在傳統(tǒng)非單調(diào)邏輯中面臨通用性低、計(jì)算復(fù)雜度高等困難。對此，廖備水教授提出一種基于形式論辯的研究路徑，作為研究新一代人工智能的邏輯基礎(chǔ)。

論壇的第三場報告是由北京師范大學(xué)哲學(xué)學(xué)院副院長郭佳宏教授講述的“邏輯的封閉性特征與智能實(shí)踐開放性之間的張力——以命題模態(tài)邏輯為例”。郭佳宏教授從邏輯最核心定義的封閉性特征、命題模態(tài)邏輯“典范模型”構(gòu)造、廣義框架中可容許賦值的封閉性、超濾結(jié)構(gòu)的封閉性等角度詳細(xì)闡述了邏輯的封閉性特征與其在人工智能應(yīng)用中的優(yōu)缺點(diǎn)，并指出作為工具學(xué)科的邏輯學(xué)在非絕對確定和極端嚴(yán)格的領(lǐng)域有必要做出相應(yīng)的策略改變。

第四場報告的主講人是南開大學(xué)哲學(xué)院Frank Zenker教授，報告主題是“論證繪圖2.0：你能為人工智能做什么”。Zenker教授比較了論證繪圖、人類論證者、機(jī)器學(xué)習(xí)，指出論證繪圖擁有打破線性文本結(jié)構(gòu)、不受記憶局限、適應(yīng)復(fù)雜問題、推論結(jié)構(gòu)清晰、對數(shù)字推理開放等優(yōu)勢，從而將“能為人工智能做什么”的答案落腳于結(jié)合論證繪圖與論證型式，為人工智能構(gòu)建一個融合了論證型式的高質(zhì)量訓(xùn)練庫，以助于分辨好的論證與壞的論證，讓用戶提問得到更滿意的回答。

● 論壇下半場

論壇下半場由上海百事通信息技術(shù)股份有限公司CEO左晶晶老師主持，首先由阿里巴巴達(dá)摩院技術(shù)總監(jiān)孫常龍老師報告“大語言模型時代法律知識圖譜的構(gòu)建與應(yīng)用”。孫常龍老師從知識圖譜的構(gòu)建技術(shù)出發(fā)，描繪了知識圖譜的技術(shù)背景，并講解在這一背景下如何實(shí)現(xiàn)知識圖譜與大語言模型交互、構(gòu)造易擴(kuò)展的超大規(guī)模司法圖譜，以及在基于司法圖譜的數(shù)據(jù)查詢與分析、基于圖游走的類案推薦中推動法律圖譜的業(yè)務(wù)應(yīng)用。

廣州睿律智能科技有限公司董事長汪宏杰老師主講了論壇第五場報告： “AI開創(chuàng)中國合同智能新時代”。汪宏杰老師以ChatGPT為樣本，闡述了大模型應(yīng)用到深度垂直領(lǐng)域時遇到的種種問題，指出大模型有數(shù)據(jù)庫豐富、搜索快捷，操作靈活的優(yōu)點(diǎn)，但也有信息不可靠、結(jié)果不穩(wěn)定、數(shù)據(jù)不安全的缺陷。汪宏杰老師認(rèn)為，人工智能在深度專業(yè)領(lǐng)域的方向模式應(yīng)當(dāng)是“范式—圖譜—數(shù)據(jù)—反饋”，并介紹了其創(chuàng)始的熊貓AI法律大模型在合同智能中的應(yīng)用，展示了其相對ChatGPT的優(yōu)勢。

論壇的第七場報告是由北京華宇軟件股份有限公司首席人工智能官、教授級高級工程師李東海老師帶來的“法律科技領(lǐng)域大模型構(gòu)建與落地應(yīng)用”。李東海老師介紹了通用大模型技術(shù)、尤其是生成式人工智能技術(shù)的發(fā)展歷程，并分享了他對當(dāng)前通用大模型所存在問題的看法，如在專業(yè)領(lǐng)域有知識鴻溝、提供專業(yè)服務(wù)時存在可信風(fēng)險等。同時，李東海老師也分享了華宇公司在法律大模型構(gòu)建與應(yīng)用中的探索，以及其團(tuán)隊(duì)聯(lián)合清華大學(xué)制定的大模型測試方案和評價標(biāo)準(zhǔn)。

● 座談環(huán)節(jié)

所有專題報告結(jié)束后，論壇迎來了座談環(huán)節(jié)，本次座談的主題是“ChatGPT的底層邏輯”，兩位論壇主持人熊明輝教授、左晶晶老師連同七位報告嘉賓，圍坐在一起分享了彼此對“如何理解ChatGPT背后的邏輯”“如何看待ChatGPT的風(fēng)險”“如何防范ChatGPT的風(fēng)險”等前沿議題的看法。座談結(jié)束后，本次論壇在現(xiàn)場觀眾的熱烈掌聲中圓滿落下帷幕。

本次“人工智能邏輯及應(yīng)用專題論壇”匯集人工智能邏輯學(xué)界與業(yè)界的眾多資深專家學(xué)者，深度探討了人工智能的邏輯基礎(chǔ)，并在大語言模型興起的背景下，廣泛挖掘邏輯與大語言模型的交互，描繪了從學(xué)理到應(yīng)用的完整圖景。本次論壇也在線上收獲熱烈反響，各個渠道累計(jì)超過70萬觀看人次。