[美]凱文·艾希禮 著 楊安卓 陳曉莉 譯

一、導(dǎo) 論

當(dāng)前,法學(xué)院應(yīng)該開(kāi)設(shè)一種“人工智能(AI)與法律”研討班,為法律專業(yè)學(xué)生講授一些數(shù)字時(shí)代的法律推理和法律實(shí)踐的課程?！叭斯ぶ悄芘c法律”是人工智能/計(jì)算機(jī)科學(xué)研究的一個(gè)子領(lǐng)域,致力于設(shè)計(jì)能夠執(zhí)行法律推理的計(jì)算機(jī)程序——計(jì)算模型。這些計(jì)算模型可以用于建立法律實(shí)踐和教學(xué)的輔助工具以及研究法律推理,從而促進(jìn)認(rèn)知科學(xué)和法理學(xué)的發(fā)展。今天,在一定的條件下,計(jì)算機(jī)程序可以根據(jù)法律條例進(jìn)行推理,可以適用判例,甚至可以像律師一樣進(jìn)行辯論。

我們應(yīng)該在部分法學(xué)院開(kāi)設(shè)關(guān)于“人工智能與法律”的研討班,這樣就能夠?yàn)閷W(xué)生講授有關(guān)法律和法律推理的基本技能,包括：①法律規(guī)則固有的模糊邏輯和語(yǔ)義歧義;②與法律規(guī)則本身同樣重要的對(duì)法律規(guī)則的推理;③ 從一般法律問(wèn)題中辨認(rèn)出重難點(diǎn)的挑戰(zhàn);④關(guān)于法律規(guī)則基礎(chǔ)價(jià)值的爭(zhēng)論方式。

“人工智能與法律”的研究者從慘痛的教訓(xùn)中吸取了經(jīng)驗(yàn)。正如每個(gè)程序員都知道,要讓程序執(zhí)行一項(xiàng)任務(wù),需要詳細(xì)地安排一系列步驟(或者通過(guò)機(jī)器學(xué)習(xí)提供許多帶標(biāo)注的實(shí)例)。如果程序要將某些輸入轉(zhuǎn)換為某些輸出,如輸出一個(gè)法律結(jié)論和解釋,則需要詳細(xì)說(shuō)明推理的每個(gè)步驟。在這個(gè)過(guò)程中,研究者需要解決學(xué)生在法律教育中發(fā)現(xiàn)或應(yīng)該發(fā)現(xiàn)的所有問(wèn)題。例如,研究者必須解釋學(xué)生們提出的這些問(wèn)題：在法律規(guī)范中通常出現(xiàn)的某些概念沒(méi)有明確規(guī)定含義的情況;不明確法律規(guī)范有哪些例外的情況;法規(guī)的邏輯可能很模糊的情況;在解釋法規(guī)應(yīng)該如何應(yīng)用于問(wèn)題時(shí),還存在除了問(wèn)題、規(guī)則、應(yīng)用和結(jié)論(IRAC)之外其他有用的法律論證模式的情況;對(duì)某些案例而言,類推比另一些法律論證模式更有效的情況。

通過(guò)讓學(xué)生關(guān)注這些給試圖用計(jì)算機(jī)為法律推理建模的科學(xué)家們帶來(lái)麻煩的問(wèn)題,學(xué)生就可以以一種新的方式學(xué)習(xí)有關(guān)法律和法律推理的基本原理。正如他們的研究論文所證明的,“人工智能與法律”研究者習(xí)慣性地“追溯至元問(wèn)題”,他們使法律推理的過(guò)程清楚明確,而這些過(guò)程在法律教育中常常被隱晦地處理。他們具體化了過(guò)程的步驟,并用擴(kuò)展的示例進(jìn)行了說(shuō)明?？紤]到人類和計(jì)算機(jī)之間的認(rèn)知差異,法律專業(yè)的學(xué)生不會(huì)像計(jì)算機(jī)一樣執(zhí)行這些步驟,但是關(guān)注這些過(guò)程會(huì)使法律專業(yè)的學(xué)生對(duì)法律推理中的漏洞和誤區(qū)更加敏感,而這些漏洞和誤區(qū)正是法律推理所要解決的,結(jié)果便會(huì)提高學(xué)生認(rèn)真閱讀法律資料的能力、準(zhǔn)確起草法律文件的能力、合理管理法律風(fēng)險(xiǎn)的能力和有效管理信息的能力。

將計(jì)算模型與律師、法官和法律學(xué)生在日常實(shí)踐中實(shí)際執(zhí)行的任務(wù)以及他們實(shí)際使用的文本聯(lián)系起來(lái),是“人工智能與法律”的一個(gè)持續(xù)挑戰(zhàn),越來(lái)越多的人正在應(yīng)對(duì)這種挑戰(zhàn)。一些計(jì)算機(jī)程序正在幫助荷蘭的移民局根據(jù)大量的管理規(guī)定來(lái)處理客戶,同時(shí)向監(jiān)管者提供信息,說(shuō)明如何根據(jù)程序的執(zhí)行來(lái)改進(jìn)規(guī)定。計(jì)算機(jī)程序還從現(xiàn)代訴訟活動(dòng)所產(chǎn)生的大量電子文檔中,學(xué)習(xí)選擇和聚類那些與當(dāng)事人的訴訟理路最接近的文檔,這些文件的選取基于訴訟當(dāng)事人對(duì)與證據(jù)和辯護(hù)相關(guān)或不相關(guān)的小組文件所做的標(biāo)記。

今天,隨著電子發(fā)掘、①訴訟審前發(fā)現(xiàn),是指處理當(dāng)事人查閱對(duì)方當(dāng)事人和其他人手中的材料請(qǐng)求,來(lái)披露事實(shí)和形成審理證據(jù)。電子發(fā)掘涉及審前發(fā)現(xiàn)中電子存儲(chǔ)信息的收集、交換和分析。大型訴訟通常涉及數(shù)以百萬(wàn)計(jì)的電子文檔,這是對(duì)傳統(tǒng)的使用關(guān)鍵字搜索來(lái)檢索文檔,然后手動(dòng)檢查它們的相關(guān)性的方法的一個(gè)挑戰(zhàn)。法律信息檢索、基于網(wǎng)絡(luò)的電子合同信息的語(yǔ)義處理、法律論證計(jì)算模型等技術(shù)的進(jìn)步,學(xué)生在實(shí)踐中使用甚至依賴這些系統(tǒng)的機(jī)會(huì)正在增加。學(xué)生越來(lái)越精通計(jì)算機(jī),他們從小就與互聯(lián)網(wǎng)相連,他們見(jiàn)證了IBM的“危險(xiǎn)的沃特森”(JeopardyTM-winningIBMWatson)程序,這個(gè)程序能夠瞬間吃透數(shù)百萬(wàn)頁(yè)的文本,回答問(wèn)題比最優(yōu)秀的人類選手更快、更準(zhǔn)確。今天的學(xué)生相信,智能計(jì)算機(jī)在法律實(shí)踐中可以扮演更重要的角色。通過(guò)讓學(xué)生思考像沃特森(Watson)這樣的程序如何回答法律問(wèn)題并解釋其答案,“人工智能與法律”研討班可以引發(fā)學(xué)生的這種興趣。研討班鼓勵(lì)學(xué)生思考法律推理和法律實(shí)踐的過(guò)程,以及這些過(guò)程如何利用信息。如下所述,鑒于法律服務(wù)和法律就業(yè)市場(chǎng)的發(fā)展,學(xué)生從計(jì)算機(jī)程序的角度思考是有用的。研討班還告訴學(xué)生一些新的數(shù)字文檔技術(shù)如何工作,它們能做的和不能做的,它們?nèi)绾螠y(cè)量性能,它們?nèi)绾卧u(píng)估技術(shù)主張,以及如何成為精明的消費(fèi)者和技術(shù)用戶。

通過(guò)“人工智能與法律”研討班,本文為法律專業(yè)學(xué)生做好數(shù)字時(shí)代的準(zhǔn)備提供了指導(dǎo)和案例。在介紹了人工智能科學(xué)及其在法律中的應(yīng)用之后,本文給出了最新的“人工智能與法律”研討班的教學(xué)大綱。本文以《教學(xué)大綱》為框架,介紹了人工智能與法律課程的一些特點(diǎn),闡明了“人工智能與法律”課程在法律實(shí)踐中關(guān)于用法律規(guī)范與案例進(jìn)行推理、法律論證、數(shù)字文檔技術(shù)甚至規(guī)范等方面的重要教學(xué)經(jīng)驗(yàn)。

二、關(guān)于人工智能與法律概要

如前所述,人工智能是計(jì)算機(jī)科學(xué)研究的一個(gè)分支,其研究重點(diǎn)在于計(jì)算機(jī)建模行為,當(dāng)人類執(zhí)行建模行為時(shí),行為通常被認(rèn)為是智能的。②Semantic Information Processing (Marvin Minsky,ed.,1968).所謂智能行為的計(jì)算模型,是指能夠執(zhí)行或模擬行為的計(jì)算機(jī)程序?！叭斯ぶ悄芎头伞毖芯空呓⒘朔赏评淼挠?jì)算模型,這些模型是執(zhí)行或模擬法律推理的計(jì)算機(jī)程序。如果程序的輸入是對(duì)法律問(wèn)題的描述,那么它的輸出可以包括法律問(wèn)題的解決方案和解釋。法律問(wèn)題的解決除了需要一個(gè)決定或預(yù)測(cè)之外,還經(jīng)常需要合理的解釋。事實(shí)上,支持決策的論據(jù)可能比決策本身更重要,否則人類用戶無(wú)法判斷是否要依賴其給出的法律建議。對(duì)解釋和論證的關(guān)注是“人工智能與法律”對(duì)人工智能研究作出貢獻(xiàn)的一個(gè)關(guān)鍵領(lǐng)域。

像計(jì)算機(jī)程序一樣,計(jì)算模型可以按照程序的輸入、輸出以及將前者轉(zhuǎn)換為后者的中間步驟來(lái)描述。中間的一組步驟(或算法)將輸入的問(wèn)題描述轉(zhuǎn)換為輸出。在指定AI程序的輸入/輸出(I/O))行為時(shí),三個(gè)問(wèn)題尤其相關(guān)：① 知識(shí)表示和搜索,即輸入和用于分析它們的信息如何在可以系統(tǒng)搜索的問(wèn)題空間中表示?②推理控制機(jī)制,即在效率和相關(guān)性方面,對(duì)解決方案的搜索由什么支配?③ 學(xué)習(xí),即為了提高性能,程序如何從錯(cuò)誤和成功以及其他信息來(lái)源中學(xué)習(xí)?③Neil Stillings,Steven E.Weisler,Christopher H.Chase,Mark H.Feinstein,Jay L.Garfield,Edwina L.Rissland,Neil A.Stillings&Steven W.Weisler,Cognitive Science：An Introduction 140-142,177,192(2d ed.1995).

在“人工智能與法律”程序的案例中,只有少數(shù)能接受自然語(yǔ)言文本輸入的問(wèn)題,或用文本表達(dá)的案例或法律規(guī)范。更多的情況是問(wèn)題以專門的表示形式呈現(xiàn),例如,作為專家系統(tǒng)④Donald A.Waterman&Mark A.Peterson,Models of Legal Decisionmaking14(1981)[“專家系統(tǒng)”是體現(xiàn)人類專家提供的專業(yè)知識(shí)和知識(shí)的計(jì)算機(jī)程序,使用人工智能技術(shù)為(用戶)提供推論]。產(chǎn)生的問(wèn)題的答案,或作為問(wèn)題中出現(xiàn)的維度因素列表,如加強(qiáng)或削弱一方聲明的陳規(guī)定型事實(shí)模式。⑤Kevin D.Ashley,Reasoning with Cases and Hypotheticals in HYPO,34 Int'l J.of Man-Mach.Stud.753,763-764(1991).類似地,程序知識(shí)庫(kù)中的規(guī)則可以用邏輯表達(dá)式和案例來(lái)表示,正如問(wèn)題也可以用要素來(lái)表示。在討論一些具有代表性的“人工智能與法律”方案時(shí),重點(diǎn)將放在如何系統(tǒng)地尋找解決辦法以及學(xué)習(xí)上,例如如何檢測(cè)案例文本中的因素或如何對(duì)法律規(guī)范的文本進(jìn)行分類。

在理論上,以及往往在實(shí)踐中,人工智能或“人工智能與法律”程序的問(wèn)題解決行為可以按照類似于應(yīng)用于人類問(wèn)題解決的相關(guān)性和性能度量來(lái)評(píng)估(例如在給定輸入下的預(yù)測(cè)準(zhǔn)確度、覆蓋范圍、精確度、召回以及輸出的解釋的充分性)。此外,人工智能程序可能受到修改的圖靈測(cè)試,其中人類法官與源進(jìn)行互動(dòng),向源提出問(wèn)題和接收反饋。法官在對(duì)源的性質(zhì)不知情的情況下,試圖確定源是人還是機(jī)器。⑥Amela McCorduck,Machines Who Think 70(2d ed.2004).

“人工智能與法律”程序的算法,即將輸入的法律問(wèn)題描述轉(zhuǎn)換成輸出的解釋方案的一組中間步驟,這從法律教學(xué)的觀點(diǎn)來(lái)看可能特別有趣。在將法律推理過(guò)程分解為一組步驟的過(guò)程中,研究者明確了一些在教學(xué)或法理學(xué)陳述中經(jīng)常被遺漏或未解釋的方面。程序的I/O行為的例子說(shuō)明了運(yùn)行中的法律推理模型,包括在問(wèn)題環(huán)境中應(yīng)用的步驟。這些例子突出了程序的成功和失敗之處,其中成功是指輸出符合我們從律師那里期望得到的智能行為,失敗是指輸出不那么符合上述智能行為。研究者利用一個(gè)漸進(jìn)過(guò)程來(lái)構(gòu)思如何提高模型的(法律)性能和擴(kuò)展成功的范圍。通過(guò)I/O實(shí)例說(shuō)明推理步驟、假設(shè)、成功與失敗,為學(xué)生提供法律推理過(guò)程的窗口。

三、教授法學(xué)專業(yè)學(xué)生“人工智能與法律”

“人工智能與法律”研討班具有教學(xué)價(jià)值的關(guān)鍵原因在于,“人工智能與法律”程序把輸入的法律問(wèn)題轉(zhuǎn)化為輸出的解釋方案的步驟。研討班向法學(xué)院學(xué)生提供一些思考機(jī)會(huì),讓他們思考人類法律推理是否能夠、如何以及如何很好地處理同樣的問(wèn)題。

在觀察將法律推理過(guò)程分解為一組步驟的過(guò)程中,學(xué)生會(huì)意識(shí)到,在推理過(guò)程中,有些漏洞可能需要通過(guò)一些特殊的方法來(lái)“填補(bǔ)”,這些漏洞的細(xì)節(jié)是隱晦的、無(wú)法解釋的,有時(shí)甚至是不合理的。這些漏洞案例包括區(qū)分法律的困難問(wèn)題和簡(jiǎn)單問(wèn)題,確定案件之間哪些相似點(diǎn)和不同點(diǎn)在法律上是相關(guān)的,分解相互沖突的規(guī)則,以及對(duì)規(guī)則背后的價(jià)值進(jìn)行論證。“人工智能與法律”研究者在某種意義上并沒(méi)有填補(bǔ)這些漏洞來(lái)讓一些法律或法學(xué)學(xué)者滿意,但是他們已經(jīng)在關(guān)注填補(bǔ)這些漏洞的問(wèn)題以及實(shí)現(xiàn)工程化的過(guò)程,從而為某些目的充分地解決這些問(wèn)題。法學(xué)院學(xué)生花時(shí)間和精力來(lái)觀察這些漏洞如何被填補(bǔ)是非常值得的。即使“人工智能與法律”研究涉及計(jì)算模型,一般沒(méi)有計(jì)算機(jī)編程經(jīng)驗(yàn)的非技術(shù)學(xué)生仍然可以通過(guò)學(xué)習(xí)模型和實(shí)例來(lái)提高他們對(duì)法律的理解。這些算法十分抽象地被描述為流程圖或文本描述的步驟集。

這些算法的例子在操作中是法律推理的直觀實(shí)例,法律學(xué)生可以從中學(xué)習(xí)。如前所述,自動(dòng)法律推理程序的I/O示例說(shuō)明了程序的成功和失敗。失敗是更有趣的,因?yàn)閷W(xué)生可以觀察人類智能如何填補(bǔ)漏洞,思考其對(duì)法律和“人工智能與法律”的影響。作為思維實(shí)驗(yàn),學(xué)生可以在一個(gè)漸進(jìn)過(guò)程中(如擴(kuò)展示例的解釋)參與構(gòu)建如何提高程序(法律)性能的問(wèn)題,從而設(shè)計(jì)出更好的法律推理計(jì)算模型。當(dāng)然,它需要技術(shù)專家來(lái)詳細(xì)理解計(jì)算模型的知識(shí)如何表示(例如用邏輯形式表示)以及搜索、推理控制和學(xué)習(xí)如何實(shí)現(xiàn)。幸運(yùn)的是,法律專業(yè)的學(xué)生不需要理解技術(shù)細(xì)節(jié),就可以從法律推理的范例中學(xué)習(xí)。

如上所述,“人工智能與法律”研討班具有教學(xué)價(jià)值的第二個(gè)關(guān)鍵原因在于幫助學(xué)生理解現(xiàn)代法律實(shí)踐技術(shù)。由于當(dāng)前越來(lái)越多的律師被要求評(píng)估、購(gòu)買和依賴使用機(jī)器學(xué)習(xí)、⑦機(jī)器學(xué)習(xí)是根據(jù)經(jīng)驗(yàn)自動(dòng)改進(jìn)的計(jì)算機(jī)算法研究。Tom M.Mitchell,MachineLearning 1-2(1997).數(shù)據(jù)挖掘、⑧見(jiàn)后引[17][“機(jī)器學(xué)習(xí)算法……尤其適用于……可能包含可自動(dòng)發(fā)現(xiàn)有價(jià)值的隱式規(guī)則的大型數(shù)據(jù)庫(kù)的數(shù)據(jù)挖掘問(wèn)題(例如,從患者數(shù)據(jù)庫(kù)中分析醫(yī)療治療結(jié)果或從財(cái)務(wù)數(shù)據(jù)庫(kù)中學(xué)習(xí)信貸價(jià)值的一般規(guī)則)”]。自然語(yǔ)言處理和信息檢索的產(chǎn)品(例如在電子發(fā)掘中),對(duì)于非程序設(shè)計(jì)法律專業(yè)的學(xué)生來(lái)說(shuō),了解如何使用這些工具以及這些工具如何工作是非常有價(jià)值的。電子發(fā)掘工具將不僅很快可以被允許使用,而且需要達(dá)到專業(yè)的護(hù)理標(biāo)準(zhǔn)和大型企業(yè)客戶的要求。

盡管諸如從大型數(shù)據(jù)組中進(jìn)行機(jī)器學(xué)習(xí)、數(shù)據(jù)挖掘或自然語(yǔ)言處理等技術(shù)很復(fù)雜,并且其摒棄了法律直覺(jué),律師們?nèi)詫⒃絹?lái)越多地必須選擇這些工具,并用它們或指導(dǎo)其他人使用它們、解釋它們的輸出,并向其他人(如法官)證明它們的可靠性和有效性。基于這些類型的模型和軟件產(chǎn)品,法學(xué)院的學(xué)生至少可以學(xué)習(xí)概念詞匯、技術(shù)如何工作的高級(jí)描述、測(cè)量性能的方法、度量的意義、模型捕獲了什么以及模型遺漏了什么。從以下方面進(jìn)行思考的經(jīng)驗(yàn)將使學(xué)生了解針對(duì)法律職業(yè)的數(shù)字工具的消費(fèi)者：① 對(duì)算法的高級(jí)描述;② 算法在何處工作以及在何處失效的實(shí)例;③ 測(cè)量性能的方法。

