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

一、導(dǎo) 論

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

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

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

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

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

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

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

像計算機(jī)程序一樣,計算模型可以按照程序的輸入、輸出以及將前者轉(zhuǎn)換為后者的中間步驟來描述。中間的一組步驟(或算法)將輸入的問題描述轉(zhuǎn)換為輸出。在指定AI程序的輸入/輸出(I/O))行為時,三個問題尤其相關(guān)：① 知識表示和搜索,即輸入和用于分析它們的信息如何在可以系統(tǒng)搜索的問題空間中表示?②推理控制機(jī)制,即在效率和相關(guān)性方面,對解決方案的搜索由什么支配?③ 學(xué)習(xí),即為了提高性能,程序如何從錯誤和成功以及其他信息來源中學(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ù)能接受自然語言文本輸入的問題,或用文本表達(dá)的案例或法律規(guī)范。更多的情況是問題以專門的表示形式呈現(xiàn),例如,作為專家系統(tǒng)④Donald A.Waterman&Mark A.Peterson,Models of Legal Decisionmaking14(1981)[“專家系統(tǒng)”是體現(xiàn)人類專家提供的專業(yè)知識和知識的計算機(jī)程序,使用人工智能技術(shù)為(用戶)提供推論]。產(chǎ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).類似地,程序知識庫中的規(guī)則可以用邏輯表達(dá)式和案例來表示,正如問題也可以用要素來表示。在討論一些具有代表性的“人工智能與法律”方案時,重點(diǎn)將放在如何系統(tǒng)地尋找解決辦法以及學(xué)習(xí)上,例如如何檢測案例文本中的因素或如何對法律規(guī)范的文本進(jìn)行分類。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

