(三)一種新的刻畫法律論證漸進(jìn)可接受性的語(yǔ)義
波洛克的批判鏈語(yǔ)義可以計(jì)算命題的證成度，進(jìn)而反映法律語(yǔ)境下命題的可接受性。但是該語(yǔ)義用于刻畫法律論證還存在若干問題：(1)批判鏈語(yǔ)義是在由命題組成的推論圖中定義、計(jì)算命題的證成度，但是法律實(shí)踐不僅關(guān)注命題的證成度，還需要直觀地判定(以命題作為結(jié)論的)論證的可接受性程度。要直觀地得到論證的可接受性程度，需要的是由論證組成的論證圖。(2)批判鏈語(yǔ)義容易導(dǎo)致一些反直觀的結(jié)果(36)，例如，減弱攻擊的數(shù)學(xué)性質(zhì)及其定義會(huì)使強(qiáng)度相等的兩個(gè)互相攻擊的命題的證成度為0，但是在實(shí)踐中，兩個(gè)同等強(qiáng)度的命題即使在互相攻擊的情況下仍然可以支持或攻擊其它命題；又如，該語(yǔ)義處理削弱攻擊和反駁攻擊所采用的方法相同，然而攻擊可廢止推論關(guān)系的削弱攻擊與攻擊結(jié)論的反駁攻擊是兩種性質(zhì)不同的攻擊類型，需要對(duì)兩者加以區(qū)分。(3)波洛克的系統(tǒng)中不包含攻擊前提的攻擊類型(ASPIC＋稱之為破壞攻擊)，因而他的批判鏈語(yǔ)義不能計(jì)算遭到破壞攻擊的命題的證成度，該語(yǔ)義應(yīng)當(dāng)加入關(guān)于破壞攻擊的算法。
為避免以上問題，筆者給出了一種新的基于論證圖的漸進(jìn)論證語(yǔ)義(37)，這種語(yǔ)義可以通過計(jì)算論證的證成度來反映法律語(yǔ)境下論證的可接受程度。該語(yǔ)義的核心內(nèi)容包括：(1)定義了一種新的論證圖G(Argument Graph)，論證圖由論證、真子論證鏈以及論證間的攻擊鏈三部分構(gòu)成。在論證圖的圖示中，圓點(diǎn)形箭頭表示論證間的真子論證關(guān)系，普通箭頭表示論證間的攻擊關(guān)系。(2)在論證圖中定義了一類由論證點(diǎn)A通達(dá)論證點(diǎn)B的路徑P(A，B)，并且定義了一類由論證點(diǎn)A通達(dá)其本身的循環(huán)路徑P(A，A)。(3)給出了一種更新論證圖的方法，這種方法通過剔除循環(huán)路徑中的被稱為點(diǎn)依賴(Node-Dependent)的攻擊關(guān)系從而得到更新的論證圖。(4)與前述的帶漸進(jìn)強(qiáng)度的ASPIC＋框架相結(jié)合，利用該框架中的算法計(jì)算得到論證的強(qiáng)度并作為語(yǔ)義中算法的初始賦值，同時(shí)采納該框架中諸如論證構(gòu)造、攻擊類型以及擊敗關(guān)系等概念。(5)給出了一種計(jì)算論證證成度的算法，這種算法可以處理任何帶圈的復(fù)雜論證圖中任意論證的證成度，該算法還包含了計(jì)算被破壞攻擊的論證的證成度，并且對(duì)被反駁攻擊的論證與被削弱攻擊的論證加以區(qū)別處理。仍以“案例片段1”為例，得到的論證圖G表示為(圖4)。
法律論證適用的語(yǔ)義模型有助于起、應(yīng)、審三三方在庭審階段厘清思路，分辨出論證的證成狀態(tài)或證成強(qiáng)度。以刑事審判為例，從審方的角度看，無論是大陸法系還是英美法系，都需要準(zhǔn)確地判定起方支持其主張的論證是不是完全證成的或具有高證成度的，以衡量論證是否達(dá)到無合理懷疑或自由心證的證明標(biāo)準(zhǔn)。從起方的角度看，在英美法系中，起方首先需要給出支持其主張的可防御或弱證成度的論證以履行舉證責(zé)任，從而達(dá)到微弱證據(jù)標(biāo)準(zhǔn)，為進(jìn)一步履行說服責(zé)任，還需要構(gòu)造支持其主張的完全證成或具有高證成度的論證以回應(yīng)其反論證，以達(dá)到無合理懷疑的證明標(biāo)準(zhǔn)。從應(yīng)方的角度看，應(yīng)方需要識(shí)別出起方給出的論證是不是完全證成的或具有高證成度的論證，具體方法可以找出對(duì)應(yīng)的反論證或者指出起方給出論證中存在包含于偶循環(huán)或者奇循環(huán)的子論證。
四、討論與結(jié)語(yǔ)
上面對(duì)法律論證適用的人工智能模型(框架模型和語(yǔ)義模型)做了介紹和分析。需要指出，對(duì)于法律論證模型，人們不僅關(guān)注它的構(gòu)建和它對(duì)法律屬性的刻畫能力，而且關(guān)注基于論證模型生成的可視化軟件及其在司法實(shí)踐中的應(yīng)用前景。這就推動(dòng)了對(duì)法律論證應(yīng)用系統(tǒng)的研究，并且產(chǎn)生了若干成果。應(yīng)用系統(tǒng)是在法律論證模型。(38)的基礎(chǔ)上，結(jié)合不同的司法實(shí)踐目的，利用人工智能技術(shù)和計(jì)算機(jī)編程技術(shù)生成的軟件系統(tǒng)。已有的研究成果隨著應(yīng)用的推廣也逐步在司法實(shí)踐領(lǐng)域發(fā)揮作用。總體而言，對(duì)法律論證應(yīng)用系統(tǒng)的研究，大陸法系更注重基于規(guī)則的推理(RBR)的論證系統(tǒng)，英美法系更注重基于先例的推理(CBR)的論證系統(tǒng)。當(dāng)前應(yīng)用系統(tǒng)研究所涵蓋的內(nèi)容已經(jīng)不局限在法律論證與法律推理的可計(jì)算建模，還擴(kuò)展到法律知識(shí)獲取和表達(dá)、法律規(guī)范概念和司法行為的表達(dá)、規(guī)范系統(tǒng)以及多主體系統(tǒng)的表達(dá)等方面。按照應(yīng)用目標(biāo)的不同，法律論證的應(yīng)用系統(tǒng)可以分為基于法律規(guī)則的系統(tǒng)、基于先例的系統(tǒng)、基于對(duì)話和論辯的系統(tǒng)以及圖解論證系統(tǒng)(39)。