在過(guò)去的25年中,“人工智能與法律”研討班定期在哈佛大學(xué)、斯坦福大學(xué)、東北大學(xué)、芝加哥-肯特大學(xué)和匹茲堡大學(xué)的法學(xué)院開(kāi)授。⑨見(jiàn) 后 引 [13]、[17] 、[23] 、[24] 。 自 1989年 以 來(lái) ,Kevin Ashley一 直 在 匹 茲 堡 大 學(xué) 教 授 人 工 智 能 與 法 律 研 討 課 。通常,研討班主要集中讓學(xué)生學(xué)習(xí)在該領(lǐng)域主要渠道出版的可用文獻(xiàn),這些渠道有如人工智能與法律(ICAIL)國(guó)際大會(huì)、⑩International Association for Artificial Intelligence and Law,http：//www.iaail.org(last visited Apr.23,2013).法律知識(shí)與信息系統(tǒng)年會(huì)(JURIX)[11]Jurix,The Foundation for Legal Knowledge Based Systems,http：//www.jurix.nl(last visited Apr.20,2013).和《人工智能與法律》雜志。[12]見(jiàn)Artificial Intelligence&L.,available atwww.springer.com/computer/aijournal/10506.這些文獻(xiàn)說(shuō)明了法律推理的I/O實(shí)例和中間步驟。他們還指出了一個(gè)關(guān)于重要法律/教育挑戰(zhàn)相關(guān)的漏洞,人類推理者很容易跨越、躲避或忽視這個(gè)漏洞,而計(jì)算推理者需要特殊的技術(shù)來(lái)解決這個(gè)漏洞。有時(shí),“人工智能與法律”研討班會(huì)聯(lián)合學(xué)習(xí)人工智能的法律學(xué)生和計(jì)算機(jī)科學(xué)研究生。這為法學(xué)院的學(xué)生提供了一個(gè)教學(xué)上非常寶貴的機(jī)會(huì)來(lái)練習(xí)向非法學(xué)院的學(xué)生解釋法律(以及讓研究生向非技術(shù)人員解釋計(jì)算機(jī)科學(xué))。學(xué)生也獲得了與具有技術(shù)和技術(shù)頭腦的人進(jìn)行互動(dòng)的經(jīng)驗(yàn),許多學(xué)生在實(shí)踐中,可能會(huì)在客戶或供應(yīng)商中遇到這些人。

通過(guò)讓學(xué)生參與構(gòu)建、應(yīng)用或使用法律推理的計(jì)算模型或用于法律推理的某些方面?！叭斯ぶ悄芘c法律”實(shí)踐課程可以讓他們更進(jìn)一步。斯坦福大學(xué)、東北大學(xué)、芝加哥-肯特大學(xué)、[13]在芝加哥-肯特大學(xué),理查德·懷特(Richard Wright)教授使用SAGE教授了一門關(guān)于“計(jì)算機(jī)和法律推理”的課程：一個(gè)教學(xué)專家系統(tǒng)開(kāi)發(fā)工具,一套他自己設(shè)計(jì)的計(jì)算機(jī)程序,使得快速、超文本驅(qū)動(dòng)的綜合規(guī)則庫(kù)和案例庫(kù)的構(gòu)建能夠代表法律知識(shí)并模擬法律推理,尤其是在法律領(lǐng)域。羅恩·斯塔德(RonStaudt)教授教授“司法和技術(shù)實(shí)踐”,讓學(xué)生參與構(gòu)建基于網(wǎng)絡(luò)的工具(包括專家系統(tǒng)),以支持法律服務(wù)倡導(dǎo)者、公益志愿者和公益訴訟人。和匹茲堡大學(xué)的法學(xué)院已經(jīng)開(kāi)展了“人工智能與法律”實(shí)踐課程,為學(xué)生提供了使用適用于非程序員的軟件開(kāi)發(fā)工具來(lái)開(kāi)發(fā)專家系統(tǒng)的機(jī)會(huì)。實(shí)習(xí)活動(dòng)可以作為“實(shí)驗(yàn)室”的一個(gè)組成部分與“人工智能與法律”研討班結(jié)合在一起,也可以在下一學(xué)期跟進(jìn)。無(wú)論有沒(méi)有編程技能的學(xué)生實(shí)際上都可以構(gòu)建法律專家系統(tǒng)的組件,并且這樣做之后,他們將努力彌補(bǔ)差距。即使他們沒(méi)有跨越這個(gè)差距,他們也會(huì)了解到這個(gè)差距。

由于許多計(jì)算機(jī)程序都涉及一個(gè)不斷改進(jìn)的設(shè)計(jì)過(guò)程,通過(guò)確定目標(biāo)和子目標(biāo),并描述實(shí)現(xiàn)每一級(jí)別目標(biāo)的一系列步驟,法學(xué)院的學(xué)生即使在不懂得編程語(yǔ)言的情況下也能夠從事高級(jí)設(shè)計(jì)任務(wù),能系統(tǒng)地思考解決法律程序過(guò)程的法學(xué)院學(xué)生可以逐步分解問(wèn)題,然后集中精力“發(fā)明”解決某個(gè)子目標(biāo)的技術(shù)(例如一組步驟)。他們不需要通過(guò)編寫程序來(lái)學(xué)習(xí)描述這些步驟的過(guò)程或舉例說(shuō)明這些步驟的過(guò)程。

計(jì)算機(jī)編碼中的實(shí)際編程只發(fā)生在過(guò)程的末尾,在任何情況下,它可能不需要特殊的技能。越來(lái)越多的工具可以使用,非程序設(shè)計(jì)專業(yè)的法律學(xué)生可以利用這些工具為實(shí)際的法律問(wèn)題建立解決方案,從而慢慢落實(shí)他們的智能專家系統(tǒng)組件。最近,在喬治城法學(xué)院的“技術(shù)、創(chuàng)新和法律實(shí)踐”研討班上,學(xué)生們使用利奧塔邏輯(NeotaLogic)公司開(kāi)發(fā)的工具在各個(gè)領(lǐng)域建立了法律專家系統(tǒng),一些律師事務(wù)所也使用NeotaLogic來(lái)創(chuàng)建用于專業(yè)實(shí)踐的專家系統(tǒng)。[14]Press Release,Neota Logic,Inc.,Georgetown Law Students Challenge Tradition by Building Online Legal Advisors with Neota Logic (Apr.24,2012)available at,http://www.prweb.com/releases/neotalogic/irontechlawyer/prweb9438690.htm.沒(méi)有編程技能的學(xué)生也可以參與設(shè)計(jì)和使用注釋法律文本的方案(包括使用下文[15]見(jiàn)后引[40]。所述的論證圖解工具),然后它們就可以用于法律推理的計(jì)算模型,或者應(yīng)用機(jī)器學(xué)習(xí)根據(jù)其法律意義對(duì)文本進(jìn)行分類。例如,霍夫斯特拉大學(xué)法學(xué)院的“法律、邏輯和技術(shù)研究實(shí)驗(yàn)室”的學(xué)生通過(guò)參加有關(guān)法律意見(jiàn)中的證據(jù)推理注釋和有關(guān)深入學(xué)習(xí)的經(jīng)驗(yàn)研究活動(dòng),從而學(xué)習(xí)法律推理。[16]Law,Logic&Technology Research Laboratory,http://www.lltlab.org(lastvisited Apr.23,2013).

四、“人工智能與法律”研討班教學(xué)大綱

“人工智能與法律”研討班的教學(xué)大綱包括兩個(gè)關(guān)鍵教學(xué)點(diǎn),即從法律推理的逐步分解中吸取教訓(xùn)和理解法律實(shí)踐的新技術(shù)。

（一）基于法律規(guī)范與案例推理的計(jì)算模型

教學(xué)大綱的第一部分“法律推理計(jì)算模型導(dǎo)論”的第一節(jié)包含一項(xiàng)豐富的調(diào)查和兩個(gè)與學(xué)生特別相關(guān)的解決法律問(wèn)題的計(jì)算模型的早期實(shí)例,這些學(xué)生都上了第一年的侵權(quán)和合同課程。

埃德溫娜·里斯蘭(Edwina Rissland,中文名：李詩(shī)蘭)的調(diào)查向法學(xué)院的學(xué)生介紹了人工智能、人工智能在法律領(lǐng)域的應(yīng)用以及法律推理的計(jì)算模型。[17]Edwina L.Rissland,Artificial Intelligence and Law：Stepping Stones to a Model of Legal Reasoning,99 Yale L.J.1957,1957-1958(1990).作者系馬薩諸塞大學(xué)計(jì)算機(jī)科學(xué)名譽(yù)教授,定期在哈佛法學(xué)院教授人工智能與法律研討課。除分配閱讀材料外,她還強(qiáng)烈建議法學(xué)院學(xué)生以及她的研究生(我是其中之一,我永遠(yuǎn)感激這一機(jī)會(huì))準(zhǔn)備一份一頁(yè)的閱讀材料摘要,包括以下主要條目：① 對(duì)工作內(nèi)容的簡(jiǎn)要描述(即不超過(guò)兩到三句話);②STRE方法的長(zhǎng)度;③ 方法的弱點(diǎn);④ 與學(xué)生的某些項(xiàng)目、任務(wù)、任務(wù)或觀點(diǎn)相關(guān)的方法。我發(fā)現(xiàn)準(zhǔn)備這些閱讀摘要總是很有幫助的,我請(qǐng)我的學(xué)生也做同樣的事情。這種模型的第一個(gè)例子是唐納德·沃特曼(Donald Waterman)的專家系統(tǒng),該系統(tǒng)使用啟發(fā)式規(guī)則(基于專家經(jīng)驗(yàn)的拇指法則)來(lái)給出解決產(chǎn)品責(zé)任索賠問(wèn)題的建議。[18]Waterman&Peterson,見(jiàn)前引④。唐納德·沃特曼是人工智能的先驅(qū),他的論文項(xiàng)目模擬了撲克賭博。第二個(gè)樣本模型由安妮·加德納(Anne Gardner)所提出,它分析了學(xué)生在第一年的侵權(quán)和合同課程中遇到的考試問(wèn)題。[19]Anne von der Lieth Gardner,An Artificial Intelligence Approach to Legal Reasoning.4(1987).安妮·加德納畢業(yè)于斯坦福大學(xué),獲計(jì)算機(jī)科學(xué)博士學(xué)位。每一個(gè)例子都說(shuō)明了用于得出法律結(jié)論的計(jì)算機(jī)制。Rissland的調(diào)查也關(guān)注Waterman和Gardner的例子,并將它們與下面描述的基于案例的法律推理模型的開(kāi)發(fā)相關(guān)聯(lián)。

Waterman的程序包含三種源于法律機(jī)構(gòu)、訴訟律師和保險(xiǎn)理賠人的規(guī)則：定義法律概念的規(guī)則,如產(chǎn)品責(zé)任、嚴(yán)格責(zé)任和相對(duì)過(guò)錯(cuò)責(zé)任;處理不確定法律術(shù)語(yǔ)的解釋陪審員對(duì)外表和同情的可能反應(yīng)的非正式規(guī)則,以及指導(dǎo)解決計(jì)算的規(guī)則(例如計(jì)算疼痛和痛苦的量)。該系統(tǒng)以自下而上的方式應(yīng)用規(guī)則,它基于這樣一種規(guī)則：反復(fù)詢問(wèn)用戶問(wèn)題,然后給出答案,使用適用的規(guī)則得出結(jié)論,說(shuō)明爭(zhēng)端對(duì)于解決問(wèn)題有多大價(jià)值。通過(guò)解釋其結(jié)論,程序可以輸出一棵推理樹(shù),一棵被“激發(fā)”的規(guī)則樹(shù)(即其條件被滿足的規(guī)則樹(shù)),從而得出結(jié)論。

Gardner的程序作為四個(gè)中間結(jié)論或狀態(tài)之間的有序進(jìn)程,實(shí)現(xiàn)了報(bào)價(jià)和接受的模型：(0)沒(méi)有相關(guān)性,(1)未決的報(bào)價(jià),(2)合同的存在,(1+2)合同的存在加上修改合同的未決提議。圓弧表示從一個(gè)狀態(tài)移動(dòng)到另一個(gè)狀態(tài)的方式。例如,從(0)移動(dòng)到(1)需要找到要約,從(1)移動(dòng)到(2)需要找到對(duì)未決要約的接受,從(2)移動(dòng)到(0)需要撤銷要約并拒絕承諾。并且在該模型中存在與每個(gè)弧相關(guān)的規(guī)則,這些規(guī)則定義了條件并確定條件是否已經(jīng)滿足(即事實(shí)是否披露了要約,接受,撤銷等)。

法律推理的邏輯模型部分包括馬雷克·斯國(guó)特(Marek Sergot)等人的早期程序,其分析了涉及英國(guó)公民的法律問(wèn)題,它是試圖“計(jì)算”法規(guī)的代表之一。這個(gè)程序包括150條來(lái)自《英國(guó)國(guó)籍法》的規(guī)定(人工表示),可以分析涉及國(guó)籍的問(wèn)題,并使用它所得出的邏輯推理來(lái)解釋其答案。[20]Marek J.Sergot,Fariba Sadri,Robert A.Kowalski,Frank Kriwaczek,P.Hammond&H.T.Cory,The British Nationality Actasa Logic Program,29Comm.of the ACM 370(1986).Marek Sergot是倫敦帝國(guó)理工學(xué)院的計(jì)算邏輯教授。

在計(jì)算大型法規(guī)時(shí),出現(xiàn)了一個(gè)實(shí)際問(wèn)題：法令規(guī)則的形式表示有脫離法定文本的趨勢(shì)。這個(gè)問(wèn)題使系統(tǒng)結(jié)果的解釋變得復(fù)雜,也使維護(hù)規(guī)則隨法定文本的修改而更新的大型系統(tǒng)變得復(fù)雜。特雷弗·本奇-卡波(Trevor Bench-Capon)和弗蘭茲·科內(nèi)(Franz Coenen)開(kāi)發(fā)了一種協(xié)調(diào)法定規(guī)則表示的方法,以便它們與法定代碼的結(jié)構(gòu)同構(gòu)。[21]Trevor Bench-Capon&Franz Coenen,Exploiting Isomorphism：Development of a KBS to Support British Coal Insurance Claims,1991Proc.of the Third Int'l Conf.of Artificial Intelligence &L.62.

本節(jié)中的其他著作對(duì)在將法定文本解釋為邏輯規(guī)則時(shí)出現(xiàn)的問(wèn)題提出警示。其中一個(gè)問(wèn)題是需要處理由于自然語(yǔ)言文本中邏輯連接器的范圍不確定而引起的邏輯歧義。[22]見(jiàn)Layman E.Allen&C.Rudy Engholm,Normalized Legal Drafting and the Query Method,29 J.Legal Educ.380(1977—1978).另一個(gè)問(wèn)題源自這樣一個(gè)事實(shí),即古典邏輯是單調(diào)的,一旦得出結(jié)論,即使根據(jù)新的信息,也不能“收回”。因此,它不太適合法律推理,這是由于在法律推理中,法律結(jié)論通常可以被某種方式加以辯駁。[23]Donald Berman&Carole Hafner,Obstacles to the Development of Logic-Based Models of Legal Reasoning,in Computer Power And Legal Language 183- 214(Charles Walter ed.,1986).唐納德·伯曼,前法律和計(jì)算機(jī)科學(xué)中心教授和副主任,定期在馬薩諸塞州波士頓東北大學(xué)教授人工智能與法律研討課。

基于案例的法律推理模型和預(yù)測(cè)法律結(jié)果的模型部分包括了對(duì)純粹基于規(guī)則的、演繹性的法律推理模型的替代方案進(jìn)行建模的技術(shù)。通過(guò)可定義的原型機(jī)和論點(diǎn)驅(qū)動(dòng)的形態(tài)分析機(jī)制,[24]見(jiàn)L.Thorne McCarty,An Implementation of Eisnerv.Macomber,1995Proc.of the Fifth Int'l Conf.OnA rtificial Intelligence&L.276.索恩·麥卡蒂是羅格斯大學(xué)的計(jì)算機(jī)科學(xué)和法律教授,他在那里教授關(guān)于人工智能與法律的研討課,并作為斯坦福法學(xué)院的訪問(wèn)學(xué)者。再加上若干可以通過(guò)表示和調(diào)節(jié)事實(shí)因素的原型來(lái)增強(qiáng)或削弱特定的主張的維度,[25]Ashley,見(jiàn)前引⑤,at763-764.這些模型就能夠更靈活地表示法律概念。第三個(gè)模型GREBE使用語(yǔ)義網(wǎng)絡(luò)來(lái)表示法官在解釋其所有權(quán)認(rèn)為很重要(或判別性的)的事實(shí)。[26]L.Karl Branting,Building Explanations from Rules and Structured Cases,34 Int'l J.of Man-Mach.Stud.797(1991).這些程序使用案例來(lái)產(chǎn)生支持和反對(duì)提出的結(jié)論(如HYPO的三層論證[27]Ashley,見(jiàn)前引⑤,at764.)的論據(jù),這明顯偏離了邏輯演繹模型的推理。

基于實(shí)例的模型也集中在開(kāi)發(fā)新的技術(shù)來(lái)經(jīng)驗(yàn)地評(píng)估計(jì)算模型的領(lǐng)域,例如GREBE的圖靈測(cè)試?？枴げ继m廷(L.Karl Branting)聘請(qǐng)一位人類專家對(duì)法學(xué)院學(xué)生或程序產(chǎn)生的論據(jù)進(jìn)行評(píng)分。評(píng)分員沒(méi)有被告知論據(jù)的來(lái)源(也就是說(shuō),沒(méi)有人提示他有任何論據(jù)是由計(jì)算機(jī)生成的),而程序的論據(jù)看起來(lái)像法學(xué)院學(xué)生的論文。[28]Branting,見(jiàn)前引[26]。

基于案例的模型啟發(fā)了基于要素的方法,CATO[29]見(jiàn)Vincent Aleven,Using Background Knowledge in Case-Based Legal Reasoning：A Computational Model and an Intelligent Learning Environment,150Artificial Intelligence183(2003).和IBP,[30]見(jiàn)Kevin D.Ashley&Stefanie Brüninghaus,Computer Models forLegal Prediction,46 Jurimetrics 309(2006).它們基于正反兩面論據(jù)來(lái)預(yù)測(cè)法律案例的結(jié)果。這使人們重新對(duì)評(píng)估模型和預(yù)測(cè)準(zhǔn)確性的客觀標(biāo)準(zhǔn)產(chǎn)生了興趣,自從早期的研究者應(yīng)用了最近鄰方法預(yù)測(cè)涉及資本收益問(wèn)題的加拿大稅務(wù)案件的結(jié)果,這就是“人工智能與法律”中一個(gè)反復(fù)出現(xiàn)的線索。[31]見(jiàn)Ejan Mackaay&Pierre Robillard,Predicting Judicial Decisions：The Nearest Neighbour Rule and Visual Representation of Case Patterns,3Datenverarbeitungim Recht302(1974).除了預(yù)測(cè),CATO和IBP還增加了根據(jù)論點(diǎn)解釋預(yù)測(cè)結(jié)果的能力。

題為“模型結(jié)合案例、法令、法規(guī)、概念和價(jià)值”的部分著重于對(duì)基于案例的計(jì)算模型的其他改進(jìn)。GREBE程序集成了基于案例和基于規(guī)則的推理,使用在《工人賠償法》[32]Branting,見(jiàn)前引[26]。中具有經(jīng)常被訴訟的法律概念,索引了過(guò)去案例中標(biāo)準(zhǔn)事實(shí)的語(yǔ)義網(wǎng)絡(luò)。

另一種結(jié)合案例和規(guī)則的方法,CABARET聯(lián)合了國(guó)稅局規(guī)定內(nèi)政部扣除量的邏輯表示和條款的開(kāi)放式結(jié)構(gòu)法定術(shù)語(yǔ)。這種方法索引了術(shù)語(yǔ)的正面和負(fù)面的案例實(shí)例。[33]Edwina L.Rissland&David B.Skalak,CABARET：Statutory Interpretation in a Hybrid Architecture,34 Int'l J.of Man-Mach.Stud.839(1991).值得注意的是,CABARET采用議程機(jī)制在基于規(guī)則的分析和基于案例的分析之間切換,生成了支持和反對(duì)納稅人立場(chǎng)的論據(jù)。