法律推理的邏輯模型部分包括馬雷克·斯國特(Marek Sergot)等人的早期程序,其分析了涉及英國公民的法律問題,它是試圖“計算”法規(guī)的代表之一。這個程序包括150條來自《英國國籍法》的規(guī)定(人工表示),可以分析涉及國籍的問題,并使用它所得出的邏輯推理來解釋其答案。[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是倫敦帝國理工學(xué)院的計算邏輯教授。

在計算大型法規(guī)時,出現(xiàn)了一個實(shí)際問題：法令規(guī)則的形式表示有脫離法定文本的趨勢。這個問題使系統(tǒng)結(jié)果的解釋變得復(fù)雜,也使維護(hù)規(guī)則隨法定文本的修改而更新的大型系統(tǒng)變得復(fù)雜。特雷弗·本奇-卡波(Trevor Bench-Capon)和弗蘭茲·科內(nèi)(Franz Coenen)開發(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é)中的其他著作對在將法定文本解釋為邏輯規(guī)則時出現(xiàn)的問題提出警示。其中一個問題是需要處理由于自然語言文本中邏輯連接器的范圍不確定而引起的邏輯歧義。[22]見Layman E.Allen&C.Rudy Engholm,Normalized Legal Drafting and the Query Method,29 J.Legal Educ.380(1977—1978).另一個問題源自這樣一個事實(shí),即古典邏輯是單調(diào)的,一旦得出結(jié)論,即使根據(jù)新的信息,也不能“收回”。因此,它不太適合法律推理,這是由于在法律推理中,法律結(jié)論通?？梢员荒撤N方式加以辯駁。[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ī)科學(xué)中心教授和副主任,定期在馬薩諸塞州波士頓東北大學(xué)教授人工智能與法律研討課。

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

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

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

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

另一種結(jié)合案例和規(guī)則的方法,CABARET聯(lián)合了國稅局規(guī)定內(nèi)政部扣除量的邏輯表示和條款的開放式結(jié)構(gòu)法定術(shù)語。這種方法索引了術(shù)語的正面和負(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ī)則的分析和基于案例的分析之間切換,生成了支持和反對納稅人立場的論據(jù)。

1993年,一個有影響的評論改變了“人工智能與法律”對基于案例的計算模型的研究進(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ù)的隱藏目的或價值——這些目的和價值原本是人類法律解釋活動的焦點(diǎn)——在這些模型中卻被遺漏了。這種批評引導(dǎo)了未來10年的工作的轉(zhuǎn)向,繼而導(dǎo)致了Bench-Capon和薩特(Sartor)的具有里程碑意義的法律推理模式,其使用的案例吸收了從先例中引出的價值偏好理論中的價值因素。[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í)語義網(wǎng)絡(luò)的廣義版本來表示案例。[36]見Bruce M.McLaren,Extensionally Defining Principles and Cases in Ethics：An AI Model,150Artificial Intelligence 145(2003).在一次實(shí)驗(yàn)中,布魯斯·M.麥克拉倫(Bruce M.McLaren)通過實(shí)驗(yàn)證明了作為填充抽象倫理規(guī)則意義的案例,他對SIROCCO程序檢索效率貢獻(xiàn)頗大。

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

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

關(guān)于用參數(shù)模式評估法律主張的章節(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)一框架。該工作還包括對關(guān)于法律主張的證據(jù)論證和證明標(biāo)準(zhǔn)的建模。

馬提亞·格拉巴(Matthias Grabmair)和筆者開發(fā)了用于美國最高法院口頭辯論中使用的價值判斷、中間法律概念和虛擬案例進(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ù)推理的例子與模型法定要求的決策樹連接。[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ù)模式對程序建模法律論據(jù)種類的改進(jìn)和擴(kuò)展,它們增加了對更好地表示法律事實(shí)情況和概念的方法的需求。索恩·麥卡蒂(L.Thorne McCarty)[41]McCarty,見前引[24]。和Rissland[42]Rissland,見 前 引 [17];Rissland&Skalak,見 前 引[33],at 839-840.提出的對靈活概念模式的需求變得更加迫切。作者通過實(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.中間法律概念對預(yù)測法律結(jié)果起著重要作用。隨著時間的流逝,其含義變化可以被監(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)致了對關(guān)于特定中間法律的含義進(jìn)行更加詳細(xì)的參數(shù)建模。[45]Grabmair&Ashley,前引[39],at 164-166.

所謂法律本體,是指用于法律規(guī)范和事實(shí)情景的領(lǐng)域概念的系統(tǒng)的、明確的規(guī)范,它可以幫助計算模型靈活地用法律概念進(jìn)行推理。某些時候,法律本體是從以形式表示的案例進(jìn)行推理的計算模型轉(zhuǎn)變?yōu)橐晕谋颈硎镜陌咐年P(guān)鍵。在法律本體中表示法律概念和案例知識的部分介紹了法律本體的基礎(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]見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)建法律本體論的最新的半自動化手段。[48]Enrico Francesconi、Simonetta Montemagni、Wim Peters和Daniela Tisconia,在法律文本的語義處理中,整合了自下而上和自上而下的方法,為多語言法律領(lǐng)域構(gòu)建語義資源：法律語言符合語言法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ù)語頻率在評估相關(guān)性中的作用、使用貝葉斯網(wǎng)絡(luò)的檢索概率模型,[50]見Eugene Charniak,Bayesian Networks Without Tears,12 AI Magazine,Winter 1991,at 50.評估法律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和人工智能來分析法律權(quán)利要求這一部分探討了全文法律信息檢索和“人工智能與法律”模型可能互補(bǔ)的優(yōu)缺點(diǎn)。這部分還探討了結(jié)合它們的方法,包括使用基于案例的模型在SPIRE程序中自動發(fā)現(xià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.使用法律本體來提高檢索效率,[54]M.Saravanan,B.Ravindran&S.Raman,Improving Legal Information Retrieval Using an Ontological Framework,17Artificial Intelligence&L.101,103(2009).從案例法中自動提取信息,[55]Jackson等,見 前 引 [52]。支持其他法律研究范式,諸如通過法律信息網(wǎng)絡(luò)進(jìn)行啟發(fā)式搜索。在SCALIR中,由法律案例組成的網(wǎng)絡(luò)通過共享術(shù)語或引文連接。[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中,法律知識網(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).

法律信息提取和文本處理部分的工作將法律推理的計算模型和法律文本聯(lián)系起來。SMILE+IBP程序根據(jù)適用因素對文本描述的案例進(jìn)行分類,然后使用IBP預(yù)測和解釋它們的結(jié)果。[58]Kevin D.Ashley&Stefanie Brüninghaus,Automatically Classifying Case Texts and Predicting Outcomes,17Artificial Intelligence&L.125,139-140(2009).其他程序根據(jù)主要類型、抽象類別和主題(如“行政法”或“知識產(chǎn)權(quán)法”)或規(guī)范類型(例如定義、許可或義務(wù))自動對法律文本進(jìn)行分類,然后提取諸如規(guī)范特征(例如義務(wù)、責(zé)任承擔(dān)者、行動或行動對象)和監(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)的文件?！搬槍﹄娮影l(fā)掘的人工智能與法律工具”這部分內(nèi)容的工作是,通過獲取與律師關(guān)于索賠和文件的假設(shè)有關(guān)的證據(jù)來應(yīng)對這些挑戰(zhàn)。[60]見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).鑒于天量文檔的存在,這是一個信息檢索工具必然占主導(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)計技術(shù)與基于法律主張和假設(shè)的模型的知識可以相互補(bǔ)充。[62]David D.Lewis,After word：Data,Knowledge,and E-discovery,18Artificial Intelligence&L.481(2010).人工智能工具可以發(fā)揮有價值的作用,例如在使用社交網(wǎng)絡(luò)技術(shù)過濾文檔,[63]Hans Henseler,Network-based Filtering for Large Email Collections in E-Discovery,18Artificial Intelligence&L.413(2010).創(chuàng)建用于預(yù)測編碼的相關(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).

（四）人工智能與法律的未來：連接計算模型和法律文本的橋梁

教學(xué)大綱的第四部分轉(zhuǎn)向一些未來的“人工智能與法律”工作,彌補(bǔ)法律推理計算模型與法律文本之間的差距?！叭斯ぶ悄芘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方法可能對如何從法律決策文本中自動提取相關(guān)信息產(chǎn)生深遠(yuǎn)的影響。使用Deep QA自然語言處理工具對法律決策文本中的論點(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).以便法律論證的計算模型能夠比Waterman的定居指導(dǎo)計劃更系統(tǒng)地解釋事實(shí)、規(guī)范、道德和經(jīng)驗(yàn)的不確定性。[69]Waterman &Peterson,見前引④。監(jiān)管要求的可廢除的邏輯模型將有助于確保業(yè)務(wù)流程的設(shè)計符合法律,[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í)現(xiàn)基于網(wǎng)絡(luò)代理的自動化。[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ù)來支持案例管理。規(guī)則引擎為特定情況提供任務(wù)列表,但最終由用戶決定對任務(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é)大綱包括兩個主題,可以在研討班結(jié)束時討論或在早期階段時綜合討論?！胺膳c倫理推理的智能教學(xué)系統(tǒng)”這一節(jié)著重介紹了法律推理的計算模型,這些計算模型已被納入一些特定系統(tǒng),這些系統(tǒng)旨在教授學(xué)生特定法律概念,[73]Antoinette J.Muntjewerff,ICT in Legal Education,10 Ger.L.J.669(2009).和辯證技能(如區(qū)分案件)[74]Aleven,見前引[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ī)模開放在線課程(MOOC)的學(xué)生,那種傳統(tǒng)法律教育的學(xué)生現(xiàn)在可以在課堂上接受論證實(shí)踐的教育。

隨著人工智能程序的發(fā)展,新的法律問題會涌現(xiàn),“人工智能與法律”程序也不例外?！芭c人工智能與法律計劃有關(guā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)境中的知識產(chǎn)權(quá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)的法律研究工具來研究這些話題,會覺得身處舒服區(qū),但是一個有效的法律分析可以使學(xué)生對技術(shù)如何工作理解地更深。到課程結(jié)束時,學(xué)生可能因此而更好地承擔(dān)法律責(zé)任問題。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

從制造到銷售

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

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

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

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

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

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

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

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

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

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

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

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

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

正如法律規(guī)范可能有未引用的例外情況,它也可能有未陳述的條件,例如,它不是違憲的,它不是先發(fā)制人的,或者它可以在不違反法律原則的情況下適用。Allen提出了一個問題,即如何知道應(yīng)該包括哪些未聲明的條件、何時應(yīng)用這些條件以及如何解決是否應(yīng)用規(guī)則的問題。對于學(xué)生和知識工程師來說,這些都是棘手的問題。雖然可以認(rè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á)成一致,對手仍然可以產(chǎn)生合理的贊成和反對論點(diǎn),法庭也會得出不同的結(jié)論。這種法律上的不確定性是由以下未陳述的條件中固有的沖突造成的,這些條件包括法律規(guī)范是否真的應(yīng)該被適用;適用時是否違背潛在原則、在特定環(huán)境中規(guī)則的開放性概念意味著什么以及如何解決不一致的解釋原則和不一致的先例。由于這種法律上的不確定性,他們認(rèn)為,以演繹邏輯為導(dǎo)向的法規(guī)模型是不能成功的。[92]Berman&Hafner,見前引[23]。

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

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

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

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

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

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

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

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

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

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

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

對于規(guī)則中的每個謂詞,

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

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

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

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

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

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

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

如果CSK Answer

如果(Pos-Examples或Neg-Examples)-＞問題簡單

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

正如前面的課程所建議的,表征“人工智能與法律”研究的進(jìn)展的一個方法是,持續(xù)地搜索以識別和模擬特定的法律領(lǐng)域的論證方案,包括從規(guī)則、案例和有價值的論證方案等各領(lǐng)域中展開搜索。論證方案對應(yīng)于論證所認(rèn)可的領(lǐng)域內(nèi)進(jìn)行推理的典型框架;它對應(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).這些論證方案中的一些與這些年來已經(jīng)開發(fā)出來的法律推理計算模型有關(guān),另一些則是全新的;研究者正在開發(fā)從證據(jù)事實(shí)到規(guī)則驅(qū)動的法律判斷的論證方案。[103]例如：Walker et al.,見前引[40]。

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

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

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

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

使用Thomas Gordon的論點(diǎn)圖解程序,“Carneades”[106]Gordon&Walton,見前引[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).可以在一個在由論證方案驅(qū)動的法定推理的例子中,說明通過論證的可辯駁的推理。例如,表1的左半部分顯示了基于德國民法的、涉及家庭法的四條法律規(guī)范。規(guī)則s.1601-BGB聲明,如果前者與后者“直接血統(tǒng)”,則person1有義務(wù)支持person2,這是規(guī)則s.1589-BGB中定義的概念。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

即使法律專業(yè)的學(xué)生只是數(shù)字文檔技術(shù)的消費(fèi)者或用戶,而不是設(shè)計者或改進(jìn)者,對于非編程專業(yè)的法律學(xué)生來說,學(xué)習(xí)這些工具如何工作也是很有價值的。企業(yè)和政府客戶將很快需要電子發(fā)掘工具,這些工具不僅被允許,而且要求專業(yè)護(hù)理標(biāo)準(zhǔn)。接受這些工具進(jìn)入職業(yè)的過程已經(jīng)并將繼續(xù)由律師——以前的法學(xué)學(xué)生——去選擇工具,使用它們,指導(dǎo)其他人如何使用它們,解釋它們的輸出,并通過解釋它們?nèi)绾喂ぷ饕约八鼈內(nèi)绾慰煽亢陀行У貋硐蚱渌?如法官)證明它們的使用是正當(dāng)?shù)??！叭斯ぶ悄芘c法律”研討班通過教給未來的律師一些有關(guān)法律數(shù)字文檔技術(shù)的寶貴經(jīng)驗(yàn)來為這些任務(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í)例向法學(xué)院學(xué)生介紹這種過程的概念。教學(xué)大綱中所討論的所有計算模型都集中在處理法律知識上?！叭斯ぶ悄芘c法律”推理模型以及數(shù)字文檔技術(shù)模型也是如此。

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

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