1993年,一個(gè)有影響的評(píng)論改變了“人工智能與法律”對(duì)基于案例的計(jì)算模型的研究進(jìn)程。[34]Donald H.Berman&Carol Hafner,Representing Teleological Structure in Case-Based Legal Reasoning：The Missing Link,1993Proc.of the Fourth Int'l Conf.on Artificial Intelligence &L.50.唐納德·H.伯曼(Donald H.Berman)和卡羅爾·哈芬(Carol Hafner)指出,這些模型缺乏目的論成分,即法律法規(guī)所服務(wù)的隱藏目的或價(jià)值——這些目的和價(jià)值原本是人類法律解釋活動(dòng)的焦點(diǎn)——在這些模型中卻被遺漏了。這種批評(píng)引導(dǎo)了未來(lái)10年的工作的轉(zhuǎn)向,繼而導(dǎo)致了Bench-Capon和薩特(Sartor)的具有里程碑意義的法律推理模式,其使用的案例吸收了從先例中引出的價(jià)值偏好理論中的價(jià)值因素。[35]Trevor Bench-Capon&Giovanni Sartor,A Model of Legal Reasoning with Cases Incorporating Theories and Values,150Artificial Intelligence97(2003).另一種方法集中于案例決策如何延伸地定義職業(yè)道德中的原則。它以“法官”(實(shí)際上是工程倫理學(xué)專家)作出的倫理決策中標(biāo)準(zhǔn)事實(shí)語(yǔ)義網(wǎng)絡(luò)的廣義版本來(lái)表示案例。[36]見(jiàn)Bruce M.McLaren,Extensionally Defining Principles and Cases in Ethics：An AI Model,150Artificial Intelligence 145(2003).在一次實(shí)驗(yàn)中,布魯斯·M.麥克拉倫(Bruce M.McLaren)通過(guò)實(shí)驗(yàn)證明了作為填充抽象倫理規(guī)則意義的案例,他對(duì)SIROCCO程序檢索效率貢獻(xiàn)頗大。

（二）具有論證方案的可廢除法律推理

這一節(jié)介紹當(dāng)前“人工智能與法律”研究的重點(diǎn),使用吸收和重述上述邏輯演繹、基于案例和基于價(jià)值的方法來(lái)評(píng)估法律權(quán)利索賠的論證模式,開(kāi)發(fā)非單調(diào)、可廢除的法律推理的統(tǒng)一計(jì)算框架。非單調(diào)或可廢除的推理模型能夠根據(jù)新的信息(法律推理的一個(gè)重要特征)恢復(fù)先前的推理結(jié)果。

關(guān)于用參數(shù)模式評(píng)估法律主張的章節(jié)概述了由凱蒂·阿特金森(Katie Atkinson)和 Bench-Capon[37]Katie Atkinson&Trevor Bench-Capon,Argumentation and Standards of Proof,2007Proc.of the Eleventh Int'l Conf.on Artificial Intelligence &L.107.以及托馬斯·F.戈登(Thomas F.Gordon)和道格拉斯·沃爾頓(Douglas Walton)[38]Thomas F.Gordon&Douglas Walton,Legal Reasoning with Argumentation Schemes,2009 Proc.of the Twelfth Int'l Conf.on Artificial Intelligence &L.137.提出的統(tǒng)一框架。該工作還包括對(duì)關(guān)于法律主張的證據(jù)論證和證明標(biāo)準(zhǔn)的建模。

馬提亞·格拉巴(Matthias Grabmair)和筆者開(kāi)發(fā)了用于美國(guó)最高法院口頭辯論中使用的價(jià)值判斷、中間法律概念和虛擬案例進(jìn)行案例比較的參數(shù)模型。[39]Matthias Grabmair&Kevin D.Ashley,Facilitating Case Comparison Using Value Judgments and Intermediate Legal Concepts,2011Proc.of the Thirteenth Int'l Conf.on Artificial Intelligence&L.161;Matthias Grabmair&KevinD.Ashley,Argumentation with Value Judgments-An Example of Hypothetical Reasoning,2010 Proc.of the 23rd Ann.Conf.on Legal Knowledge&Info.Sys.67.韋恩·R.沃克(Vern R.Walker)的模型將案例中的證據(jù)推理的例子與模型法定要求的決策樹(shù)連接。[40]Vern R.Walker,Nathaniel Carie,Courtney C.De Witt&Eric Lesh,A Framework for the Extraction and Modeling of Fact-Finding Reasoning from Legal Decisions：Lessons from the Vaccine/Injury Project Corpus,19 Artificial Intelligence&L.291,296-298(2011).

隨著參數(shù)模式對(duì)程序建模法律論據(jù)種類的改進(jìn)和擴(kuò)展,它們?cè)黾恿藢?duì)更好地表示法律事實(shí)情況和概念的方法的需求。索恩·麥卡蒂(L.Thorne McCarty)[41]McCarty,見(jiàn)前引[24]。和Rissland[42]Rissland,見(jiàn) 前 引 [17];Rissland&Skalak,見(jiàn) 前 引[33],at 839-840.提出的對(duì)靈活概念模式的需求變得更加迫切。作者通過(guò)實(shí)證分析證明,[43]Kevin D.Ashley&Stefanie Brüninghaus,A Predictive Role for Intermediate Legal Concepts,2003 Proc.of the Sixteenth Ann.Conf.on Legal Knowledge&Info.Sys.153,155.中間法律概念對(duì)預(yù)測(cè)法律結(jié)果起著重要作用。隨著時(shí)間的流逝,其含義變化可以被監(jiān)控,[44]Edwina L.Rissland&M.Timur Friedman,Detecting Change in Legal Concepts,1995 Proc.of the Fifth Int'l Conf.on Artificial Intelligence &L.127.并且參數(shù)模式導(dǎo)致了對(duì)關(guān)于特定中間法律的含義進(jìn)行更加詳細(xì)的參數(shù)建模。[45]Grabmair&Ashley,前引[39],at 164-166.

所謂法律本體,是指用于法律規(guī)范和事實(shí)情景的領(lǐng)域概念的系統(tǒng)的、明確的規(guī)范,它可以幫助計(jì)算模型靈活地用法律概念進(jìn)行推理。某些時(shí)候,法律本體是從以形式表示的案例進(jìn)行推理的計(jì)算模型轉(zhuǎn)變?yōu)橐晕谋颈硎镜陌咐年P(guān)鍵。在法律本體中表示法律概念和案例知識(shí)的部分介紹了法律本體的基礎(chǔ)工作;[46]Trevor J.M.Bench-Capon&Peppin R.S.Visser,Ontologies in Legal Information Systems;The Need for Explicit Specifications of Domain Conceptualisations,1997 Proc.of the Sixth Int'l Conf.on Artificial Intelligence&L.132;Joost Breuker,Andre Valente&Radboud Winkels,Legal Ontologies in Knowledge Engineering and Information Management,12Artificial Intelligence&L.241(2004).一些本體需要被用于支持使用參數(shù)模式的類推、目的論和假設(shè)法律推理;[47]見(jiàn)KevinD.Ashley,Ontological Requirements for Analogical,Teleological,and Hypothetical Legal Reasoning,2009 Proc.of the Twelfth Int'l Conf.on Artificial Intelligence &L.1.用于從法律文本構(gòu)建法律本體論的最新的半自動(dòng)化手段。[48]Enrico Francesconi、Simonetta Montemagni、Wim Peters和Daniela Tisconia,在法律文本的語(yǔ)義處理中,整合了自下而上和自上而下的方法,為多語(yǔ)言法律領(lǐng)域構(gòu)建語(yǔ)義資源：法律語(yǔ)言符合語(yǔ)言法95(Enrico Francesconi、Simonetta Montemagni、Wim Peters和Daniel A Tisconiaeds.,2010)。

（三）法律信息檢索、信息提取和文本處理

第三部分解釋了全文法律信息檢索系統(tǒng)如何工作,從而向?qū)W生介紹法律信息檢索(“IR”)的實(shí)用性(第五部分進(jìn)行更詳細(xì)的解釋),[49]Howard Turtle,Text Retrieval in theLegal World,3Artificial Intelligence&L.5,5-6(1995).包括倒排索引的使用、術(shù)語(yǔ)頻率在評(píng)估相關(guān)性中的作用、使用貝葉斯網(wǎng)絡(luò)的檢索概率模型,[50]見(jiàn)Eugene Charniak,Bayesian Networks Without Tears,12 AI Magazine,Winter 1991,at 50.評(píng)估法律IR的方法及適用措施,精確度和召回,[51]DavidC.Blair&M.E.Maron,An Evaluation of Retrieval Effectiveness for a Full-Text Document-Retrieval System,28 Comm.of the ACM289(1985).以及從法律文本中提取信息的 方 法 。[52]Peter Jackson,Khalid Al-Kofahi,Alex Tyrrell&Arun Vacher,Information Extraction from Case Law and Retrieval of Prior Cases,150Artificial Intelligence239(2003).

結(jié)合法律IR和人工智能來(lái)分析法律權(quán)利要求這一部分探討了全文法律信息檢索和“人工智能與法律”模型可能互補(bǔ)的優(yōu)缺點(diǎn)。這部分還探討了結(jié)合它們的方法,包括使用基于案例的模型在SPIRE程序中自動(dòng)發(fā)現(xiàn)案例意見(jiàn)中的法律相關(guān)段落,[53]Jody J.Daniels&Edwina L.Rissland,Finding Legally Relevant Passages in Case Opinions,1997 Proc.of the Sixth Int'l Conf.on Artificial Intelligence &L.39.使用法律本體來(lái)提高檢索效率,[54]M.Saravanan,B.Ravindran&S.Raman,Improving Legal Information Retrieval Using an Ontological Framework,17Artificial Intelligence&L.101,103(2009).從案例法中自動(dòng)提取信息,[55]Jackson等,見(jiàn) 前 引 [52]。支持其他法律研究范式,諸如通過(guò)法律信息網(wǎng)絡(luò)進(jìn)行啟發(fā)式搜索。在SCALIR中,由法律案例組成的網(wǎng)絡(luò)通過(guò)共享術(shù)語(yǔ)或引文連接。[56]Daniel E.Rose&Richard K.Belew,A Connectionist and Symbolic Hybrid for Improving Legal Research,35 Int'l J.of Man-Mach.Stud.1(1991).在Bank XX中,法律知識(shí)網(wǎng)絡(luò)連接有注釋的節(jié)點(diǎn),這些節(jié)點(diǎn)將案例表示為因素集合和引文束,并將原型故事和法律理論的示例表示為因素束。[57]Edwina Rissland,David Skalak&Timur Friedman,Bank XX：Supporting Legal Arguments through Heuristic Retrieval,4 Artificial Intelligence&L.1,5-8(1996).

法律信息提取和文本處理部分的工作將法律推理的計(jì)算模型和法律文本聯(lián)系起來(lái)。SMILE+IBP程序根據(jù)適用因素對(duì)文本描述的案例進(jìn)行分類,然后使用IBP預(yù)測(cè)和解釋它們的結(jié)果。[58]Kevin D.Ashley&Stefanie Brüninghaus,Automatically Classifying Case Texts and Predicting Outcomes,17Artificial Intelligence&L.125,139-140(2009).其他程序根據(jù)主要類型、抽象類別和主題(如“行政法”或“知識(shí)產(chǎn)權(quán)法”)或規(guī)范類型(例如定義、許可或義務(wù))自動(dòng)對(duì)法律文本進(jìn)行分類,然后提取諸如規(guī)范特征(例如義務(wù)、責(zé)任承擔(dān)者、行動(dòng)或行動(dòng)對(duì)象)和監(jiān)管功能(即關(guān)于法規(guī)管轄哪些實(shí)體和事件以及法規(guī)的目的及其約束的功能)的信息。[59]Enrico Francesconi&Andrea Passerini,Automatic Classification of Provisions in Legislative Texts,15Artificial Intelligence&L.1,2-3(2007);Emile de Maat,KaiKrabben&Radboud Winkels,Machine Learning Versus Knowledge Based Classification of Legal Texts,2010Proc.of the Twenty-third Ann.Conf.Legal Knowledge&Info.Sys.87.

在以往的“人工智能與法律”關(guān)于法律信息提取和文本處理的工作中,研究者可以假設(shè)法律文本具有相當(dāng)同質(zhì)的結(jié)構(gòu),并且符合關(guān)于內(nèi)容的某些約束。然而,這些假設(shè)不適用于電子發(fā)掘,在電子發(fā)掘中,訴訟各方必須分析和產(chǎn)生大量與投訴和答復(fù)的指控有關(guān)的文件?！搬槍?duì)電子發(fā)掘的人工智能與法律工具”這部分內(nèi)容的工作是,通過(guò)獲取與律師關(guān)于索賠和文件的假設(shè)有關(guān)的證據(jù)來(lái)應(yīng)對(duì)這些挑戰(zhàn)。[60]見(jiàn)Kevin Ashley&Will Bridewell,Emerging AI&Law Approaches to Automating Analysis and Retrieval of Electronically Stored Information in Discovery Proceedings,18 Artificial Intelligence&L.311(2010).鑒于天量文檔的存在,這是一個(gè)信息檢索工具必然占主導(dǎo)地位的領(lǐng)域,[61]Douglas W.Oard,Jason R.Baron,Bruce Hedin,David D.Lewis&Stephen Tomlinson,Evaluation of Information Retrieval for E-discovery,18Artificial Intelligence&L.347(2010).但其中統(tǒng)計(jì)技術(shù)與基于法律主張和假設(shè)的模型的知識(shí)可以相互補(bǔ)充。[62]David D.Lewis,After word：Data,Knowledge,and E-discovery,18Artificial Intelligence&L.481(2010).人工智能工具可以發(fā)揮有價(jià)值的作用,例如在使用社交網(wǎng)絡(luò)技術(shù)過(guò)濾文檔,[63]Hans Henseler,Network-based Filtering for Large Email Collections in E-Discovery,18Artificial Intelligence&L.413(2010).創(chuàng)建用于預(yù)測(cè)編碼的相關(guān)文檔的最佳種子集(即基于機(jī)器學(xué)習(xí)的不可視的文檔分類[64]Christopher Hogan,Robert S.Bauer&Daniel Brassil,Automation of Legal Sensemaking in E-discovery,18Artificial Intelligence&L.431(2010).),以及支持律師用創(chuàng)新界面探索文檔。[65]Caroline Privault,Jacki O'Neill,Victor Ciriza&Jean-Michel Renders,A New Tangible User Interface for Machine Learning Document Review,18Artificial Intelligence&L.459(2010).

（四）人工智能與法律的未來(lái)：連接計(jì)算模型和法律文本的橋梁

教學(xué)大綱的第四部分轉(zhuǎn)向一些未來(lái)的“人工智能與法律”工作,彌補(bǔ)法律推理計(jì)算模型與法律文本之間的差距?！叭斯ぶ悄芘c法律的近期發(fā)展”這一節(jié)呈現(xiàn)了一些可以合理預(yù)期的發(fā)展。JeopardyTM-winning IBM Watson程序[66]David Ferrucci,Eric Brown,Jennifer Chu-Carroll,James Fan,David Gondek,Aditya A.Kalyanpur,Adam Lally,J.William Murdock,Eric Nyberg,John Prager,Nico Schlaefer&Chris Welty,Building Watson：An Overview of the Deep QA Project,31AI Magazine,Fall 2010,at 59.的 Deep QA方法可能對(duì)如何從法律決策文本中自動(dòng)提取相關(guān)信息產(chǎn)生深遠(yuǎn)的影響。使用Deep QA自然語(yǔ)言處理工具對(duì)法律決策文本中的論點(diǎn)圖式信息進(jìn)行注釋,程序可以較為理想地篩選提供法律遵從性證據(jù)的新文本。[67]Kevin D.Ashley&Vern R.Walker,Automated Monitoring of Legal-Rule Compliance Using Deep QA：Screening Legal Documents for Argumentation Evidence (unpublished manuscript)(on file with authors).貝葉斯網(wǎng)絡(luò)將與論證模式相結(jié)合,[68]Matthias Grabmair&Kevin D.Ashley,A Survey of Uncertainties and their Consequences,in Probabilistic Legal Argumentation,in Bayesian Argumentation61,61-62(FrankZenker ed.,2012).以便法律論證的計(jì)算模型能夠比Waterman的定居指導(dǎo)計(jì)劃更系統(tǒng)地解釋事實(shí)、規(guī)范、道德和經(jīng)驗(yàn)的不確定性。[69]Waterman &Peterson,見(jiàn)前引④。監(jiān)管要求的可廢除的邏輯模型將有助于確保業(yè)務(wù)流程的設(shè)計(jì)符合法律,[70]Guido Governatori&Sidney Shek,Rule Based Business Process Compliance,874 Proc.of the Rule ML2012@ECAI Challenge,at the Sixth Int'l Symp.on Rules Paper No.5(2012),available at http://ceur-ws.org/Vol-874/paper17.pdf.并在錄入電子合同時(shí)實(shí)現(xiàn)基于網(wǎng)絡(luò)代理的自動(dòng)化。[71]Benjamin N.Grosof,Yannis Labrou&Hoi Y.Chan,A Declarative Approach to Business Rules in Contracts：Courteous Logic Programs in XML,1999 Proc.of the First ACM Conf.on Electronic Com.業(yè)務(wù)流程方法將繼續(xù)擴(kuò)展到管理機(jī)構(gòu)。在荷蘭移民歸化服務(wù)的Indigo項(xiàng)目中,法律和法規(guī)在規(guī)則引擎服務(wù)中實(shí)施,移民代理和其他用戶調(diào)用該服務(wù)來(lái)支持案例管理。規(guī)則引擎為特定情況提供任務(wù)列表,但最終由用戶決定對(duì)任務(wù)進(jìn)行排序。專用工具使最終用戶能夠向規(guī)則建模者和監(jiān)管者提供反饋,以持續(xù)改進(jìn)法規(guī)和規(guī)則。[72]Audrey Theunisz,INDiGO：Rules-driven Business Services;Flexibility Within the Boundaries of the Law,Presentation of the Dutch Immigration and Naturalisation Service(Oct.5,2010),available at http://www.servicetechsymposium.com/soa_archive/pdf_berlin/Audrey_Theunisz_Rules_Driven.pdf.In the absence of apublished paper in English on INDiGO,this seems to be the most informative document publicly available.

（五）增編：智能教學(xué)系統(tǒng)和法律倫理

最后,教學(xué)大綱包括兩個(gè)主題,可以在研討班結(jié)束時(shí)討論或在早期階段時(shí)綜合討論。“法律與倫理推理的智能教學(xué)系統(tǒng)”這一節(jié)著重介紹了法律推理的計(jì)算模型,這些計(jì)算模型已被納入一些特定系統(tǒng),這些系統(tǒng)旨在教授學(xué)生特定法律概念,[73]Antoinette J.Muntjewerff,ICT in Legal Education,10 Ger.L.J.669(2009).和辯證技能(如區(qū)分案件)[74]Aleven,見(jiàn)前引[29]。以及構(gòu)造、[75]Chad S.Carr,Using Computer Supported Argument Visualization to Teach Legal Argumentation,in Visualizing Argumentation：Software Toolsfor Collaborative and Educational Sense-Making75(PaulA.Kirschner,Simon J.Buckingham Shum&Chad S.Carr eds.,2003).審查[76]KevinAshley&Ilya Goldin,Toward AI-enhanced Computer-supported Peer Review in Legal Education,2011 Proc.of the Twenty-fourth Ann.Conf.on Legal Knowledge&Info.Sys.1.和理解法律理論。[77]Collin Lynch,Kevin D.Ashley&Mohammad H.Falakmasir,Comparing Argument Diagrams,2012 Proc.of the Twenty-fifth Ann.Conf.on Legal Knowledge&Info.Sys.81.這些在線教學(xué)技術(shù)可以提供給法律學(xué)生,甚至那些參與在線法律教育或大規(guī)模開(kāi)放在線課程(MOOC)的學(xué)生,那種傳統(tǒng)法律教育的學(xué)生現(xiàn)在可以在課堂上接受論證實(shí)踐的教育。

隨著人工智能程序的發(fā)展,新的法律問(wèn)題會(huì)涌現(xiàn),“人工智能與法律”程序也不例外?！芭c人工智能與法律計(jì)劃有關(guān)的法律和倫理問(wèn)題”部分,著重于智能代理的法律地位、[78]Samir Chopra&Laurence White,A Legal Theory For Autonomous Artificial Agents 119(2011).智能代理的責(zé)任、[79]EmadA.R.Dahiyat,Intelligent Agents and Liability：Is It a Doctrinal Problem or Merely A Problem of Explanation?,18 Artificial Intelligence&L.103(2010).使用法律專家系統(tǒng)的未經(jīng)授權(quán)的法律實(shí)踐[80]Taiwo A.Oriola,The Use of Legal Software by Non-Lawyers and the Perils of Unauthorised Practice of Law Charges in the United States：A Review of Jayson Reynoso Decision,18 Artificial Intelligence&L.285(2010).以及虛擬環(huán)境或智能代理環(huán)境中的知識(shí)產(chǎn)權(quán)等法律問(wèn)題。[81]Woodrow Barfield,Intellectual Property Rights in Virtual Environments：Considering the Rights of Owners,Programmers and Virtual Avatars,39AkronL.Rev.649(2006).法學(xué)院的學(xué)生使用傳統(tǒng)的法律研究工具來(lái)研究這些話題,會(huì)覺(jué)得身處舒服區(qū),但是一個(gè)有效的法律分析可以使學(xué)生對(duì)技術(shù)如何工作理解地更深。到課程結(jié)束時(shí),學(xué)生可能因此而更好地承擔(dān)法律責(zé)任問(wèn)題。

例如,一份合約與一個(gè)法律專家系統(tǒng)都包含法律知識(shí),其中一些知識(shí)可能被錯(cuò)誤地應(yīng)用或招致有害結(jié)果。然而,這兩種技術(shù)在它們引起信賴的方式和程度上存在差異,可能對(duì)作者或知識(shí)工程師的責(zé)任有不同的影響。因此,學(xué)生可以就他們知道如何去做的事情(如分析法律責(zé)任)寫論文,但是仍然可以受益于理解法律專家系統(tǒng)如何選擇和運(yùn)用法律知識(shí)以及如何解釋其結(jié)論。此外,通過(guò)關(guān)注知識(shí)的空白,該過(guò)程可以幫助學(xué)生了解知識(shí)工程技術(shù)的局限性,也可以設(shè)想邀請(qǐng)法學(xué)院學(xué)生考慮將分析智能代理的法律責(zé)任的任務(wù)作為使用“人工智能與法律”技術(shù)建模的任務(wù)。

因此,這份教學(xué)大綱傳達(dá)了一個(gè)關(guān)于“人工智能與法律”的過(guò)去和現(xiàn)在的工作,它的挑戰(zhàn)和進(jìn)展的連貫的敘述。接下來(lái)的兩節(jié)重點(diǎn)介紹學(xué)生關(guān)于法律推理和理解法律實(shí)踐新技術(shù)的突出課程。為了方便參考,以下列出課程,并用于整理接下來(lái)兩節(jié)中的演示文稿。

“人工智能與法律”研討班大綱中的材料中學(xué)習(xí)的課程

A：關(guān)于法律規(guī)范的課程 A1課：模糊語(yǔ)義對(duì)法律規(guī)范的影響;A2課：法律規(guī)范的邏輯模糊性;A3課：法規(guī)結(jié)構(gòu)對(duì)法律規(guī)范含義的影響;A4課：法律規(guī)范受制于未說(shuō)明的條件

B：關(guān)于法律推理的課程 B1課：區(qū)分困難和簡(jiǎn)單案例是一個(gè)關(guān)鍵的過(guò)程;B2課：類比和區(qū)分案例是可指定的過(guò)程;B3課：用案例和價(jià)值進(jìn)行推理是一種理論建構(gòu);B4課：法律倡導(dǎo)者提出虛擬案例來(lái)檢驗(yàn)法律規(guī)范

C：關(guān)于法律論證的課程 C1課：主張者采用于特定法律領(lǐng)域的論證方案;C2課：人們可以通過(guò)攻擊法律論證假設(shè)或識(shí)別例外來(lái)攻擊它;C3課：法律論證涉及邏輯、修辭、不確定性和敘述之間的復(fù)雜關(guān)系

D：關(guān)于法律數(shù)字文檔技術(shù)的課程 D1課：法律數(shù)字文檔技術(shù)是基于運(yùn)算模型和算法的;D2課：法律數(shù)字文檔技術(shù)的過(guò)程以不同類型的文本作為輸入;D3課：數(shù)字文檔技術(shù)能夠發(fā)現(xiàn)與法律問(wèn)題相關(guān)的文本;D4課：數(shù)字文檔技術(shù)及其運(yùn)算模型需要經(jīng)驗(yàn)方法來(lái)測(cè)試;D5課：發(fā)現(xiàn)與法律問(wèn)題相關(guān)的文本與應(yīng)用相關(guān)文本解決法律問(wèn)題不同;D6課：法律推理的計(jì)算模型是法律文本和法律問(wèn)題解決之間的橋梁

五、關(guān)于法律規(guī)范、法律論證和法津推理的課程

“人工智能與法律”課程以獨(dú)特而具體的方式講述了法律學(xué)生需要學(xué)習(xí)的內(nèi)容,包括有關(guān)法律規(guī)范、案件推理以及法律論點(diǎn)。課程大綱中有頗多地方值得玩味,學(xué)生課后如果細(xì)心琢磨,定能會(huì)心一笑——適當(dāng)?shù)臐?rùn)飾能夠幫助學(xué)生逐步形成思想觀念。本部分定義了教學(xué)大綱中部分的這種時(shí)刻,并給出了相關(guān)的背景。

A：關(guān)于法律規(guī)范的課程

A1課：模糊語(yǔ)義對(duì)法律規(guī)范的影響

在第一個(gè)學(xué)期的某個(gè)時(shí)候,法學(xué)院的學(xué)生可能已經(jīng)了解到,法律規(guī)范中概念的含義通常沒(méi)有明確規(guī)定。當(dāng)他們參加“人工智能與法律”研討班時(shí),這已經(jīng)不再是新聞了,但是對(duì)于學(xué)生來(lái)說(shuō),觀察建立根據(jù)法律規(guī)范進(jìn)行推理的計(jì)算機(jī)程序的實(shí)際后果可能還是有啟發(fā)性的。

法規(guī)可以被建模為邏輯程序[82]Sergot et al.,見(jiàn)前引[20]?；蚴褂脝l(fā)式規(guī)則建模,但是當(dāng)規(guī)則到期失效時(shí),必須求助于其他東西：專家查詢、案例中的論點(diǎn)或法規(guī)結(jié)構(gòu)和法規(guī)的目的。

Waterman在早期使用規(guī)則來(lái)定義產(chǎn)品責(zé)任、嚴(yán)格責(zé)任以及指導(dǎo)解決決策指定的程序中的相對(duì)過(guò)失時(shí)就遇到了這個(gè)問(wèn)題。特別的是,他定義“嚴(yán)格責(zé)任”的規(guī)則時(shí)使用了其他規(guī)則中定義的術(shù)語(yǔ)和概念,例如“負(fù)責(zé)產(chǎn)品使用”和“附帶銷售”,都在其他規(guī)則中定義。[83]Waterman&Peterson,見(jiàn)前引④,at 16,38.然而,一些在該產(chǎn)品責(zé)任環(huán)境中重要的法律判斷,如“合理和恰當(dāng)”或“可預(yù)見(jiàn)”在法律規(guī)范中沒(méi)有另外定義。有些法律概念——包括“緊急情況”“不恰當(dāng)?shù)拿枋觥薄柏?cái)產(chǎn)”“傷害”“瑕疵”和“粗心”——無(wú)論是否在規(guī)則中定義,都是模糊的,將它們應(yīng)用于具體的事實(shí)情況經(jīng)常會(huì)引起爭(zhēng)議,并且經(jīng)?？梢蕴岢龊戏ǖ恼摀?jù),即該概念適用或不適用。

Waterman的嚴(yán)格責(zé)任界定規(guī)則

[規(guī)則4：嚴(yán)格責(zé)任界定]

如果(原告受到產(chǎn)品傷害

或者(原告確實(shí)代表死者

死者被產(chǎn)品殺死)

或者原告的財(cái)產(chǎn)被產(chǎn)品損壞)

并且附帶銷售辯護(hù)不適用

并且(產(chǎn)品由被告制造

或者產(chǎn)品由被告銷售

或者產(chǎn)品由被告出租)

并且被告對(duì)產(chǎn)品的使用負(fù)責(zé)

并且(加州擁有案件的管轄權(quán)

或者產(chǎn)品的用戶是受害者

或者產(chǎn)品的購(gòu)買者是受害者)

并且產(chǎn)品在銷售時(shí)有缺陷

(產(chǎn)品從制造到銷售沒(méi)有變化

或者(被告的期望是“產(chǎn)品沒(méi)有變化”

從制造到銷售

被告的期望是合理和適當(dāng)?shù)?

然后主張嚴(yán)格責(zé)任理論確實(shí)適用于原告的損失。

當(dāng)遇到一個(gè)含義不明確的術(shù)語(yǔ)時(shí),人類的法律分析不會(huì)停滯不前,系統(tǒng)設(shè)計(jì)師和知識(shí)工程師需要對(duì)人類的做法進(jìn)行建模。盡管法律專業(yè)的學(xué)生可能理解“語(yǔ)義歧義”的概念,但目前他們對(duì)于人類律師處理語(yǔ)義歧義的方法、他們使用的論據(jù)類型、這些論據(jù)假設(shè)什么以及如何攻擊這些論據(jù)的思考深度還不太清楚。

Waterman列舉了四種計(jì)算技術(shù),法律專家系統(tǒng)用這四種技術(shù)可以處理定義模糊的法律概念,這四種技術(shù)如下：① 使用啟發(fā)式規(guī)則(從法律專家或保險(xiǎn)精算師那里搜集而來(lái)),試圖捕捉過(guò)去如何使用這個(gè)術(shù)語(yǔ);②給出示例,并讓用戶決定在當(dāng)前事實(shí)情況下術(shù)語(yǔ)是否滿足;③使系統(tǒng)能夠?qū)?dāng)前事實(shí)情況與實(shí)例進(jìn)行比較,以便確定術(shù)語(yǔ)是否滿足;④ 在連續(xù)的細(xì)化過(guò)程中修改系統(tǒng)的規(guī)則,以便捕獲概念的含義。[84]Id.at26.

“人工智能與法律”領(lǐng)域的許多后續(xù)工作已經(jīng)解決了這些計(jì)算技術(shù)問(wèn)題。例如,法律專家系統(tǒng)使用第一項(xiàng)和第二項(xiàng)技術(shù)來(lái)指導(dǎo)用戶進(jìn)行實(shí)際決策。研究者特別關(guān)注第三種技術(shù),他們使系統(tǒng)根據(jù)案例進(jìn)行類比推理,并論證該概念適用于或不適用于新情況。這是教學(xué)大綱第三部分所討論的工作主題。一些工作已經(jīng)涉及第四種技術(shù),其中對(duì)判決的司法解釋的注釋正在被持續(xù)改進(jìn)。注釋突出了解釋中可以被匹配從而分析新的事實(shí)情況的部分。[85]例如：Branting,見(jiàn)前引[26];Mc Laren,見(jiàn)前引[36];Ashley&Walker,見(jiàn)前引[67]。

A2課：法律規(guī)范的邏輯模糊性

雖然語(yǔ)義歧義只讓很少學(xué)生感到驚訝,但更少人能夠意識(shí)到法律規(guī)范中的邏輯歧義問(wèn)題。大多數(shù)人似乎驚訝地獲悉,因?yàn)檫壿嬤B接詞的范圍在自然語(yǔ)言中的模糊界定和法定結(jié)構(gòu)的復(fù)雜性,即使是法律規(guī)范的邏輯也可能是模糊的。在形式邏輯或數(shù)學(xué)邏輯中,括號(hào)限定了邏輯或數(shù)學(xué)運(yùn)算符的范圍,但在法定文本和其他自然語(yǔ)言文本中不是這樣。萊曼·艾倫(Layman Allen)提供了許多示例,這些示例表明,即使是簡(jiǎn)單的法定規(guī)則也有多種邏輯解釋,立法機(jī)關(guān)可能基本不知道這些解釋。這與為了促進(jìn)立法妥協(xié)而故意包含的語(yǔ)義模糊形成鮮明對(duì)比。例如,路易斯安納的法規(guī)規(guī)定,“任何人不得撥打或建立本地電話連接……匿名使用淫穢、褻瀆、粗俗、下流、淫穢或不當(dāng)?shù)恼Z(yǔ)言、淫穢性質(zhì)的建議或提議,以及任何形式的威脅”。[86]Allen&Engholm,見(jiàn)前引[22],at384[quoting Statev.Hill,157So.2d462,462(1963)].但是,如果要違反規(guī)定,電話是否必須包括淫穢語(yǔ)言和威脅,還是只要包含其中一項(xiàng)就夠了?當(dāng)然,在刑法環(huán)境中,答案可能意味著無(wú)罪。同樣地,學(xué)生也了解到,在解釋保險(xiǎn)單和合同時(shí),邏輯上的模糊性可能是至關(guān)重要的。鑒于我們不能假設(shè)今天的學(xué)生理解閱讀和起草法律規(guī)范的必要性,這就是一堂重要的課。

為了逐步規(guī)范化法令,Allen提出了一個(gè)程序,即系統(tǒng)地列舉各種不同的邏輯可能性,以便人們可以從各種不同的邏輯解釋中進(jìn)行選擇。然而,他強(qiáng)調(diào)說(shuō),選擇是立法機(jī)關(guān)的事,最好是在起草過(guò)程中完成。當(dāng)開(kāi)發(fā)包含法定規(guī)則的法律專家系統(tǒng)時(shí),知識(shí)工程師還需要從備選方案中進(jìn)行選擇。他們?cè)噲D選擇立法機(jī)關(guān)可能中意的替代方案,但他們的選擇并不具有權(quán)威性,它只是知識(shí)工程師對(duì)法規(guī)的解釋。[87]Id.at396.如果法律已經(jīng)頒布,除了原始法規(guī)之外的任何形式的法規(guī)都代表了一種解釋。重要的是,任何聲稱與法規(guī)相對(duì)應(yīng)的陳述都不會(huì)比法規(guī)本身更多或更少。或者,法律專家系統(tǒng)中的規(guī)則可以體現(xiàn)專家在法律領(lǐng)域的觀點(diǎn)的啟發(fā)性規(guī)則。專家可以以解決其他方式重新概念化或重新特征化法定術(shù)語(yǔ),根據(jù)專家的經(jīng)驗(yàn)解決句法(和語(yǔ)義)模糊問(wèn)題并且滿足系統(tǒng)的目的。

Allen的工作還著重提供一種流程圖式的幫助,讓學(xué)生了解復(fù)雜法規(guī)的規(guī)范化和概述縮進(jìn)的實(shí)用,以理解一項(xiàng)復(fù)雜法令。他通過(guò)一個(gè)復(fù)雜的稅收條款I(lǐng)RC Sec354來(lái)說(shuō)明這一點(diǎn)。管理某些重組中的股票和證券的交易,就像《美國(guó)國(guó)內(nèi)收入法》的其他規(guī)定一樣,“從句法角度來(lái)看簡(jiǎn)直太糟糕了”。[88]Id.at388.然后他把它與一個(gè)標(biāo)準(zhǔn)化版本進(jìn)行比較,該版本根據(jù)該條款的邏輯提供了流程圖。[89]Id.at393.它說(shuō)明了通過(guò)法定規(guī)則的條件得出結(jié)論的替代路徑,并使人們更容易看到是否有得出結(jié)論的路徑。學(xué)生們開(kāi)始意識(shí)到,有可能以更加系統(tǒng)的方式起草和提出復(fù)雜的法律規(guī)范,以幫助他們理解法規(guī),并以此作為起草合同語(yǔ)言的目標(biāo)。

A3課：法規(guī)結(jié)構(gòu)對(duì)法律規(guī)范含義的影響

Allen的稅法示例還引出了這樣一個(gè)問(wèn)題：當(dāng)法定條款通過(guò)引用納入其他條款(可能涉及其他例外情況)或更糟時(shí),當(dāng)其他條文提供未明確相互參照的例外情況時(shí),繪制邏輯路徑的問(wèn)題。本課程還引導(dǎo)學(xué)生思考一項(xiàng)規(guī)定在法律解釋中相對(duì)于其他規(guī)定在法律或法規(guī)中的地位的重要性。包含信息的法令或法典的層級(jí)結(jié)構(gòu)有助于解決其他不明確的術(shù)語(yǔ)信息問(wèn)題,這在民法解釋中經(jīng)常出現(xiàn)。

“人工智能與法律”研究者在對(duì)這種現(xiàn)象進(jìn)行建模方面并沒(méi)有取得很大進(jìn)展。[90]But seeBench-Capon&Coenen,見(jiàn)前引[21];Tom Routen,Hierarchically Organised Formalisations,1989 Proc.of the Second Int'l Conf.on Artificial Intelligence &L.242.然而,他們經(jīng)常遇到這些問(wèn)題并且常常會(huì)感到沮喪。在使用機(jī)器學(xué)習(xí)從法定文本中自動(dòng)提取信息的工作中,例如,在合理地假設(shè)某條規(guī)定的部分和子部分的概要結(jié)構(gòu)提供了語(yǔ)義上有價(jià)值的信息的情況下,有能力的人類讀者甚至可能不需要弄清楚在條款的末尾是否有未標(biāo)記的段落是前一小節(jié)的子部分或獨(dú)立的子部分。

A4課：法律規(guī)范受制于未說(shuō)明的條件

正如法律規(guī)范可能有未引用的例外情況,它也可能有未陳述的條件,例如,它不是違憲的,它不是先發(fā)制人的,或者它可以在不違反法律原則的情況下適用。Allen提出了一個(gè)問(wèn)題,即如何知道應(yīng)該包括哪些未聲明的條件、何時(shí)應(yīng)用這些條件以及如何解決是否應(yīng)用規(guī)則的問(wèn)題。對(duì)于學(xué)生和知識(shí)工程師來(lái)說(shuō),這些都是棘手的問(wèn)題。雖然可以認(rèn)為所謂的解釋原則解決了這些問(wèn)題,Allen指出盧埃林令人信服地將解釋原則描述為充數(shù)的東西。[91]Layman Allen&Charles Saxon,Some Problems in Designing Expert Systems to Aid Legal Reasoning,1987 Proc.of the First Int'l Conf.on Artificial Intelligence&L.94,105.

在《基于邏輯的法律推理模型的發(fā)展障礙》一書中,Berman和Hafner令人信服地指出,即使事實(shí)和適用法律達(dá)成一致,對(duì)手仍然可以產(chǎn)生合理的贊成和反對(duì)論點(diǎn),法庭也會(huì)得出不同的結(jié)論。這種法律上的不確定性是由以下未陳述的條件中固有的沖突造成的,這些條件包括法律規(guī)范是否真的應(yīng)該被適用;適用時(shí)是否違背潛在原則、在特定環(huán)境中規(guī)則的開(kāi)放性概念意味著什么以及如何解決不一致的解釋原則和不一致的先例。由于這種法律上的不確定性,他們認(rèn)為,以演繹邏輯為導(dǎo)向的法規(guī)模型是不能成功的。[92]Berman&Hafner,見(jiàn)前引[23]。

Berman和Hafner引用了里格斯·帕默爾(Riggs Palmer)[93]等法律不確定性的例子。Riggs對(duì)殺害他祖父的孫子是否會(huì)繼承祖父遺囑中的遺產(chǎn)提出了困惑。該規(guī)則的明確條件“死者財(cái)產(chǎn)的任何繼承人可以要求得到死者財(cái)產(chǎn)”是滿足的。但是,應(yīng)用該規(guī)則將違反“任何法律規(guī)范均不適用于實(shí)施對(duì)他人造成嚴(yán)重?fù)p害的重罪行為的一方當(dāng)事人的利益,這帶來(lái)了該規(guī)則適用于他利益的條件”原則。這樣的原則是關(guān)于規(guī)則的規(guī)則,并且?guī)?lái)了技術(shù)上的要求,邏輯系統(tǒng)將需要支持對(duì)所有規(guī)則的規(guī)則進(jìn)行量化。