用于審前電子發(fā)掘的現(xiàn)有數(shù)字文檔技術(shù)[128]Hoganetal.,見前引[64],at434-435.實(shí)現(xiàn)用于識別與訴訟相關(guān)的文檔的迭代過程。作者集中于高級訴訟人的“感悟”：收集、組織和創(chuàng)建復(fù)雜信息集合(即電子文檔)表示的過程,所有過程都集中在他們需要理解(即它們?nèi)绾闻c訴訟相關(guā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.,見前引[64],at446-448,455.本文描述了一個迭代的用戶建模過程以引出這些相關(guān)假設(shè)。這是一個以計算機(jī)為中介的連續(xù)細(xì)化過程,其中訴訟人傳達(dá)所需的信息、檢索樣本文件,并且訴訟人確認(rèn)他們是否有回應(yīng)。如果他們沒有回應(yīng),訴訟律師會改進(jìn)這一假設(shè)。這個過程產(chǎn)生了訴訟律師的目標(biāo)模型,與案件相關(guān)的法律和其他概念及其特殊程度,以及表達(dá)概念的各種方式。實(shí)際上,這些信息使訴訟律師的假設(shè)可操作,然后用于檢索與該假設(shè)相關(guān)的更多文件。隨著機(jī)器學(xué)習(xí)開發(fā)出感興趣概念的概率模型,工具可以幫助訴訟人員可視化新文檔與相關(guān)文檔的概念集群的關(guān)系。[131]Privaultetal.,見前引[65]。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

D6課：法律推理的計算模型是法律文本和法律問題解決之間的橋梁

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

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

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

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

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

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

八、結(jié) 論

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

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