更重要的是,Berman和Hafner總結(jié),法律不確定性現(xiàn)象導(dǎo)致了一個(gè)更深刻的問(wèn)題：基于邏輯的計(jì)算模型不適合對(duì)法律人的推理進(jìn)行建模。技術(shù)問(wèn)題在于,在古典邏輯中,不可能有效地證明(或論證)一個(gè)命題及其對(duì)立面。然而,他們的例子表明,即使倡導(dǎo)者以相同的前提(即公理、規(guī)則和公認(rèn)的事實(shí))開(kāi)始,他們?nèi)匀粫?huì)產(chǎn)生法律上合理但矛盾的論點(diǎn)。[94]Berman&Hafner,見(jiàn)前引[23],at191.實(shí)際上,法學(xué)教授經(jīng)常要求法學(xué)院的學(xué)生在分析考試問(wèn)題時(shí)提出正反兩方的論點(diǎn),并要求學(xué)生提出解決方案。

從Berman和Hafner的描述中可知,法學(xué)院的學(xué)生很難不去思考他們作為人類推理者是如何處理法律不確定性的。鑒于這些語(yǔ)義和句法模糊、隱含的例外情況和未陳述的條件的問(wèn)題,律師應(yīng)當(dāng)對(duì)法律規(guī)范本身進(jìn)行推理,而不是簡(jiǎn)單地運(yùn)用法律規(guī)范進(jìn)行推理,這是顯而易見(jiàn)的。律師使用論據(jù)來(lái)說(shuō)服自己和其他人一個(gè)概念意味著什么,例外是否適用,或者未陳述的條件是否滿足。對(duì)于法學(xué)院學(xué)生以及“人工智能與法律”研究者來(lái)說(shuō),這門課是根據(jù)支持和反對(duì)應(yīng)用規(guī)則的需要,推理(推敲)法律規(guī)則。

正如《教學(xué)大綱》中闡述的那樣,“人工智能與法律”研究者已經(jīng)試圖用帶有條件和例外的論點(diǎn)模式來(lái)模擬其中一些類型的論點(diǎn)(包括用案例、價(jià)值和原則進(jìn)行推理),從而得到剩余的教學(xué)課程。[95]或者,人工智能與法律研究人員試圖找到這些應(yīng)用,其中邏輯上的這些限制不會(huì)產(chǎn)生負(fù)面的實(shí)際后果。

B：關(guān)于法律推理的課程

B1課：區(qū)分困難問(wèn)題和簡(jiǎn)單案例是一個(gè)關(guān)鍵的過(guò)程

在應(yīng)用法律規(guī)范的過(guò)程中,存在如此多的潛在沖突,以至于學(xué)生可能想知道人類推理者如何區(qū)分簡(jiǎn)單案件和疑難案件。

如果疑難案件是指那些即使律師雖然同意事實(shí)認(rèn)定,但對(duì)其結(jié)果或解釋存在矛盾的合理觀點(diǎn)的案件,那么法律專家在結(jié)果和結(jié)果的解釋方面是否存在容易達(dá)成一致的問(wèn)題?毫無(wú)疑問(wèn),一些法律決定對(duì)于一方來(lái)說(shuō)沒(méi)有提出任何有爭(zhēng)議的法律問(wèn)題,法律從業(yè)者通常能迅速作出幾十個(gè)法律決定。

在一年級(jí)的法律寫作或法律程序課程中,法學(xué)院的學(xué)生可能以哈特與富勒[96]例如：Berman&Hafner,見(jiàn)前引[23],at185-186.之間的法理學(xué)辯論的形式遇到過(guò)這個(gè)問(wèn)題,但這是一個(gè)法學(xué)院的學(xué)生每學(xué)期末都會(huì)反復(fù)面對(duì)的問(wèn)題。當(dāng)然,法學(xué)院的學(xué)生必須根據(jù)課程所涵蓋的法律規(guī)范和決定,決定在考試中詳細(xì)提出哪些問(wèn)題,以及忽略哪些問(wèn)題,這一決定包括評(píng)估教師情景中精心設(shè)計(jì)的優(yōu)勢(shì)和劣勢(shì)所帶來(lái)的機(jī)會(huì)。的確,評(píng)估學(xué)生在壓力下、靈活有效地作出這些決定的能力,是法學(xué)院教師布置論文型考試問(wèn)題的原因之一。因此,幫助法學(xué)院學(xué)生思考如何作出這些決定是一個(gè)及時(shí)而有用的教訓(xùn)。

在Anne Gardner的合同考試程序中,她第一次提供了一種算法型啟發(fā)式方法來(lái)區(qū)分難題和易題。(未命名的)項(xiàng)目的輸入是法學(xué)院學(xué)生處理要約和承諾的合同考試問(wèn)題的表示,輸出是對(duì)問(wèn)題的分析,將事件描述為要約和承諾,并確定所涉及的法律問(wèn)題。Gardner的立場(chǎng)是,肯定有簡(jiǎn)單的案例。至少我們一直認(rèn)為問(wèn)題很簡(jiǎn)單。如果沒(méi)有簡(jiǎn)單的案例,一切都可以解釋,答案將永遠(yuǎn)無(wú)法躲避我們。從系統(tǒng)設(shè)計(jì)者的角度出發(fā),她指出,確定案件是否容易的方法也必須是容易的。她用于區(qū)分困難案例和簡(jiǎn)單案例的啟發(fā)式方法如下所示,在Rissland的特征描述中進(jìn)行了擴(kuò)充。[97]Rissland,見(jiàn)前引[17],at 1970,n.62;Gardner,見(jiàn)前引[19],at 54-55,160-161.

Gardner用于區(qū)分困難案例和簡(jiǎn)單案例的啟發(fā)式方法

對(duì)于規(guī)則中的每個(gè)謂詞,

如果常識(shí)知識(shí)規(guī)則提供了答案,那么CSK-Answer為真,否則為假。

如果問(wèn)題與謂詞的positive examples匹配,則Pos-Examples為真,否則為假。

如果問(wèn)題與謂詞的negative examples匹配,則Neg-Examples為真,否則為假。

如果,CSK-應(yīng)答

如果(Pos-Examples 或Neg-Examples)-＞問(wèn)題很難

如果(只有Pos-Examples和Neg-Examples其中之一)＞問(wèn)題簡(jiǎn)單

如果(Pos-Examples和Neg-Examples)＞問(wèn)題很難

如果CSK Answer

如果(Pos-Examples或Neg-Examples)-＞問(wèn)題簡(jiǎn)單

如果(只有Pos-./Neg-Examples中的一個(gè))

如果(只同意-1w/CSK-Answer)-＞問(wèn)題很簡(jiǎn)單,否則問(wèn)題很難

如果(Pos-Examples和Neg-Examples)＞問(wèn)題很難

對(duì)于法律專業(yè)的學(xué)生來(lái)說(shuō),當(dāng)他們?cè)谒伎悸蓭熑绾螞Q定對(duì)哪些謂詞進(jìn)行辯論,以及他們實(shí)際上(學(xué)生)如何決定發(fā)展哪些考試問(wèn)題的時(shí)候,思考Gardner的方法是很有意義的,Gardner程序中的策略可以以算法形式表示為一組步驟,并提供了一個(gè)模型,使學(xué)生能夠改編成更實(shí)際的策略。學(xué)生首先可能會(huì)需要算法來(lái)進(jìn)行案例比較。

在Gardner的程序中,這些例子不是完全成熟的例子,充其量是捕捉諸如“立即”之類的變量的范例、標(biāo)準(zhǔn)或極值的案例片段。然而,簡(jiǎn)單的正反實(shí)例的直接匹配是不夠的,需要一種方法來(lái)更穩(wěn)健地將問(wèn)題與示例進(jìn)行比較。如果考慮到將問(wèn)題情景的事實(shí)與法院判定法律適用性的案件進(jìn)行比較,則該算法將是對(duì)學(xué)生考試策略的更有用的模型。判斷問(wèn)題是困難還是簡(jiǎn)單取決于與其他案件的類比。如果正面的例子與事實(shí)非常接近,而負(fù)面的例子則不是,那么這也許不是一個(gè)困難的問(wèn)題。

B2課：類比和區(qū)分案例是可指定的過(guò)程

考慮一種區(qū)分法律難題和易題的算法,自然會(huì)考慮比較案例的算法的設(shè)計(jì)。簡(jiǎn)而言之,它引導(dǎo)學(xué)生思考法律類比的要點(diǎn),如何定義“相關(guān)相似性”和“相關(guān)差異”,以及如何評(píng)估類比的強(qiáng)度。Gardner的例子顯然沒(méi)有包含足夠的事實(shí)信息來(lái)比較案例的相似度,評(píng)估它們的相似性如何證明以與案例相同的方式處理問(wèn)題場(chǎng)景是正確的,或者評(píng)估它們的差異如何證明不這樣做是正當(dāng)?shù)摹?/p>

法學(xué)院的學(xué)生都知道他們需要類比和區(qū)分案例。許多蘇格拉底式的課堂討論都涉及學(xué)生在課本案例中就某一特定問(wèn)題進(jìn)行討論。課程論文考試要求學(xué)生對(duì)那些案例和問(wèn)題情景進(jìn)行類比或區(qū)分。目前尚不清楚學(xué)生是否理解類比和區(qū)別是什么,以及它們?yōu)槭裁丛诜煞治鲋泻苤匾?/p>

如前所示,教學(xué)大綱提供了許多“人工智能與法律”研究者試圖對(duì)法律上相關(guān)的相似點(diǎn)和不同點(diǎn)進(jìn)行建模的方法的實(shí)例。它們側(cè)重于確定具有法律意義的事實(shí)模式,范圍包括：① 專家認(rèn)為其存在或缺席對(duì)一個(gè)問(wèn)題有影響的一般事實(shí)描述;② 根據(jù)專家所說(shuō),并且在案件中證實(shí)的典型事實(shí)模式,典型地在不同程度上加強(qiáng)一方關(guān)于某一問(wèn)題的主張或論點(diǎn);③ 法官解釋中關(guān)鍵事實(shí)的摘錄,以證明他或她對(duì)某一特定問(wèn)題的決定是正確的。

研究者通過(guò)權(quán)利要求、權(quán)利要求要素或其他問(wèn)題以及潛在的價(jià)值或原則來(lái)對(duì)這些模式進(jìn)行索引,然后將索引與原因相關(guān)聯(lián)。因此,計(jì)算機(jī)程序可以識(shí)別法律上相關(guān)的相似點(diǎn)和不同點(diǎn),使用它們來(lái)類比和區(qū)分案例,并解釋類比和區(qū)別對(duì)于問(wèn)題決策的重要性。這些任務(wù)集中于基礎(chǔ)價(jià)值在相關(guān)性中發(fā)揮作用的方式。

對(duì)法學(xué)院學(xué)生來(lái)說(shuō),比較在何種程度上捕捉或省略了法律上相關(guān)的考慮是有益的。例如,描述符、規(guī)模和因素用作重要事實(shí)模式的檢查表。一方面,這些列表支持根據(jù)不存在的事實(shí)模式對(duì)問(wèn)題進(jìn)行推理,并且它們與用于解釋它們?yōu)槭裁粗匾脑蚧騼r(jià)值明確關(guān)聯(lián);另一方面,這些列表是固定的,它們需要隨著新模式的出現(xiàn)而更新。標(biāo)準(zhǔn)解釋是動(dòng)態(tài)的,因?yàn)楫?dāng)一個(gè)人將案件及其解釋輸入數(shù)據(jù)庫(kù)時(shí),他可以對(duì)法官認(rèn)為關(guān)鍵的解釋片段進(jìn)行注釋。然后,解釋性片段可以與它們相關(guān)的原因或價(jià)值相關(guān)聯(lián),或者通過(guò)它們相關(guān)的價(jià)值進(jìn)行索引。在處理新案例時(shí),考慮到這些事實(shí)可以用不同的術(shù)語(yǔ)表示,解釋片段可以與新案例的事實(shí)相匹配。

無(wú)論如何,法律的重要事實(shí)模式可以與潛在的原因、價(jià)值觀和原則相關(guān)聯(lián)。這種聯(lián)系是很重要的,因?yàn)?正如伯曼和哈夫納所指出的那樣,[98]Berman&Hafner,見(jiàn)前引[34]。事實(shí)所產(chǎn)生的有時(shí)相互競(jìng)爭(zhēng)的價(jià)值觀念是有關(guān)如何確定一個(gè)問(wèn)題情景的法律爭(zhēng)論的關(guān)鍵焦點(diǎn),也是法理學(xué)努力的一個(gè)主要焦點(diǎn),以證明法律類推作為一種解釋現(xiàn)象是正當(dāng)?shù)?。如何在?chǎng)景分析中表示模式和價(jià)值的權(quán)重或重要性,以及如何解決競(jìng)爭(zhēng)價(jià)值,已經(jīng)證明是有爭(zhēng)議的。雖然用數(shù)字表示權(quán)重有助于計(jì)算處理,但研究人員往往發(fā)現(xiàn),針對(duì)法律從業(yè)人員和法官的解釋和爭(zhēng)論沒(méi)法用數(shù)字處理權(quán)重。他們還認(rèn)為,不能使用固定的層次結(jié)構(gòu)對(duì)價(jià)值的權(quán)重進(jìn)行建模,在這種情況下,就需要一些對(duì)背景敏感的方法來(lái)設(shè)置權(quán)重。最后,隨著社會(huì)價(jià)值觀的改變,權(quán)重會(huì)隨著時(shí)間的推移而變化。例如,在互聯(lián)網(wǎng)普及的相對(duì)較短的時(shí)期內(nèi),社會(huì)上不同代際群體之間對(duì)隱私的價(jià)值的評(píng)估就在不斷變化。

B3課：用案例和價(jià)值進(jìn)行推理是一種理論建構(gòu)

Bench-Capon和Sartor在用實(shí)例和價(jià)值進(jìn)行推理的模型中,將模型描述為“構(gòu)建和使用理論的過(guò)程”。[99]Bench-Capon&Sartor,前引[35],第98頁(yè)。這一重要見(jiàn)解源于McCarty,前引[24],第285頁(yè),“律師或法官在‘困難案件’中的任務(wù)是構(gòu)建有爭(zhēng)議的理論、制定所需法律結(jié)果的法律規(guī)則,然后說(shuō)服相關(guān)受眾,這種理論優(yōu)于對(duì)手提供的任何理論”。在這種理論構(gòu)建中,過(guò)去案例的結(jié)果揭示了在這些案例中出現(xiàn)的一組因素之間的偏好,而那些結(jié)果反過(guò)來(lái)又揭示了一組價(jià)值之間的偏好。這個(gè)理論具有解釋力。一組價(jià)值之間的誘導(dǎo)偏好解釋了一組因素之間的偏好,而這些解釋了過(guò)去情況下的結(jié)果。該理論還可用于確定和解釋新案例的結(jié)果。

這是一個(gè)優(yōu)雅的理論模型,但并非沒(méi)有問(wèn)題。第一,人們可以歸納出不止一種理論,這樣人們就必須根據(jù)其解釋能力(即理論解釋的案例數(shù)量)、一致性和簡(jiǎn)單性來(lái)評(píng)估相互競(jìng)爭(zhēng)的理論。然而,后兩個(gè)標(biāo)準(zhǔn)并沒(méi)有被很好地理解。第二,從法理學(xué)的角度來(lái)看,法官過(guò)去在判決新問(wèn)題時(shí)似乎沒(méi)有或應(yīng)該使用競(jìng)爭(zhēng)價(jià)值中的偏好。從價(jià)值觀的角度評(píng)估一個(gè)問(wèn)題的建議結(jié)果本身就是一個(gè)道德決策。考慮到問(wèn)題的具體事實(shí),法官需要考慮如何應(yīng)用這些數(shù)值。即使法官在以往的案件中使用價(jià)值偏好作為指導(dǎo),人們也期望法官仍然需要將問(wèn)題與案件進(jìn)行詳細(xì)比較,以確保在新情況下應(yīng)用該偏好是適當(dāng)?shù)摹?duì)于這種比較,必須對(duì)事實(shí)進(jìn)行更細(xì)致的表示。無(wú)論如何,從教學(xué)的角度來(lái)看,Bench-Capon和Sartor的模型讓法學(xué)院的學(xué)生將重點(diǎn)放在一個(gè)具體案件所適用的法律理論上,去考察它是怎樣與判例和價(jià)值相關(guān)的,以及隱含的價(jià)值在定義相關(guān)相似性方面的作用,如何用之以進(jìn)行案件的類比和區(qū)分。更具普遍性的問(wèn)題是,法律從業(yè)人員在討論該如何判斷問(wèn)題時(shí),應(yīng)當(dāng)怎樣將價(jià)值和原則的因素納入考量。

B4課：法律倡導(dǎo)者提出虛擬案例來(lái)檢驗(yàn)法律規(guī)范

法律從業(yè)者考慮價(jià)值和原則的一個(gè)方法是提出假設(shè)。假設(shè)是一個(gè)虛構(gòu)的場(chǎng)景,以測(cè)試用于確定案例的提出的規(guī)則的某些屬性。讀過(guò)、聽(tīng)過(guò)或看過(guò)美國(guó)最高法院口頭辯論的學(xué)生見(jiàn)到過(guò)假設(shè)。令法律倡導(dǎo)者驚愕的是,法官以提出假設(shè)而聞名。當(dāng)然,在蘇格拉底式的課堂討論中,學(xué)生可能會(huì)遇到老師提出的假設(shè)。然而,學(xué)生可能沒(méi)有充分考慮在法律論證中提出假設(shè)的修辭要點(diǎn)：什么構(gòu)成了有效的假設(shè),假設(shè)具有什么力量,以及如何對(duì)這種論點(diǎn)作出反應(yīng)?

“人工智能和法學(xué)”研究者在計(jì)算模擬假設(shè)推理方面取得了進(jìn)展。[100]例如：Ashley,見(jiàn)前引⑤;Kevin D.Ashley,Teaching a Process Model of Legal Argument with Hypotheticals,17Artificial Intelligence&L.321(2009);Grabmair &Ashley,見(jiàn)前引[39]。對(duì)于法律專業(yè)的學(xué)生來(lái)說(shuō),這項(xiàng)工作有助于澄清對(duì)抗過(guò)程的性質(zhì),其中辯護(hù)律師試圖說(shuō)服法院如何裁決案件。辯護(hù)律師確實(shí)在試圖說(shuō)服法院,辯護(hù)律師提出的在判決正在審理中的案件的規(guī)則或測(cè)試是一個(gè)好的規(guī)則,既適用于當(dāng)前案件,也適用于未來(lái)案件。一種觀點(diǎn)認(rèn)為,辯護(hù)律師主張,根據(jù)擬議規(guī)則決定案件對(duì)適用價(jià)值的影響優(yōu)于不這樣做或適用其他規(guī)則的效果。

因此,對(duì)抗性過(guò)程展開(kāi)如下：倡導(dǎo)者提出一個(gè)規(guī)則或測(cè)試來(lái)決定在審案件,以支持他或她的客戶。法官通過(guò)提出一個(gè)假設(shè)情況來(lái)挑戰(zhàn)擬議的測(cè)試,其中測(cè)試結(jié)果是有爭(zhēng)議的。倡導(dǎo)者通過(guò)辯稱擬議測(cè)試下的結(jié)果是合理的,通過(guò)修改建議的測(cè)試以使結(jié)果合理或通過(guò)區(qū)分或類比假設(shè)來(lái)回應(yīng)假設(shè)。[101]Ashley,Teaching a Process Model,見(jiàn) 前 引 [100],at 326-327;Grabmair&Ashley,見(jiàn) 前引 [39],at 164.

如果法官擔(dān)心擬議的規(guī)則可能過(guò)于寬泛,他或她可以構(gòu)建規(guī)則適用的假設(shè),但是將規(guī)則應(yīng)用于假設(shè)的效果對(duì)規(guī)則所依據(jù)的價(jià)值有害。辯護(hù)律師可以通過(guò)辯論：

該規(guī)則不適用于可區(qū)分的假設(shè),或者

該規(guī)則適用,但對(duì)價(jià)值的影響不像法官建議的那么嚴(yán)重,或者

該規(guī)則適用并且不利于該價(jià)值,但是與該規(guī)則相關(guān)的另一價(jià)值被提升,或者

該規(guī)則適用并且不利于價(jià)值,并且該規(guī)則應(yīng)當(dāng)被改變,以便不再適用于假設(shè)。如果法官擔(dān)心提議的規(guī)則可能太狹隘,則用補(bǔ)充論證方案。

通過(guò)研究假設(shè)推理模型及其在最高法院辯論中的應(yīng)用,學(xué)生能夠理解這一重要的法律和修辭策略。

C：關(guān)于法律論證的課程

C1課：主張者采用特定法律領(lǐng)域的論證方案

正如前面的課程所建議的,表征“人工智能與法律”研究的進(jìn)展的一個(gè)方法是,持續(xù)地搜索以識(shí)別和模擬特定的法律領(lǐng)域的論證方案,包括從規(guī)則、案例和有價(jià)值的論證方案等各領(lǐng)域中展開(kāi)搜索。論證方案對(duì)應(yīng)于論證所認(rèn)可的領(lǐng)域內(nèi)進(jìn)行推理的典型框架;它對(duì)應(yīng)于一種相信論證結(jié)論的初步理由。[102]Henry Prakken,Artificial Intelligence and Law,Logic and Argument Schemes,in Arguing on the Toulmin Model 236(David Hitchcock&Bart Verheijeds.,2006).這些論證方案中的一些與這些年來(lái)已經(jīng)開(kāi)發(fā)出來(lái)的法律推理計(jì)算模型有關(guān),另一些則是全新的;研究者正在開(kāi)發(fā)從證據(jù)事實(shí)到規(guī)則驅(qū)動(dòng)的法律判斷的論證方案。[103]例如：Walker et al.,見(jiàn)前引[40]。

在法律寫作課程中,學(xué)生已經(jīng)熟悉了用書面摘要證明法律結(jié)論的建議格式或方案。例如,① 陳述你的結(jié)論;② 陳述支持結(jié)論的主要規(guī)則;③ 通過(guò)引用權(quán)威、描述權(quán)威如何代表規(guī)則、討論附屬規(guī)則、分析政策和反分析來(lái)證明和解釋規(guī)則;④ 在輔助規(guī)則、支持權(quán)威、政策考慮和反分析的幫助下,將規(guī)則的要素應(yīng)用于事實(shí);⑤ 如果步驟①到④很復(fù)雜,那么通過(guò)重述你的結(jié)論來(lái)總結(jié)。[104]Richard K.Neumann,Legal Reasoning and Legal Writing：Structure,Strategy and Style 9394(6th ed.2009).在上述這些步驟中,至少有一部分可以被分解成附加方案。例如,人們可以想象將步驟④拆裝成“人工智能與法律”研究者已經(jīng)實(shí)施的附加論證模式來(lái)支持或反駁這樣的斷言：提出的規(guī)則應(yīng)該通過(guò)類比被應(yīng)用,以支持將規(guī)則的元素應(yīng)用于事實(shí)的案例,或通過(guò)反對(duì)這種類比來(lái)應(yīng)用。[105]例如：Grabmair&Ashley,見(jiàn)前引[39],at164-166.

表1 “家庭法”規(guī)則集和作為可廢止規(guī)則的表示

C2課：人們可以通過(guò)攻擊法律論證的假設(shè)或識(shí)別例外來(lái)攻擊它

舉例來(lái)說(shuō),一個(gè)解釋法律規(guī)范應(yīng)該如何應(yīng)用于問(wèn)題的論證方案,可以讓法律專業(yè)的學(xué)生集中于質(zhì)疑規(guī)則的假設(shè)或考慮例外。目前,在“人工智能與法律”研究中,用法律規(guī)范進(jìn)行推理將被視為可廢止的,并受制于用可廢止的規(guī)則進(jìn)行推理的論證方案。

使用Thomas Gordon的論點(diǎn)圖解程序,“Carneades”[106]Gordon&Walton,見(jiàn)前引[38];Thomas F.Gordon,Analyzing Open Source License Compatibility Issues with Carneades,2011 Proc.of the Thirteenth Int'l Conf.on Artificial Intelligence&L.50,51;Thomas F.Gordon,Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF),in Computable Models of the Law 162,168-169(Pompeu Casanovas,Giovanni Sartor,Núria Casellas&Rossella Rubino eds.,2008).可以在一個(gè)在由論證方案驅(qū)動(dòng)的法定推理的例子中,說(shuō)明通過(guò)論證的可辯駁的推理。例如,表1的左半部分顯示了基于德國(guó)民法的、涉及家庭法的四條法律規(guī)范。規(guī)則s.1601-BGB聲明,如果前者與后者“直接血統(tǒng)”,則person1有義務(wù)支持person2,這是規(guī)則s.1589-BGB中定義的概念。

由于經(jīng)典邏輯系統(tǒng)無(wú)法成功地處理表1左邊的規(guī)則,因此必須采用一種方案來(lái)論證可廢止的規(guī)則。如果目標(biāo)是確定哈利(Harry)是否有義務(wù)支持莎莉(Sally),并且人們知道Harry是Sally的祖先,那么一個(gè)經(jīng)典的邏輯系統(tǒng)可以沒(méi)有困難地從規(guī)則s.1601-BGB到規(guī)則s.1589-BGB反向鏈接,從Harry是Sally的祖先可以推斷出Harry是Sally的“直系血統(tǒng)”,因此有義務(wù)去支持Sally。然而,假設(shè)一個(gè)人后來(lái)得知,有義務(wù)支持Sally會(huì)給Harry帶來(lái)過(guò)度的困難,作為演繹推理,規(guī)則s.91-BSHG表示Harry支持Sally的義務(wù)被排除在外。這個(gè)系統(tǒng)將證明兩個(gè)不一致的后果：Harry既有義務(wù)支持Sally,也沒(méi)有義務(wù)支持Sally。伯曼和哈夫納發(fā)現(xiàn)了這個(gè)問(wèn)題。[107]Berman&Hafner,見(jiàn)前引[23]。經(jīng)典邏輯演繹是單調(diào)的,一旦證明了一個(gè)命題,就不能僅僅因?yàn)閷W(xué)習(xí)新信息就收回它。這種證明一個(gè)命題及其反命題的能力意味著這個(gè)系統(tǒng)是不一致的并且可以證明任何事。

然而,正如伯曼和哈夫納所解釋的,[108]Id.在法律上,這種事情總是會(huì)發(fā)生的。如果研究者希望計(jì)算機(jī)能夠以現(xiàn)實(shí)的方式從法律規(guī)范中得出推斷,那么經(jīng)典的邏輯推理就不能使用,必須使用別的東西。

在“人工智能與法律”領(lǐng)域,目前對(duì)“還有什么其他可為的”這個(gè)問(wèn)題的回答是,具有適當(dāng)論證方案的論證計(jì)算模型,用于實(shí)現(xiàn)可廢止的推理。首先,根據(jù)規(guī)則s.91-BSHG,person1沒(méi)有義務(wù)支持何時(shí)會(huì)導(dǎo)致人員“過(guò)度困難”;其次,規(guī)則s.1602-BGB規(guī)定如果person2不是“有需要”,則另有例外。

表1的右半部分顯示了可廢止的法律規(guī)范表示的不同之處。規(guī)則s.1601-BGB是可廢止的,因?yàn)樵摲畎С至x務(wù)的兩個(gè)例外。首先,根據(jù)規(guī)則s.91-BSHG,當(dāng)會(huì)給人帶來(lái)“不適當(dāng)?shù)睦щy”時(shí),person1沒(méi)有義務(wù)提供支持;其次,規(guī)則s.1602-BGB規(guī)定了另一個(gè)例外：person2不需要支持。

因此,規(guī)則s.1601-BGB包含前提和結(jié)論,但結(jié)論只是假設(shè)(即可以證實(shí))真實(shí),表明即使前提為真,系統(tǒng)也可能掌握一些事實(shí)來(lái)推翻結(jié)論。這些可廢止條件被表示為“關(guān)鍵性問(wèn)題”,識(shí)別影響規(guī)則適用性的假設(shè)和例外：是否滿足指定的基礎(chǔ)假設(shè),是否應(yīng)用指定的例外,這條規(guī)則有效嗎,適用排除規(guī)則嗎,是否適用一些優(yōu)先級(jí)較高的沖突規(guī)則?

關(guān)于如何表達(dá)這樣的問(wèn)題或者如何稱呼不同類型的可廢止性條件,學(xué)術(shù)界幾乎沒(méi)有一致意見(jiàn),但是研究者普遍認(rèn)為,這些可廢止性條件需要被指定,因?yàn)槿缬烧撟C方案指導(dǎo)的,程序?qū)y(cè)試它們。

圖1 具有可廢止推理規(guī)則的“Carneades”論證圖

像Thomas Gordon的“Carneades”這樣的系統(tǒng)可以用可廢止的推理規(guī)則進(jìn)行推理,并構(gòu)造論點(diǎn)。圖1顯示了“Carneades”可以生成的人工準(zhǔn)備的論證圖版本。[109]Gordon&Walton,見(jiàn) 前 引 [38];Gordon,Analyzing Open Source License Compatibility Issues,見(jiàn) 前 引 [106],at 54-55;Gordon,Constructing Legal Arguments,見(jiàn)前引[106],at179.聲明節(jié)點(diǎn)是框,論證節(jié)點(diǎn)是圓(用“+”表示支持,用虛線表示論證適用性的例外)。如果指定Harry有義務(wù)支持Sally的目標(biāo),Carneades規(guī)則引擎會(huì)從該目標(biāo)向后推理,以找到支持該目標(biāo)的可廢止的推理規(guī)則：規(guī)則s.1601和s.1589。當(dāng)論證被構(gòu)造和編輯時(shí),它們?cè)谝粋€(gè)參數(shù)圖或圖表中被可視化。陰影聲明節(jié)點(diǎn)表示該語(yǔ)句被(相關(guān)聽(tīng)眾)假定為真。節(jié)點(diǎn)旁邊的陰影上小圓圈表示該參數(shù)是可接受的(根據(jù)相關(guān)證明標(biāo)準(zhǔn))。如果下面的圓圈被顯示成陰影,則語(yǔ)句的補(bǔ)語(yǔ)可以接受。

圖2 通過(guò)基于另一個(gè)規(guī)則的論點(diǎn)來(lái)阻止規(guī)則的可廢止結(jié)論

如果指定了擊敗該論證的目標(biāo),則程序搜索與規(guī)則相關(guān)聯(lián)的關(guān)鍵問(wèn)題,以找到可應(yīng)用的例外、排除或假設(shè)的失敗,從而阻止該論證的假定結(jié)論。因此,當(dāng)?shù)弥辛x務(wù)支持Sally會(huì)給Harry帶來(lái)不當(dāng)?shù)睦щy時(shí),這個(gè)程序就會(huì)發(fā)現(xiàn)這樣的排斥。規(guī)則s.91-BSHG應(yīng)用并阻止了論證的結(jié)論,如圖2所示。

假設(shè)有義務(wù)支持Sally會(huì)導(dǎo)致Harry不當(dāng)?shù)目嚯y不是既定的事實(shí)。相反,讓我們假定,雖然“不當(dāng)困難”不是由法律規(guī)范定義的,法院在涉及某些因素的案件中認(rèn)定贊成或反對(duì)不當(dāng)困難。

特別地,假設(shè)存在三種情況：

Mueller：P在{PF2}中贏得不適當(dāng)?shù)睦щy問(wèn)題;

Schmidt：D贏得了{(lán)PF2,DF1}的不當(dāng)困難問(wèn)題;

Bauer：P贏得了{(lán)PF2,DF1,PF3}的不當(dāng)困難問(wèn)題。

最后,讓我們假設(shè)：Harry和Sally從來(lái)沒(méi)有親子關(guān)系,PF2,并且Sally只需要短時(shí)間的支持,DF1。

圖3 Schmidt方案的論點(diǎn)勝過(guò)Mueller方案,導(dǎo)致規(guī)則可廢止

在這種情況下,“Carneades”可以根據(jù)基于案例的推論構(gòu)建支持和反對(duì)Harry有義務(wù)支持的Sally的論點(diǎn),如圖3所示。[110]見(jiàn)前引[38]和前引[109]。與問(wèn)題共享PF2的Mueller案例支持一個(gè)論點(diǎn),即s.91-BSHG導(dǎo)致根據(jù)s.1601-BGB將義務(wù)排除在外。然而,Schmidt方案的情況更具有針對(duì)性(因?yàn)樵贛ueller和問(wèn)題之間共享的一組因素是Schmidt和問(wèn)題之間共享的那些因素的子集,即PF2和DF1),并且結(jié)果相反。按照HYPO[111]Ashley,見(jiàn)前引⑤,at 784.的術(shù)語(yǔ),Schmidt方案勝過(guò)Mueller方案。

C3課：法律論證涉及邏輯、修辭、不確定性和敘述之間的復(fù)雜關(guān)系

雖然家庭法的例子很簡(jiǎn)單,法學(xué)院的學(xué)生可能仍然對(duì)“Carneades”將生成多種類型的法律論點(diǎn)并整合成易于解釋的視覺(jué)格式的能力印象深刻。法律專業(yè)的學(xué)生可以看到比簡(jiǎn)單地演繹性地應(yīng)用法律規(guī)范更復(fù)雜的論證結(jié)構(gòu)。

這個(gè)論證也回避了一個(gè)問(wèn)題,即律師如何將不確定性和修辭性的考慮因素納入他們對(duì)法律論證的評(píng)估中。法律論證是一種處理不確定性的技術(shù)(例如在法律規(guī)劃中),但不確定性也影響法律論證。這種不確定性包括關(guān)于以下方面的不確定性：證據(jù)和事實(shí)斷言的合理性,法律對(duì)事實(shí)的規(guī)范性應(yīng)用,對(duì)替代結(jié)果的道德評(píng)估以及接受論點(diǎn)的可能性。

然后問(wèn)題出現(xiàn)了：是否以及如何將不確定性因素引入到論證圖中。教學(xué)大綱中的一些文章處理了類“Carneades”模型中的不確定性。一種方法是在論證圖中實(shí)現(xiàn)說(shuō)服負(fù)擔(dān)或證明負(fù)擔(dān),如“證據(jù)的優(yōu)勢(shì)”和“超越合理的懷疑”。例如,通過(guò)將證據(jù)確定性的定量度量同論證與結(jié)論聯(lián)系起來(lái),并強(qiáng)制批準(zhǔn)的弧線聯(lián)系起來(lái),這些證明負(fù)擔(dān)有助于普瑞特定量標(biāo)準(zhǔn)。[112]Gordon&Walton,見(jiàn)前引[38],at 137-138;Atkinson and Bench-Capon,見(jiàn)前引[37]。

此外,“Carneades”的論點(diǎn)模型還可以通過(guò)具有不確定性推理的能力(使用貝葉斯信念網(wǎng)絡(luò))來(lái)擴(kuò)充;這種改變將允許發(fā)起者探索關(guān)于證據(jù)不確定性[113]Grabmair &Ashley,見(jiàn)前引[68]。的各種假設(shè)的后果。例如,他應(yīng)該為事實(shí)或法律辯護(hù)嗎?為了評(píng)估如何最好地改善他作出有利決定的機(jī)會(huì),辯護(hù)人可以修改代表陪審團(tuán)對(duì)各種證據(jù)事實(shí)的信仰的假設(shè)概率分布,或者修改代表陪審團(tuán)對(duì)各種論據(jù)的合理性的信仰的權(quán)重。同樣的工作探索了敘述在評(píng)估律師試圖符合證據(jù)的故事中的證據(jù)不確定性的作用。不同的敘述適用于不同的法律主張。對(duì)于一個(gè)故事來(lái)說(shuō)似乎可信的證據(jù)可能與另一個(gè)故事無(wú)關(guān),或者與另一個(gè)故事相矛盾。雖然用于模擬法律論證的這些方面的計(jì)算技術(shù)還處于起步階段,但是學(xué)生可以從思考潛在的現(xiàn)象中受益。

這就完成了如何利用“人工智能與法律”研討班來(lái)教授學(xué)生一些有關(guān)法律的經(jīng)典課程的討論。這些材料還可以用于課程指導(dǎo),以及輔助法律專業(yè)的學(xué)生準(zhǔn)備從事數(shù)字時(shí)代的法律實(shí)踐。

六、法律推理的計(jì)算模型與法律實(shí)踐中數(shù)字技術(shù)的連接

學(xué)生需要了解影響法律領(lǐng)域的“信息革命”,以及信息革命如何影響他們法律就業(yè)的前景、法律就業(yè)的種類,以及他們?cè)跀?shù)字時(shí)代作為法律從業(yè)者的責(zé)任。一位研究法律實(shí)踐的發(fā)展趨勢(shì)及其對(duì)法學(xué)院課程影響的杰出學(xué)術(shù)觀察家最近觀察到：法學(xué)院課程因一場(chǎng)信息革命而變得更加復(fù)雜,這場(chǎng)革命正在改變當(dāng)前工作和未來(lái)工作的組合。由于目前法律行業(yè)對(duì)過(guò)程和技術(shù)的重視,目前法學(xué)院盛行的實(shí)用技術(shù)技能教育和領(lǐng)域知識(shí)教育可能不足以滿足大部分2015[114]William D.Henderson,A Blueprint for Change,40 Pepp.L.Rev.461,501(2013).學(xué)年畢業(yè)的學(xué)生的需要。而學(xué)生對(duì)于這樣的情況毫無(wú)準(zhǔn)備：法律正變得不那么與陪審團(tuán)審判和法庭辯護(hù)相關(guān),而是更多的與運(yùn)算工程、預(yù)測(cè)編碼以及這些過(guò)程所要求的協(xié)作和技術(shù)技能相關(guān)。[115]Id.at 505-506(emphasis added).

亨德森(Henderson)提到的技術(shù)主要是文檔審查過(guò)程的自動(dòng)化,以使得它能夠使用機(jī)器學(xué)習(xí)技術(shù)(也稱為預(yù)測(cè)編碼)來(lái)處理現(xiàn)代訴訟中的大量電子文檔。程序正在學(xué)習(xí)從現(xiàn)代訴訟中產(chǎn)生的巨大內(nèi)存文件中選擇電子文檔,并依靠訴訟者將小組文檔標(biāo)記為與權(quán)利主張相關(guān)的文檔,以及和辯護(hù)不相關(guān)的文檔,根據(jù)它們的相關(guān)性將它們分組。

“預(yù)測(cè)編碼本質(zhì)上是機(jī)器學(xué)習(xí)在搜索相關(guān)信息時(shí)部分取代了人類?！盵116]Id.at 487(emphasis added).這一發(fā)展是由電子發(fā)掘緩存的規(guī)模和多樣性驅(qū)動(dòng)的。

由于數(shù)字?jǐn)?shù)據(jù)的大爆炸,我們的日常生活被編碼成電子郵件、文本消息以及旨在取代電子郵件的內(nèi)部知識(shí)管理平臺(tái)和數(shù)字化語(yǔ)音郵件,使用傳統(tǒng)的審查方法去審查平民或白領(lǐng)訴訟范圍變得昂貴得令人望而卻步。[117]Id.

強(qiáng)調(diào)“過(guò)程”對(duì)于面對(duì)合法就業(yè)市場(chǎng)的學(xué)生來(lái)說(shuō)尤為重要。Henderson復(fù)述理查德·蘇斯金德(Richard Susskind)的《律師的終結(jié)》時(shí)說(shuō)道。[118]Richard Susskind,The End of Lawyers?6(2010).

通過(guò)識(shí)別以法律形式的遞歸模式和司法意見(jiàn),使得(從定制的法律工作到標(biāo)準(zhǔn)化、系統(tǒng)化、打包,以及最終商品化)這些改變成為可能,使得流程和技術(shù)的使用能夠?qū)崿F(xiàn)常規(guī)化,并為各種法律需求提供非常便宜和高質(zhì)量的解決方案。[119]Henderson,見(jiàn)前引[114],at479(emphasis added).

通常由美國(guó)法學(xué)院初級(jí)畢業(yè)生從事的勞動(dòng)密集型工作,……現(xiàn)在由印度法律專業(yè)的畢業(yè)生[為法律程序外包商(LPOs)工作]來(lái)完成,他們正在學(xué)習(xí)如何設(shè)計(jì)和操作從大量數(shù)字文本中提取有用信息的過(guò)程。印度法學(xué)院的畢業(yè)生不僅得到了就業(yè)機(jī)會(huì),而且正在學(xué)習(xí)有價(jià)值的技能,而這些技能完全不需要從美國(guó)法學(xué)院的學(xué)習(xí)中掌握。[120]Id.at487(emphasis added).

為了更好地提供有關(guān)電子發(fā)掘和其他法律信息管理過(guò)程的產(chǎn)品和服務(wù),律師、律師事務(wù)所、法官和監(jiān)管機(jī)構(gòu)越來(lái)越依賴于對(duì)機(jī)器學(xué)習(xí)、數(shù)據(jù)挖掘、自然語(yǔ)言處理和信息檢索技術(shù)的評(píng)估、購(gòu)買與驗(yàn)證。為了便于參考,這些技術(shù)將統(tǒng)稱為“數(shù)字文獻(xiàn)技術(shù)”。雖然受到電子發(fā)掘的壓力的驅(qū)動(dòng),但數(shù)字文檔技術(shù)并不僅僅用于訴訟,它們?cè)诠緲I(yè)務(wù)和法律實(shí)踐的所有領(lǐng)域都很重要,涉及開(kāi)發(fā)管理公司文件的過(guò)程,例如稅收、合并和收購(gòu)以及合規(guī)性等等。

如下所述,“人工智能與法律”研討班通過(guò)向法學(xué)院學(xué)生介紹信息處理、算法和運(yùn)算工程來(lái)幫助他們理解數(shù)字文檔技術(shù)。實(shí)際上,在研討班常常是他們第一次系統(tǒng)地接觸這些概念。然而,從一開(kāi)始就應(yīng)該明確的是,教學(xué)大綱第1部分、第2部分和第3部分所討論的法律推理計(jì)算模型與當(dāng)前數(shù)字文獻(xiàn)技術(shù)的核心不同。數(shù)字文獻(xiàn)技術(shù)扎根于全文法律信息檢索、計(jì)算語(yǔ)言學(xué)(如淺文本解析和命名實(shí)體識(shí)別)以及統(tǒng)計(jì)自然語(yǔ)言處理、機(jī)器學(xué)習(xí)和數(shù)據(jù)挖掘。這些技術(shù)的起源各不相同,以下將分述之,最后將討論把它們相互交織在一起的綜合運(yùn)用。

這里相關(guān)的一點(diǎn)是,簡(jiǎn)單地說(shuō),大多數(shù)課程大綱中的“人工智能與法律”工作,是用來(lái)教授學(xué)生有關(guān)法律規(guī)范、案例和論點(diǎn)的課程,卻不涉及與數(shù)字文檔技術(shù)相同的任務(wù)和過(guò)程。的確,數(shù)字文檔技術(shù)與學(xué)生處理法律知識(shí)的方式之間存在著鮮明的對(duì)比,即機(jī)器學(xué)習(xí)、數(shù)據(jù)挖掘、自然語(yǔ)言處理和信息檢索模型的效率與“人工智能與法律”模型表達(dá)之間的對(duì)比。例如,法律信息檢索需要處理大量的文檔和自然語(yǔ)言查詢,這讓W(xué)estlaw和Lexis非常有效,然而這些程序并不深入地處理文本;Westlaw和Lexis甚至無(wú)法分辨一個(gè)案件或議題中誰(shuí)是獲勝方,更不用說(shuō)如何在一個(gè)法律問(wèn)題的論證中使用文本了。此外,與短語(yǔ)相反,這些程序不能過(guò)濾具有/不具有指定特征的文檔。

盡管有這些技術(shù)差異,“人工智能與法律”研討班可以通過(guò)教授學(xué)生以下工具來(lái)幫助他們理解數(shù)字文獻(xiàn)技術(shù)：① 在計(jì)算模型、算法、相關(guān)性度量和實(shí)驗(yàn)評(píng)估等方面的技術(shù)的概念詞匯的描述;② 對(duì)技術(shù)中隱含的任務(wù)要求、計(jì)算模型和算法的高級(jí)描述;③ 這些技術(shù)的性能通過(guò)實(shí)驗(yàn)測(cè)量的方式、程度以及這些測(cè)量的意義;④技術(shù)中隱含的計(jì)算模型能夠捕獲什么和模型會(huì)遺漏什么的一些示例;⑤技術(shù)嵌入的法律過(guò)程,包括硬件、軟件、人類技術(shù)人員和人類法律從業(yè)人員。

總之,參加“人工智能與法律”研討班為法學(xué)院學(xué)生提供了“計(jì)算”思考法律實(shí)踐過(guò)程和法律信息處理的經(jīng)驗(yàn)。雖然今天的學(xué)生是隨著互聯(lián)網(wǎng)成長(zhǎng)起來(lái)的,并且非常熟悉萬(wàn)維網(wǎng)的界面,但是他們可能并沒(méi)有在法律實(shí)踐中系統(tǒng)地思考信息處理問(wèn)題。這些學(xué)生很可能在編程方面沒(méi)有什么背景,并且既沒(méi)有考慮開(kāi)發(fā)算法來(lái)實(shí)現(xiàn)規(guī)范,也沒(méi)有考慮使用連續(xù)的細(xì)化來(lái)為每個(gè)步驟開(kāi)發(fā)子算法。然而,到研討班結(jié)束時(shí),這些學(xué)生將完成兩項(xiàng)工作,一是使用法律推理算法,二是使用電子發(fā)掘的算法。

對(duì)于不熟悉全文法律信息檢索如何工作的學(xué)生來(lái)說(shuō),這是一個(gè)明智的進(jìn)步。諸如用于全文檢索、從大型數(shù)據(jù)集進(jìn)行機(jī)器學(xué)習(xí)、數(shù)據(jù)挖掘或自然語(yǔ)言處理的貝葉斯信念網(wǎng)絡(luò)之類的技術(shù)是復(fù)雜的,并且可能拋棄法律直覺(jué)。這將有助于學(xué)生獲得介紹的計(jì)算性思維的算法,在法學(xué)院的第一年結(jié)束時(shí),學(xué)生就已經(jīng)對(duì)該算法的模型推理過(guò)程很熟悉了。

從另一方面來(lái)說(shuō),這種進(jìn)展也是有意義的。如下所述,法律推理的計(jì)算模型最終將引導(dǎo)改善數(shù)字文檔技術(shù)的智能行為。至少一些參加“人工智能與法律”研討班的學(xué)生可以很好地自己設(shè)計(jì)這些技術(shù),或者支持其他人設(shè)計(jì)它們。

即使法律專業(yè)的學(xué)生只是數(shù)字文檔技術(shù)的消費(fèi)者或用戶,而不是設(shè)計(jì)者或改進(jìn)者,對(duì)于非編程專業(yè)的法律學(xué)生來(lái)說(shuō),學(xué)習(xí)這些工具如何工作也是很有價(jià)值的。企業(yè)和政府客戶將很快需要電子發(fā)掘工具,這些工具不僅被允許,而且要求專業(yè)護(hù)理標(biāo)準(zhǔn)。接受這些工具進(jìn)入職業(yè)的過(guò)程已經(jīng)并將繼續(xù)由律師——以前的法學(xué)學(xué)生——去選擇工具,使用它們,指導(dǎo)其他人如何使用它們,解釋它們的輸出,并通過(guò)解釋它們?nèi)绾喂ぷ饕约八鼈內(nèi)绾慰煽亢陀行У貋?lái)向其他人(如法官)證明它們的使用是正當(dāng)?shù)??！叭斯ぶ悄芘c法律”研討班通過(guò)教給未來(lái)的律師一些有關(guān)法律數(shù)字文檔技術(shù)的寶貴經(jīng)驗(yàn)來(lái)為這些任務(wù)做準(zhǔn)備。

七、關(guān)于法律數(shù)字文檔技術(shù)的課程

本部分重點(diǎn)介紹一些關(guān)于數(shù)字文檔技術(shù)的課程,學(xué)生可以從“人工智能與法律”研討班上學(xué)到這些課程。

D1課：法律數(shù)字文檔技術(shù)是基于運(yùn)算模型和算法的

如上所述,從定制化法律服務(wù)向商品化法律服務(wù)的轉(zhuǎn)變意味著學(xué)生可以從理解“涉及法律知識(shí)的過(guò)程”的概念中受益。

“人工智能與法律”研討班通過(guò)實(shí)例向法學(xué)院學(xué)生介紹這種過(guò)程的概念。教學(xué)大綱中所討論的所有計(jì)算模型都集中在處理法律知識(shí)上?！叭斯ぶ悄芘c法律”推理模型以及數(shù)字文檔技術(shù)模型也是如此。

許多“人工智能與法律”模型是一些過(guò)程的成熟的表示,這些過(guò)程涉及法律知識(shí)及其算法實(shí)現(xiàn)的過(guò)程或部分過(guò)程。例如,當(dāng)需要時(shí),CABARET程序應(yīng)用議程機(jī)制在基于規(guī)則和實(shí)例的推理之間切換控制。[121]Rissland&Skalak,見(jiàn)前引[33],at 853.學(xué)生可以檢查過(guò)程的輸出,以將CABARET的控制機(jī)制與人類問(wèn)題解決者的控制機(jī)制進(jìn)行比較,可能人類問(wèn)題解決者切換得更少,并且更關(guān)注于識(shí)別問(wèn)題和解決問(wèn)題。IBP+SMILE程序利用過(guò)去的案例重新實(shí)現(xiàn)了預(yù)測(cè)法律結(jié)果的過(guò)程。IBP組件將問(wèn)題分解為若干個(gè)小問(wèn)題,對(duì)于每個(gè)小問(wèn)題,基于由與該小問(wèn)題相關(guān)的因素索引的案例,提出關(guān)于誰(shuí)應(yīng)該獲勝的假設(shè)。然后,程序測(cè)試了反例假設(shè),即不能解釋清楚。[122]Ashley&Brüninghaus,Computer Models,見(jiàn)前引[30],at347.SMILE組件使用機(jī)器學(xué)習(xí)來(lái)學(xué)習(xí)如何識(shí)別案例的文本描述中的因素。在組合程序中,一個(gè)算法使用SMILE將問(wèn)題輸入作為文本處理,并向IBP輸出可用因素的列表,然后IBP預(yù)測(cè)結(jié)果。[123]Ashley&Brüninghaus,Automatically Classifying Case Texts,見(jiàn)前引[58],at 139-140.

其他教學(xué)大綱研究論文提供了涉及機(jī)器學(xué)習(xí)和自動(dòng)從文本中提取信息的過(guò)程的良好實(shí)例,包括法定文本、[124]Francesconi&Passerini,見(jiàn)前引[59];de Maatetal.,見(jiàn)前引[59]。案例文本、[125]Jackson et al.,見(jiàn)前引[52]。文本以及審前發(fā)現(xiàn)所涉及的文本。[126]Privaultetal.,見(jiàn)前引[65]。弗朗西斯科利(Francesconi)和同事們的工作說(shuō)明了自下而上和自上而下的處理的良好結(jié)合,讓人工的注釋器集中在統(tǒng)計(jì)有趣的特征上,這些特征可能值得被包含于本體論中。[127]Francesconi et al.,見(jiàn)前引④。

用于審前電子發(fā)掘的現(xiàn)有數(shù)字文檔技術(shù)[128]Hoganetal.,見(jiàn)前引[64],at434-435.實(shí)現(xiàn)用于識(shí)別與訴訟相關(guān)的文檔的迭代過(guò)程。作者集中于高級(jí)訴訟人的“感悟”：收集、組織和創(chuàng)建復(fù)雜信息集合(即電子文檔)表示的過(guò)程,所有過(guò)程都集中在他們需要理解(即它們?nèi)绾闻c訴訟相關(guān))的一些問(wèn)題上。[129]Robert Bauer,Teresa Jade,Bruce Hedin&Christopher Hogan,Automated Legal Sensemaking：The Centrality of Relevance and Intentionality,2008Proc.of the Second Int'l Workshopon Supporting Search&Sensemaking for Electronically Stored Info.in Discovery Session 2,Paper No.5,2,available athttp：//eprints.ucl.ac.uk/9131/1/9131.pdf.目標(biāo)是梳理訴訟當(dāng)事人的相關(guān)性假設(shè)：如果在文件中找到,或多或少抽象的主題描述將使該文件與法律訴訟相關(guān)。[130]Hoganetal.,見(jiàn)前引[64],at446-448,455.本文描述了一個(gè)迭代的用戶建模過(guò)程以引出這些相關(guān)假設(shè)。這是一個(gè)以計(jì)算機(jī)為中介的連續(xù)細(xì)化過(guò)程,其中訴訟人傳達(dá)所需的信息、檢索樣本文件,并且訴訟人確認(rèn)他們是否有回應(yīng)。如果他們沒(méi)有回應(yīng),訴訟律師會(huì)改進(jìn)這一假設(shè)。這個(gè)過(guò)程產(chǎn)生了訴訟律師的目標(biāo)模型,與案件相關(guān)的法律和其他概念及其特殊程度,以及表達(dá)概念的各種方式。實(shí)際上,這些信息使訴訟律師的假設(shè)可操作,然后用于檢索與該假設(shè)相關(guān)的更多文件。隨著機(jī)器學(xué)習(xí)開(kāi)發(fā)出感興趣概念的概率模型,工具可以幫助訴訟人員可視化新文檔與相關(guān)文檔的概念集群的關(guān)系。[131]Privaultetal.,見(jiàn)前引[65]。

多年來(lái),在為匹茲堡大學(xué)法學(xué)院“人工智能與法律”研討班撰寫論文時(shí),學(xué)生已經(jīng)發(fā)展了自己對(duì)涉及法律知識(shí)的過(guò)程的表示。一些代表性的標(biāo)題包括“人工智能在先鋒藝術(shù)搜索中的應(yīng)用：專利文獻(xiàn)搜索行業(yè)的概述和預(yù)測(cè)”“基因?qū)＠暾?qǐng)過(guò)程的人工智能改進(jìn)”“為了斷言的真相：利用人工智能協(xié)助陪審團(tuán)在審判中連貫地重建事實(shí)”“通過(guò)規(guī)范違反無(wú)效規(guī)則來(lái)調(diào)整‘人工智能與法律’模型以預(yù)測(cè)訴訟結(jié)果”。

D2課：法律數(shù)字文檔技術(shù)以不同類型的文本作為輸入

數(shù)字文檔技術(shù)的基礎(chǔ)過(guò)程包括文本作為輸入?！叭斯ぶ悄芘c法律”研討班的學(xué)生因此可以了解計(jì)算處理文本的挑戰(zhàn)。

大綱中所引用的大多數(shù)法律推理計(jì)算模型都不接受文本作為輸入。取而代之的是,人類讀取問(wèn)題場(chǎng)景或要存儲(chǔ)在程序知識(shí)庫(kù)中的案例的文本,提取程序所要求的信息,并以適當(dāng)?shù)母袷绞謩?dòng)表示問(wèn)題或案例。因此,在某種意義上,輸入是人工處理的文本。主要的例外是上面描述的IBP+SMILE程序。

在數(shù)字文獻(xiàn)技術(shù)的過(guò)程和領(lǐng)域中存在太多的文檔,無(wú)法手工處理每個(gè)文檔。像Lexis和Westlaw這樣的合法IR供應(yīng)商每天獲取數(shù)千個(gè)案例。案件文本由法院以電子方式提交,并自動(dòng)在倒排索引中編索引,其中給定文檔由每個(gè)“主”字編索引(即使用從“索引”項(xiàng)中過(guò)濾出來(lái)的“the”“a”“an”等字)。因此,合法IR程序根據(jù)查詢搜索數(shù)百萬(wàn)個(gè)文檔,“人工智能與法律”模型最多搜索數(shù)百個(gè)(但是一些模型,如SPIRE,[132]Daniels&Rissland,見(jiàn)前引[53]?？梢赃B接到全文合法IR源,從而擴(kuò)展了它們的搜索)。

這個(gè)模型還處理非常不同的文本。一些法律文本處理研究涉及更結(jié)構(gòu)化的文本,這些文本在法律管理過(guò)程中的功能是已知的(例如法定文本或法院判決的文本)。相比之下,在電子發(fā)掘環(huán)境中,文本是在訴訟中產(chǎn)生的極其異構(gòu)的文檔。它們不僅包括公司備忘錄和協(xié)議,還包括所有基于互聯(lián)網(wǎng)的通信,也包括電子郵件。電子郵件可以是來(lái)自經(jīng)理和雇員之間的,或者來(lái)自雇員到其他雇員、客戶和供應(yīng)商,或者來(lái)自雇員的家人和朋友等等。事實(shí)上,對(duì)于電子郵件,對(duì)誰(shuí)在什么時(shí)間段與誰(shuí)進(jìn)行通信的社交網(wǎng)絡(luò)分析可以提供有價(jià)值的信息,用于選擇相關(guān)文本以進(jìn)一步分析。[133]Henseler,見(jiàn)前引[63]。

D3課：數(shù)字文檔技術(shù)能夠發(fā)現(xiàn)與法律問(wèn)題相關(guān)的文本

數(shù)字文獻(xiàn)技術(shù)往往側(cè)重于尋找與法律問(wèn)題相關(guān)的信息的過(guò)程。這個(gè)過(guò)程會(huì)影響一個(gè)系統(tǒng)評(píng)估相關(guān)性的方式、評(píng)估系統(tǒng)的方式以及評(píng)估系統(tǒng)性能的措施。法律專業(yè)的學(xué)生會(huì)發(fā)現(xiàn),IR的相關(guān)性、評(píng)估和措施在電子發(fā)掘的教學(xué)大綱材料中有簡(jiǎn)明的定義。

相關(guān)性：在IR任務(wù)中,一個(gè)正確返回的文檔(廣義上被理解為任何信息容器),如果用戶希望看到它就被認(rèn)為是相關(guān)的,否則就不相關(guān)了。

評(píng)價(jià)：相關(guān)性是一個(gè)觀點(diǎn)(而不是一個(gè)客觀確定的事實(shí))的一個(gè)重要結(jié)果是檢索效率成為評(píng)價(jià)的主要焦點(diǎn)。絕大多數(shù)IR評(píng)估主要關(guān)注相關(guān)性的一個(gè)方面：話題性。研究者最廣泛使用的話題相關(guān)性定義是文獻(xiàn)中任何部分對(duì)所希望的主題的實(shí)質(zhì)性處理。

度量：通過(guò)檢索每個(gè)主題具有積極評(píng)估的文檔的能力來(lái)度量檢索方法的有效性。假設(shè)二元評(píng)估(即相關(guān)與非相關(guān)),兩種有效性的措施是非常常見(jiàn)的報(bào)告?；厮菔窍到y(tǒng)檢索到的現(xiàn)有相關(guān)文檔的比例,而精確度是檢索到的實(shí)際相關(guān)文檔的比例。它們一起反映了以用戶為中心的觀點(diǎn),即假陽(yáng)性和假陰性[134]Oard et al.,見(jiàn)前引[61],at 360,362,363.之間的基本折中。

法律語(yǔ)境中的話題是一個(gè)動(dòng)態(tài)的目標(biāo)。盡管Westlaw的密鑰編號(hào)系統(tǒng)提供了跨越不同法律領(lǐng)域的主題的豐富主題列表,但律師通常尋求更詳細(xì)的主題。律師試圖捕捉與他們正在研究的問(wèn)題情形(即源案件)相關(guān)的目標(biāo)案件中的事實(shí)模式。在電子發(fā)掘中,不存在這樣的列表。相關(guān)主題主要是為訴訟人所知的抽象描述;實(shí)際上,如上所述,數(shù)字文檔技術(shù)的提供者需要基于訴訟人對(duì)文檔相關(guān)性的確定,開(kāi)發(fā)特殊的過(guò)程以來(lái)歸納主題。

教學(xué)大綱為法學(xué)院學(xué)生提供了一個(gè)可讀的說(shuō)明,說(shuō)明像Westlaw和Lexis這樣的全文法律信息檢索系統(tǒng)如何根據(jù)文檔和語(yǔ)料庫(kù)中術(shù)語(yǔ)的使用頻率來(lái)建模用戶認(rèn)為重要的主題(即用戶的信息需求)。此外,這些資料還解釋了信息檢索系統(tǒng)如何評(píng)估文檔與用戶信息需求的相關(guān)性,在召回通常是次要重要的環(huán)境中實(shí)現(xiàn)高精度。[135]Turtle,見(jiàn)前引[49],at7-9.該系統(tǒng)在法律研究中工作良好,很少需要對(duì)每個(gè)相關(guān)案例進(jìn)行詳盡搜索,許多好的案例足以發(fā)展對(duì)這個(gè)問(wèn)題的理解,并形成關(guān)于如何決定的論點(diǎn)。[136]Oardetal.,見(jiàn)前引[61],at353.

然而,在電子發(fā)掘中,檢索“任何和所有”與主題相關(guān)的文檔是典型的目標(biāo)。[137]Id.at351.也就是說(shuō),召回是有額外費(fèi)用的。這個(gè)事實(shí)之所以不幸,有兩個(gè)原因。首先,研究表明,律師往往高估了他們的召回率。[138]Blair&Maron,見(jiàn)前引[51],at 293-294.這項(xiàng)(開(kāi)創(chuàng)性)研究確定了律師的看法之間存在差距,即使用他們的具體詢問(wèn),他們會(huì)檢索到大約75%的相關(guān)證據(jù),這些證據(jù)是在收集40000份訴訟用途的文件中找到的,研究人員能夠證明,事實(shí)上只發(fā)現(xiàn)了約20%的相關(guān)文件。[139]Oardetal.,見(jiàn)前引[61],at348-349.其次,“現(xiàn)在很清楚,隨著數(shù)據(jù)集越來(lái)越大,高精度搜索通常變得稍微容易一些了,但是不確定性倍增使得越來(lái)越難以成功進(jìn)行特定或詳盡的搜索”。[140]Id.at349(citationomitted).

上述因素給法律從業(yè)者帶來(lái)的后果是,法律從業(yè)者需要負(fù)責(zé)理解、選擇、解釋和證明電子發(fā)掘過(guò)程和工具,鑒于供應(yīng)商的替代產(chǎn)品和相互沖突的主張以及缺乏客觀評(píng)價(jià),這是一項(xiàng)艱巨的任務(wù)。

D4課：數(shù)字文檔技術(shù)及其運(yùn)算模型需要經(jīng)驗(yàn)方法來(lái)測(cè)試

對(duì)于那些日益面臨處理法律信息過(guò)程模型的需求的學(xué)生,無(wú)論是作為消費(fèi)者還是設(shè)計(jì)師,“人工智能與法律”研討班教導(dǎo)一種檢驗(yàn)過(guò)程模型的經(jīng)驗(yàn)方法?！叭斯ぶ悄芘c法律”的發(fā)展歷史已經(jīng)通過(guò)經(jīng)驗(yàn)或思想實(shí)驗(yàn)來(lái)檢驗(yàn)?zāi)Ｐ?重點(diǎn)放在模型崩潰的例子上,然后對(duì)其進(jìn)行調(diào)整。這段歷史包括發(fā)明用于評(píng)估模型的實(shí)驗(yàn)技術(shù)。[141]例如：Branting,見(jiàn)前引[26];Ashley&Brüninghaus,Computer Models,見(jiàn)前引[30];Mc Laren,見(jiàn)前引[36]。從Berman和Hafner第一次呼吁表示基于案例推理的目的論基礎(chǔ),[142]Berman &Hafner,見(jiàn)前引[34]。到CATO的因子層次,[143]Aleven,見(jiàn)前引[29],at 191-193.到IBP中的假設(shè)檢驗(yàn),[144]Ashley&Brüninghaus,Computer Models,見(jiàn)前引[30]。到理論歸納,[145]Bench-Capon &Sartor,見(jiàn)前引[35]。到論證方案,[146]Gordon&Walton,見(jiàn)前引[38];Atkinson&Bench-Capon,見(jiàn)前引[37]。到論證方案的工作進(jìn)展價(jià)值判斷模型,[147]Grabmair &Ashley,見(jiàn)前引[39]。是示例驅(qū)動(dòng)的法律信息處理模型的增量式持續(xù)改進(jìn)的實(shí)例。另一個(gè)例子是假設(shè)推理模型中的迭代細(xì)化。[148]見(jiàn)前引[100]。

教學(xué)大綱提供了客觀評(píng)價(jià)電子發(fā)掘IR工具的挑戰(zhàn)和方法的處理。[149]Oardetal.,見(jiàn)前引[61]。它向?qū)W生介紹了TREC法律軌道,來(lái)自學(xué)術(shù)界和工業(yè)界的團(tuán)隊(duì)每年與其競(jìng)爭(zhēng)并評(píng)估應(yīng)用于公開(kāi)數(shù)據(jù)集的最有效的電子發(fā)掘IR工具。公開(kāi)的數(shù)據(jù)集包括Tobacco訴訟和Enron丑聞中的電子郵件和其他文件的集合。TREC競(jìng)賽的要求,即電子文檔數(shù)量的增加和系統(tǒng)有效性的三個(gè)方面對(duì)現(xiàn)實(shí)發(fā)現(xiàn)進(jìn)行比較的需求,使得TREC組織者將布萊爾(Blair)和馬龍(Maron)研究[150]Blair&Maron,見(jiàn)前引[51]。的實(shí)驗(yàn)技術(shù)擴(kuò)展為使用許多法律的大規(guī)模評(píng)估。學(xué)生、律師助理和律師作為志愿相關(guān)性評(píng)估員。[151]Oardetal.,見(jiàn)前引[61],at367.

作為這項(xiàng)技術(shù)的潛在消費(fèi)者,法律專業(yè)的學(xué)生應(yīng)該了解到,電子發(fā)掘任務(wù)并非一成不變的。雖然TREC的競(jìng)爭(zhēng)有三個(gè)方面,但都集中在“響應(yīng)性審查：一方……被服務(wù)……要求出示文件和……必須找到并生產(chǎn)……對(duì)請(qǐng)求作出響應(yīng)的任何和所有文件”。[152]Id.at 370.重點(diǎn)關(guān)注的三個(gè)具體方面是：① 交互式任務(wù),即檢索所有且僅與主體機(jī)構(gòu)對(duì)相關(guān)內(nèi)容的定義一致的文檔;[153]Id.② 特設(shè)任務(wù),即單遍、首遍自動(dòng)搜索;[154]Id.at373.③ 相關(guān)反饋任務(wù),即基于對(duì)第一遍結(jié)果的人類反饋的第二遍搜索。[155]Id.at375.

正如奧德(Oard)的文章所闡明的,用于評(píng)估這三個(gè)任務(wù)的技術(shù)不同,并且還有其他任務(wù)尚未發(fā)明評(píng)估技術(shù)。[156]Id.at370.“在訴訟初期,律師可以對(duì)文件集進(jìn)行探索性檢索,以檢驗(yàn)假設(shè)并建立案件理論。此外,律師可以搜索與特定個(gè)人活動(dòng)有關(guān)的文件,以便為證人的證言做準(zhǔn)備;作為審判方法,律師可以搜索一組通常相關(guān)的文件,以便找到他或她想作為審判中的展品進(jìn)入的小子集;等等?！?/p>

有了對(duì)IR相關(guān)性、評(píng)估和措施的概念性理解,并將其應(yīng)用于電子發(fā)掘,以及用于測(cè)試關(guān)于過(guò)程模型的聲明的實(shí)證和基于實(shí)例的方法,學(xué)生可以做好充足地準(zhǔn)備,有能力以批判性地質(zhì)疑供應(yīng)商關(guān)于電子發(fā)掘工具的聲明,以便在他們自己的電子發(fā)掘過(guò)程中有效地使用工具,并向客戶和法官證明這些工具的效果。

D5課：發(fā)現(xiàn)與法律問(wèn)題相關(guān)的文本與應(yīng)用相關(guān)文本解決法律問(wèn)題不同

在學(xué)習(xí)了一些數(shù)字文獻(xiàn)技術(shù),以及一些法律推理的計(jì)算模型之后,學(xué)生將能夠很好地考慮如何將這兩種方法結(jié)合起來(lái)。

為什么這種整合是值得的?如果法律服務(wù)市場(chǎng)的歷史確實(shí)已經(jīng)從定制、標(biāo)準(zhǔn)化、系統(tǒng)化和包裝發(fā)展到商品化,那么接下來(lái)人們會(huì)有什么新需求?盡管生產(chǎn)效率很高,但商品化的法律工作不再是解決客戶特定問(wèn)題的定制工作。雖然雇用人事律師來(lái)調(diào)整商品化產(chǎn)品以解決客戶的問(wèn)題可能太昂貴,但是計(jì)算技術(shù)仍然可以有效地執(zhí)行這種“后商品化”定制。

如上所述,數(shù)字文獻(xiàn)技術(shù)往往側(cè)重于尋找與法律問(wèn)題有關(guān)的信息的過(guò)程。相比之下,法律推理的計(jì)算模型往往側(cè)重于應(yīng)用相關(guān)信息解決法律問(wèn)題的過(guò)程。因此,這兩種方法具有互補(bǔ)的優(yōu)點(diǎn)和缺點(diǎn)。

信息檢索中的相關(guān)性度量(即文檔實(shí)質(zhì)上處理所需主題的統(tǒng)計(jì)概率)非常有效,不需要特殊的文檔表示,文檔是倒排索引中的文本。一方面,只有人可以使用這樣檢索到的文檔來(lái)解決法律問(wèn)題,例如通過(guò)將文檔中包含的信息合并到法律論證中;另一方面,法律推理的計(jì)算模型采用相關(guān)度量,并且可以使用檢索到的信息來(lái)通過(guò)生成論點(diǎn)以解決法律問(wèn)題。然而,一個(gè)缺點(diǎn)是,這些相關(guān)性度量只有在案例的維度、因素、關(guān)鍵事實(shí)等方面被特別表示時(shí)才能起作用。而且,除了像SPIRE[157]Daniels &Rissland,見(jiàn)前引[53]?；騍MILE+IBP[158]Ashley&Brüninghaus,Automatically Classifying CaseTexts,見(jiàn)前引[58]。這樣的工作之外,程序不能自動(dòng)填充特殊表示。

然而,人們開(kāi)始看到正在彌合數(shù)字文檔技術(shù)和法律推理計(jì)算模型之間的鴻溝的程序。

D6課：法律推理的計(jì)算模型是法律文本和法律問(wèn)題解決之間的橋梁

人工智能與法律中的一些現(xiàn)有和當(dāng)前的工作使用法律推理的計(jì)算模型和論證作為法律文本與人類尋求的答案和論證之間的橋梁。

例如,SPIRE計(jì)劃演示了如何使用破產(chǎn)法問(wèn)題的基于因子的計(jì)算模型(如破產(chǎn)計(jì)劃是否真誠(chéng)地提交)將查詢引入全文法律信息檢索系統(tǒng)。該程序使用Hypo風(fēng)格的計(jì)算模型來(lái)尋找解決法律問(wèn)題的最相關(guān)案例,并使用這些案例來(lái)查詢。實(shí)際上,指示全文IR系統(tǒng)檢索更相似的文本。[159]Id.at131132.160de Maat et al.,見(jiàn)前引[59]。在實(shí)驗(yàn)中,SPIRE發(fā)現(xiàn)新的相關(guān)案例與輸入的問(wèn)題非常相似(例如涉及相同法律故事)。SPIRE用戶還可以指示感興趣的特定特征,并且程序?qū)⒆詣?dòng)突出顯示檢索到的案例中與該特征對(duì)應(yīng)的文本部分。

其他示例包括應(yīng)用模式匹配[160]de Maat et al.,前引[59]。和機(jī)器學(xué)習(xí)技術(shù)廣泛監(jiān)管(例如,作為定義、責(zé)任、禁止、義務(wù)、許可或處罰)功能來(lái)分類法定條文。這些技術(shù)然后可用于提取與每個(gè)功能相關(guān)聯(lián)的典型特征。[161]Francesconi et al.,見(jiàn)前引[48]。例如,規(guī)定“打算處理屬于本法適用范圍的個(gè)人數(shù)據(jù)的控制器必須通知擔(dān)保人”被歸類為“義務(wù)”,其相關(guān)特征為：(責(zé)任的)負(fù)擔(dān)者=“控制器”,動(dòng)作=“通知”,對(duì)方=“擔(dān)保人”,客體=“處理個(gè)人數(shù)據(jù)”。這項(xiàng)工作旨在從立法文本中直接提取法律規(guī)范,以學(xué)習(xí)法律規(guī)范的分類和特征。最終,程序可以用如此提取的形式化規(guī)則進(jìn)行推理。迄今為止,尚未有報(bào)道的工作成功地從法律文本中為此目的提取法律規(guī)范。然而,在此期間,提取的信息可以被映射到全面的概念索引(例如法律詞典、字典或本體)中,并用于支持針對(duì)與特定業(yè)務(wù)遵從性問(wèn)題相關(guān)的所有法律規(guī)范的更加集中的概念查詢。

其他工作包括注釋法律決策文本,使其與基于規(guī)則的推理樹(shù)相連,這樣程序就能夠?qū)W習(xí)對(duì)以前看不見(jiàn)的文本進(jìn)行推理。例如,努力將IBM Watson問(wèn)題回答項(xiàng)目[162]Ferrucci et al.,見(jiàn)前引[66],at67.中使用的NLP技術(shù)與可廢止的邏輯模型集成,該邏輯模型將法定和規(guī)章要求表示為與法律決策中的推理鏈相關(guān)聯(lián)的規(guī)則條件樹(shù),這些規(guī)則條件將證據(jù)輸入與事實(shí)的結(jié)論聯(lián)系起來(lái)。[163]Ashley&Walker,見(jiàn)前引[67]。因此,一個(gè)感興趣的命題(例如,一個(gè)法定條款已經(jīng)得到滿足)被分解成一個(gè)推理樹(shù),該推理樹(shù)由法律命題和相關(guān)的事實(shí)斷言組成,這些事實(shí)斷言的表達(dá)可以在法律決定的自然語(yǔ)言文本中注釋。這種使用增加了法律概念的力度,使它們可以與關(guān)于事實(shí)的常識(shí)推理緊密聯(lián)系起來(lái),并用于促進(jìn)更有效的搜索、提取和報(bào)告。例如,盡管高層次的法律概念(如“有權(quán)獲得補(bǔ)償”)會(huì)帶來(lái)模糊的檢索任務(wù),但是分解這些概念的低層概念(如“醫(yī)療條件”或“發(fā)病時(shí)間”)將更適合于自動(dòng)搜索和推理新文本。

給定足夠數(shù)量的帶注釋的決策,可以應(yīng)用機(jī)器學(xué)習(xí)和自然語(yǔ)言處理,以便程序可以學(xué)習(xí)識(shí)別尚未看到的新文本中的帶注釋的模式,就像IBM的Watson程序在問(wèn)題回答環(huán)境中所做的那樣。如上所述,在至少一所法學(xué)院的實(shí)驗(yàn)室里,法學(xué)院的學(xué)生都參與在法律判決中注釋法定論證和證據(jù)論證的過(guò)程。[164]Law,Logic&Technology Research Laboratory,見(jiàn)前引[16]。通過(guò)這樣做,這些學(xué)生正在學(xué)習(xí)一種全面的法律推理模式,并遇到上面所列舉的所有課程——關(guān)于法律規(guī)范、案例、論證、數(shù)字文檔技術(shù),以及連接它們的運(yùn)算工程。

除了數(shù)字文檔技術(shù)之外,“人工智能與法律”過(guò)程模型也在各個(gè)領(lǐng)域得到發(fā)展。INDiGO項(xiàng)目和由州長(zhǎng)[165]Governatori&Shek,見(jiàn)前引[70];Theunisz,見(jiàn)前引[72]。進(jìn)行的工作基于對(duì)管理、管理和業(yè)務(wù)流程的細(xì)致描述,以及仔細(xì)考慮如何將人工智能專家系統(tǒng)集成到這些流程中以幫助人類。例如,在INDiGO項(xiàng)目中,所關(guān)注的過(guò)程不僅包括應(yīng)用規(guī)則,還包括根據(jù)經(jīng)驗(yàn)改進(jìn)它們。一個(gè)專家系統(tǒng)協(xié)助荷蘭的移民代理人根據(jù)大量的管理規(guī)定處理客戶。同時(shí),系統(tǒng)收集和反饋根據(jù)條例產(chǎn)生的問(wèn)題的數(shù)據(jù),以傳遞給監(jiān)管者和規(guī)則建模者,使其了解需要改進(jìn)的規(guī)則的方面。以后法律過(guò)程的工程化可望進(jìn)一步發(fā)展,如果法學(xué)院的學(xué)子能對(duì)其潛力多加了解,將會(huì)為自己帶來(lái)更多的機(jī)會(huì)。

八、結(jié) 論

本文介紹了一個(gè)“人工智能與法律”研討班的樣本教學(xué)大綱,該研討班能夠在數(shù)字時(shí)代講授法律和法律實(shí)踐。經(jīng)過(guò)討論,得出了教材中隱含的四組教學(xué)課程。“人工智能與法律”研討班不僅教學(xué)生有關(guān)法律規(guī)范、案例和論點(diǎn)的寶貴教學(xué)課程,而且介紹給他們處理數(shù)字時(shí)代法律實(shí)踐的模型和算法。在這方面,研討班對(duì)學(xué)生的教育作出了及時(shí)的貢獻(xiàn),并解決了當(dāng)前法學(xué)院在法律職業(yè)不確定時(shí)期面臨的緊迫性問(wèn)題。

法律推理的“人工智能與法律”模型和文本處理為在現(xiàn)實(shí)世界的應(yīng)用增加了價(jià)值,包括電子發(fā)掘、可視化法律論據(jù)、預(yù)測(cè)結(jié)果、作出解決決策和法律專家系統(tǒng)。法律專業(yè)的學(xué)生可以作為知情的用戶以及新模型的注釋者、設(shè)計(jì)師和發(fā)明者對(duì)這項(xiàng)技術(shù)作出貢獻(xiàn)。通過(guò)研討班的學(xué)習(xí),法學(xué)院的學(xué)生就能熟練地將這些技術(shù)應(yīng)用到具體的實(shí)際環(huán)境中。比如,下一學(xué)期的“人工智能與法律”實(shí)踐課程可以作為一種實(shí)驗(yàn)室課程。[166]見(jiàn)上文第四部分。學(xué)生可以使用上述工具建立自己的法律專家系統(tǒng),或者探索如何擴(kuò)展這些工具以適應(yīng)法律推理的缺失特征。這些缺失特征包括案例推理和處理不確定性;[167]見(jiàn)前引[11]3和隨附文本(略)。嘗試將預(yù)測(cè)編碼應(yīng)用于公開(kāi)可用的電子發(fā)掘數(shù)據(jù)集;[168]見(jiàn)前引[149]和隨附文本(略)。作為自愿的相關(guān)性評(píng)估者參與Trec Legal Track,[169]Id.以及根據(jù)法律論證的計(jì)算模型,參與繪制論證圖和注釋法律文件,以便應(yīng)用機(jī)器學(xué)習(xí)工具。[170]見(jiàn)前引[163]和隨附文本(略)。隨著“人工智能與法律”研究者開(kāi)始致力于應(yīng)對(duì)法律規(guī)劃建模和創(chuàng)造性解決法律問(wèn)題的挑戰(zhàn),一部分學(xué)生甚至可能貢獻(xiàn)新的計(jì)算模型和新的知識(shí)表示方法。