人工智能法律系統(tǒng)的法理學(xué)思考
本文關(guān)鍵詞:人工智能法律系統(tǒng)的法理學(xué)思考,由筆耕文化傳播整理發(fā)布。
人工智能法律系統(tǒng)的法理學(xué)思考
【內(nèi)容提要】本文從法律推理與人工智能的關(guān)系角度探討了人工智能法律系統(tǒng)的歷史及發(fā)展動力,人工智能法律系統(tǒng)研制對法學(xué)理論和法律實踐的價值和意義,特別是為法理學(xué)研究提供方法論啟示和思想實驗手段以及輔助司法審判和法律教育培訓(xùn)中的作用。法理學(xué)不僅為人工智能法律系統(tǒng)的研究提供了豐富的思想來源,而且也為其提供了直接的理論指導(dǎo)。此外,還探討了人工智能法律系統(tǒng)研發(fā)的困難、策略和應(yīng)用前景,其中包括立足于人機功能互補而提出的人機系統(tǒng)解決方案。
【關(guān) 鍵 詞】法理學(xué)/法律推理/人工智能
【正 文】
一、人工智能法律系統(tǒng)的歷史
計算機先驅(qū)思想家萊布尼茲曾這樣不無浪漫地談到推理與計算的關(guān)系:“我們要造成這樣一個結(jié)果,使所有推理的錯誤都只成為計算的錯誤,,這樣,當(dāng)爭論發(fā)生的時候,兩個哲學(xué)家同兩個計算家一樣,用不著辯論,只要把筆拿在手里,并且在算盤面前坐下,兩個人面對面地說:讓我們來計算一下吧!”(注:轉(zhuǎn)引自肖爾茲著:《簡明邏輯史》,張家龍譯,商務(wù)印書館1977年版,第54頁。)
如果連抽象的哲學(xué)推理都能轉(zhuǎn)變?yōu)橛嬎銌栴}來解決,法律推理的定量化也許還要相對簡單一些。盡管理論上的可能性與技術(shù)可行性之間依然存在著巨大的鴻溝,但是,人工智能技術(shù)的發(fā)展速度確實令人驚嘆。從誕生至今的短短45年內(nèi),人工智能從一般問題的研究向特殊領(lǐng)域不斷深入。1956年紐厄爾和西蒙教授的“邏輯理論家”程序,證明了羅素《數(shù)學(xué)原理》第二章52個定理中的38個定理。塞繆爾的課題組利用對策論和啟發(fā)式探索技術(shù)開發(fā)的具有自學(xué)習(xí)能力的跳棋程序,在1959年擊敗了其設(shè)計者,1962年擊敗了州跳棋冠軍,1997年超級計算機“深藍(lán)”使世界頭號國際象棋大師卡斯帕羅夫俯首稱臣。
20世紀(jì)60年代,人工智能研究的主要課題是博弈、難題求解和智能機器人;70年代開始研究自然語言理解和專家系統(tǒng)。1971年費根鮑姆教授等人研制出“化學(xué)家系統(tǒng)”之后,“計算機數(shù)學(xué)家”、“計算機醫(yī)生”等系統(tǒng)相繼誕生。在其他領(lǐng)域?qū)<蚁到y(tǒng)研究取得突出成就的鼓舞下,一些律師提出了研制“法律診斷”系統(tǒng)和律師系統(tǒng)的可能性。(注:Simon Chalton,Legal Diagnostics,Computers and Law,No.25,August 1980.pp.13-15.Bryan Niblett,Expert Systems for Lawyers,Computers and Law,No.29,August 1981.p.2.)
1970年Buchanan & Headrick發(fā)表了《關(guān)于人工智能和法律推理若干問題的考察》,一文,拉開了對法律推理進行人工智能研究的序幕。文章認(rèn)為,理解、模擬法律論證或法律推理,需要在許多知識領(lǐng)域進行艱難的研究。首先要了解如何描述案件、規(guī)則和論證等幾種知識類型,即如何描述法律知識,其中處理開放結(jié)構(gòu)的法律概念是主要難題。其次,要了解如何運用各種知識進行推理,包括分別運用規(guī)則、判例和假設(shè)的推理,以及混合運用規(guī)則和判例的推理。再次,要了解審判實踐中法律推理運用的實際過程,如審判程序的運行,規(guī)則的適用,事實的辯論等等。最后,如何將它們最終運用于編制能執(zhí)行法律推理和辯論任務(wù)的計算機程序,區(qū)別和分析不同的案件,預(yù)測并規(guī)避對手的辯護策略,建立巧妙的假設(shè)等等。(注:Buchanan & Headrick,Some SpeculationAbout Artificial Intelligence and Legal Reasoning,23 StanfordLaw Review(1970).pp.40-62.)法律推理的人工智能研究在這一時期主要沿著兩條途徑前進:一是基于規(guī)則模擬歸納推理,70年代初由Walter G.Popp和Bernhard Schlink開發(fā)了JUDITH律師推理系統(tǒng)。二是模擬法律分析,尋求在模型與以?爸?嫻幕?∈?葜?浣?⑹導(dǎo)柿?擔(dān)?⒔鲆勒庵止亓?南嗨菩遠(yuǎn)?貿(mào)黿崧邸?effrey Meld-man 1977年開發(fā)了計算機輔助法律分析系統(tǒng),它以律師推理為模擬對象,試圖識別與案件事實模型相似的其他案件?紤]到律師分析案件既用歸納推理又用演繹推理,程序?qū)烧叨冀o予了必要的關(guān)注,并且包括了各種水平的分析推理方法!
專家系統(tǒng)在法律中的第一次實際應(yīng)用,是D.沃特曼和M.皮特森1981年開發(fā)的法律判決輔助系統(tǒng)(LDS)。研究者探索將其當(dāng)作法律適用的實踐工具,對美國民法制度的某個方面進行檢測,運用嚴(yán)格責(zé)任、相對疏忽和損害賠償?shù)饶P,計算出?zé)任案件的賠償價值,并論證了如何模擬法律專家意見的方法論問題。(注:'Models of LegalDecisionmaking Report',R-2717-ICJ(1981).)
我國法律專家系統(tǒng)的研制于20世紀(jì)80年代中期起步。(注: 錢學(xué)森教授:《論法治系統(tǒng)工程的任務(wù)與方法》(《科技管理研究》1981年第4期)、《社會主義和法治學(xué)與現(xiàn)代科學(xué)技術(shù)》(《法制建設(shè)》1984年第3期)、《現(xiàn)代科學(xué)技術(shù)與法和法制建設(shè)》(《政法論壇》)1985年第3期)等文章,為我國法律專家系統(tǒng)的研發(fā)起了思想解放和理論奠基作用。)1986年由朱華榮、肖開權(quán)主持的《量刑綜合平衡與電腦輔助量刑專家系統(tǒng)研究》被確定為國家社科“七五”研究課題,它在建立盜竊罪量刑數(shù)學(xué)模型方面取得了成果。在法律數(shù)據(jù)庫開發(fā)方面,1993年中山大學(xué)學(xué)生胡釗、周宗毅、汪宏杰等人合作研制了《LOA律師辦公自動化系統(tǒng)》。(注:楊建廣、駱梅芬編著:《法治系統(tǒng)工程》,中山大學(xué)出版社1996年版,第344-349頁。)1993年武漢大學(xué)法學(xué)院趙廷光教授主持開發(fā)了《實用刑法專家系統(tǒng)》。(注:趙廷光等著:《實用刑法專家系統(tǒng)用戶手冊》,北京新概念軟件研究所1993年版。)它由咨詢檢索系統(tǒng)、輔助定性系統(tǒng)和輔助量刑系統(tǒng)組成,具有檢索刑法知識和對刑事個案進行推理判斷的功能。
專家系統(tǒng)與以往的“通用難題求解”相比具有以下特點:(1)它要解決復(fù)雜的實際問題,而不是規(guī)則簡單的游戲或數(shù)學(xué)定理證明問題;(2)它面向更加專門的應(yīng)用領(lǐng)域,而不是單純的原理性探索;(3)它主要根據(jù)具體的問題域,選擇合理的方法來表達(dá)和運用特殊的知識,而不強調(diào)與問題的特殊性無關(guān)的普適性推理和搜索策略!
法律專家系統(tǒng)在法規(guī)和判例的輔助檢索方面確實發(fā)揮了重要作用,解放了律師一部分腦力勞動。但絕大多數(shù)專家系統(tǒng)目前只能做法律數(shù)據(jù)的檢索工作,缺乏應(yīng)有的推理功能。20世紀(jì)90年代以后,人工智能法律系統(tǒng)進入了以知識工程為主要技術(shù)手段的開發(fā)時期。知識工程是指以知識為處理對象,以能在計算機上表達(dá)和運用知識的技術(shù)為主要手段,研究知識型系統(tǒng)的設(shè)計、構(gòu)造和維護的一門更加高級的人工智能技術(shù)。(注:《中國大百科全書·自動控制與系統(tǒng)工程》,中國大百科全書出版社1991年版,第579頁。)知識工程概念的提出,改變了以往人們認(rèn)為幾個推理定律再加上強大的計算機就會產(chǎn)生專家功能的信念。以知識工程為技術(shù)手段的法律系統(tǒng)研制,如果能在法律知識的獲得、表達(dá)和應(yīng)用等方面獲得突破,將會使人工智能法律系統(tǒng)的研制產(chǎn)生一個質(zhì)的飛躍!
人工智能法律系統(tǒng)的發(fā)展源于兩種動力。其一是法律實踐自身的要求。隨著社會生活和法律關(guān)系的復(fù)雜化,法律實踐需要新的思維工具,否則,法律家(律師、檢察官和法官)將無法承受法律文獻日積月累和法律案件不斷增多的重負(fù)。其二是人工智能發(fā)展的需要。人工智能以模擬人的全部思維活動為目標(biāo),但又必須以具體思維活動一城一池的攻克為過程。它需要通過對不同思維領(lǐng)域的征服,來證明知識的每個領(lǐng)域都可以精確描述并制造出類似人類智能的機器。此外,人工智能選擇法律領(lǐng)域?qū)で笸黄疲有下述原因:(1)盡管法律推理十分復(fù)雜,但它有相對穩(wěn)定的對象(案件)、相對明確的前提(法律規(guī)則、法律事實)及嚴(yán)格的程序規(guī)則,且須得出確定的判決結(jié)論。這為人工智能模擬提供了極為有利的條件。(2)法律推理特別是抗辯制審判中的司法推理,以明確的規(guī)則、理性的標(biāo)準(zhǔn)、充分的辯論,為觀察思維活動的軌跡提供了可以記錄和回放的樣本。(3)法律知識長期的積累、完備的檔案,為模擬法律知識的獲得、表達(dá)和應(yīng)用提供了豐富、準(zhǔn)確的資料。(4)法律活動所特有的自我意識、自我批評精神,對法律程序和假設(shè)進行檢驗的傳統(tǒng),為模擬法律推理提供了良好的反思條件!
二、人工智能法律系統(tǒng)的價值
人工智能法律系統(tǒng)的研制對法學(xué)理論和法律實踐的價值和意義,可以概括為以下幾點:
一是方法論啟示。P.Wahlgren說:“人工智能方法的研究可以支持和深化在創(chuàng)造性方法上的法理學(xué)反思。這個信仰反映了法理學(xué)可以被視為旨在于開發(fā)法律分析和法律推理之方法的活動。從法理學(xué)的觀點看,這種研究的最終目標(biāo)是揭示方法論的潛在作用,從而有助于開展從法理學(xué)觀點所提出的解決方法的討論,而不僅僅是探討與計算機科學(xué)和人工智能有關(guān)的非常細(xì)致的技術(shù)方面!保ㄗⅲ篜.Wahlgren,Automationof Legal Reasoning:A Study on Artificial Intelligence and Law,Computer Law Series 11.Kluwer Law and Taxation Publishers.Deventer Boston 1992.Chapter 7.)在模擬法律推理的過程中,法學(xué)家通過與工人智能專家的密切合作,可以從其對法律推理的獨特理解中獲得有關(guān)方法論方面的啟示。例如,由于很少有兩個案件完全相似,在判例法實踐中,總有某些不相似的方面需要法律家運用假設(shè)來分析已有判例與現(xiàn)實案件的相關(guān)性程度。但法學(xué)家們在假設(shè)的性質(zhì)問題上常常莫衷一是。然而HYPO的設(shè)計者,在無真實判例或真實判例不能充分解釋現(xiàn)實案件的情況下,以假設(shè)的反例來反駁對方的觀點,用補充、刪減和改變事實
的機械論方法來生成假設(shè)。這種用人工智能方法來處理假設(shè)的辦法,就使復(fù)雜問題變得十分簡單:假設(shè)實際上是一個新的論證產(chǎn)生于一個經(jīng)過修正的老的論證的過程?傊,人工智能方法可以幫助法學(xué)家跳出法理學(xué)方法的思維定勢,用其他學(xué)科的方法來重新審視法學(xué)問題,從而為法律問題的解決提供了新的途徑!
二是提供了思想實驗手段。西蒙認(rèn)為,盡管我們還不知道思維在頭腦中是怎樣由生理作用完成的,“但我們知道這些處理在數(shù)字電子計算機中是由電子作用完成的。給計算機編程序使之思維,已經(jīng)證明有可能為思維提供機械論解釋”。(注:轉(zhuǎn)引自童天湘:《人工智能與第N代計算機》,載《哲學(xué)研究》1985年第5期。)童天湘先生認(rèn)為:“通過編制有關(guān)思維活動的程序,就會加深對思維活動具體細(xì)節(jié)的了解,并將這種程序送進計算機運行,檢驗其正確性。這是一種思想實驗,有助于我們研究人腦思維的機理!保ㄗⅲ恨D(zhuǎn)引自童天湘:《人工智能與第N代計算機》,載《哲學(xué)研究》1985年第5期。)人工智能法律系統(tǒng)研究的直接目標(biāo)是使計算機能夠獲取、表達(dá)和應(yīng)用法律知識,軟件工程師為模擬法律推理而編制程序,必須先對人的推理過程作出基于人工智能理論和方法的獨特解釋。人工智能以功能模擬開路,在未搞清法律家的推理結(jié)構(gòu)之前,首先從功能上對法律證成、法律檢索、法律解釋、法律適用等法律推理的要素和活動進行數(shù)理分析,將法理學(xué)、訴訟法學(xué)關(guān)于法律推理的研究成果模型化,以實現(xiàn)法律推理知識的機器表達(dá)或再現(xiàn),從而為認(rèn)識法律推理的過程和規(guī)律提供了一種實驗手段。法學(xué)家則可以將人工智能法律系統(tǒng)的推理過程、方
法和結(jié)論與人類法律推理活動相對照,為法律推理的法理學(xué)研究所借鑒。因此,用人工智能方法模擬法律推理,深化了人們對法律推理性質(zhì)、要素和過程的認(rèn)識,使法學(xué)家得以借助人工智能科學(xué)的敏銳透鏡去考察法律推理的微觀機制。正是在這個意義上,Bryan Niblett教授說:“一個成功的專家系統(tǒng)很可能比其他的途徑對法理學(xué)作出更多的(理論)貢獻。”(注:Bryan Niblett,ExpertSystems for Lawyers,Computers and Law,No.29,August 1981.note14,p.3.)
三是輔助司法審判。按照格雷的觀點,法律專家系統(tǒng)首先在英美判例法國家出現(xiàn)的直接原因在于,浩如煙海的判例案卷如果沒有計算機編纂、分類、查詢,這種法律制度簡直就無法運轉(zhuǎn)了。(注:Pamela N.Gray Brookfield,Artificial Legal Intelligence,VT:DartmouthPublishing Co.,1997.p.402.)其實不僅是判例法,制定法制度下的律師和法官往往也要為檢索有關(guān)的法律、法規(guī)和司法解釋耗費大量的精力和時間,而且由于人腦的知識和記憶能力有限,還存在著檢索不全面、記憶不準(zhǔn)確的問題。人工智能法律系統(tǒng)強大的記憶和檢索功能,可以彌補人類智能的某些局限性,幫助律師和法官從事相對簡單的法律檢索工作,從而極大地解放律師和法官的腦力勞動,使其能夠集中精力從事更加復(fù)雜的法律推理活動!
四是促進司法公正。司法推理雖有統(tǒng)一的法律標(biāo)準(zhǔn),但法官是具有主觀能動性的差異個體,所以在執(zhí)行統(tǒng)一標(biāo)準(zhǔn)時會產(chǎn)生一些差異的結(jié)果。司法解釋所具有的建構(gòu)性、辯證性和創(chuàng)造性的特點,進一步加劇了這種差異。如果換了鋼鐵之軀的機器,這種由主觀原因所造成的差異性就有可能加以避免。這當(dāng)然不是說讓計算機完全取代法官,而是說,由于人工智能法律系統(tǒng)為司法審判提供了相對統(tǒng)一的推理標(biāo)準(zhǔn)和評價標(biāo)準(zhǔn),從而可以輔助法官取得具有一貫性的判決。無論如何,我們必須承認(rèn),鋼鐵之軀的機器沒有物質(zhì)欲望和感情生活,可以比人更少地受到外界因素的干擾。正像計算機錄取增強了高考招生的公正性、電子監(jiān)視器提高了糾正行車違章的公正性一樣,智能法律系統(tǒng)在庭審中的運用有可能減少某些徇私舞弊現(xiàn)象。
五是輔助法律教育和培訓(xùn)。人工智能法律系統(tǒng)凝聚了法律家的專門知識和法官群體的審判經(jīng)驗,如果通過軟件系統(tǒng)或計算機網(wǎng)絡(luò)實現(xiàn)專家經(jīng)驗和知識的共享,便可在法律教育和培訓(xùn)中發(fā)揮多方面的作用。例如,(1)在法學(xué)院教學(xué)中發(fā)揮模擬法庭的作用,可以幫助法律專業(yè)學(xué)生鞏固自己所學(xué)知識,并將法律知識應(yīng)用于模擬的審判實踐,從而較快地提高解決法律實踐問題的能力。(2)幫助新律師和新法官全面掌握法律知識,迅速獲得判案經(jīng)驗,在審判過程的跟蹤檢測和判決結(jié)論的動態(tài)校正中增長知識和才干,較快地接近或達(dá)到專家水平。(3)可使不同地區(qū)、不同層次的律師和法官及時獲得有關(guān)法律問題的咨詢建議,彌補因知識結(jié)構(gòu)差異和判案經(jīng)驗多寡而可能出現(xiàn)的失誤。(4)可以為大眾提供及時的法律咨詢,提高廣大人民群眾的法律素質(zhì),增強法律意識!
六是輔助立法活動。人工智能法律系統(tǒng)不僅對輔助司法審判有重要的意義,而且對完善立法也具有實用價值。(注:Edwina L.Rissland,Artificial Intelligence and Law:Stepping Stones to a Modelof Legal Reasoning,The Yale Law Journal.(Vol.99:1957-1981).)例如,倫敦大學(xué)Imperial學(xué)院的邏輯程序組將1981年英國國籍法的內(nèi)容形式化,幫助立法者發(fā)現(xiàn)了該法在預(yù)見性上存在的一些缺陷和法律漏洞。(注:Edwina L.Rissland,Artificial Intelligence and Law:Stepping Stones to a Model of Legal Reasoning,The Yale LawJournal.(Vol.99:1957-1981).)立法輔助系統(tǒng)如能應(yīng)用于法律起草和法律草案的審議過程,有可能事先發(fā)現(xiàn)一些立法漏洞,避免一個法律內(nèi)部各種規(guī)則之間以及新法律與現(xiàn)有法律制度之間的相互沖突!
三、法理學(xué)在人工智能法律系統(tǒng)研究中的作用
1.人工智能法律系統(tǒng)的法理學(xué)思想來源
關(guān)于人工智能法律系統(tǒng)之法理學(xué)思想來源的追蹤,不是對法理學(xué)與人工智能的聯(lián)系作面面俱到的考察,而旨在揭示法理學(xué)對人工智能法律系統(tǒng)的發(fā)展所產(chǎn)生的一些直接影響!
第一,法律形式主義為人工智能法律系統(tǒng)的產(chǎn)生奠定了理論基礎(chǔ)。18-19世紀(jì)的法律形式主義強調(diào)法律推理的形式方面,認(rèn)為將法律化成簡單的幾何公式是完全可能的。這種以J·奧斯汀為代表的英國分析法學(xué)的傳統(tǒng),主張“法律推理應(yīng)該依據(jù)客觀事實、明確的規(guī)則以及邏輯去解決一切為法律所要求的具體行為。假如法律能如此運作,那么無論誰作裁決,法律推理都會導(dǎo)向同樣的裁決!保ㄗⅲ海溃┦返傥摹·伯頓著:《法律和法律推理導(dǎo)論》,張志銘、解興權(quán)譯,中國政法大學(xué)出版社1998年9月版,第3頁。)換言之,機器只要遵守法律推理的邏輯,也可以得出和法官一樣的判決結(jié)果。在分析法學(xué)家看來,“所謂‘法治’就是要求結(jié)論必須是大前提與小前提邏輯必然結(jié)果!保ㄗⅲ褐炀拔闹骶帲骸秾ξ鞣椒蓚鹘y(tǒng)的挑戰(zhàn)》,中國檢察出版社1996年2月版,第292頁。)如果法官違反三段論推理的邏輯,就會破壞法治。這種機械論的法律推理觀,反映了分析法學(xué)要求法官不以個人價值觀干擾法律推理活動的主張。但是,它同時具有忽視法官主觀能動性和法律推理靈活性的僵化的缺陷。所以,自由法學(xué)家比埃利希將法律形式主義的邏輯推理說稱為“自動售貨機”理論。然而,從人工智能就是為思維提供機械論解釋的意義上說,法律形式主?宥苑?賞評硭?韉幕?德勱饈停?∏∥?斯ぶ悄芊?上低車目?⑻峁┝絲贍艿那疤。从人工智能?上低逞兄頻氖導(dǎo)使?湯純矗?諂淦鴆澆錐危?斯ぶ悄蘢?藝?歉?莘?尚問街饕逅?峁┑睦礪矍疤幔?紫妊≡袢?溫堊菀锿評斫?心D猓?蒞alter G.Popp和Bernhard Schlink在20世紀(jì)70年代初開發(fā)了JUDITH律師推理系統(tǒng)。在這個系統(tǒng)中,作為推理大小前提的法律和事實之間的邏輯關(guān)系,被計算機以“如果A和B,那么C”的方式加以描述,使機器法律推理第一次從理論變?yōu)楝F(xiàn)實!
第二,法律現(xiàn)實主義推動智能模擬深入到主體的思維結(jié)構(gòu)領(lǐng)域。法律形式主義忽視了推理主體的社會性。法官是生活在現(xiàn)實社會中的人,其所從事的法律活動不可能不受到其社會體驗和思維結(jié)構(gòu)的影響。法官在實際的審判實踐中,并不是機械地遵循規(guī)則,特別是在遇到復(fù)雜案件時,往往需要作出某種價值選擇。而一旦面對價值問題,法律形式主義的邏輯決定論便立刻陷入困境,顯出其僵化性的致命弱點。法律現(xiàn)實主義對其僵化性進行了深刻的批判。霍姆斯法官明確提出“法律的生命并不在于邏輯而在于經(jīng)驗”(注:(美)博登海默著:《法理學(xué)——法哲學(xué)及其方法》,鄧正來、姬敬武譯,華夏出版社1987年12月版,第478頁。)的格言。這里所謂邏輯,就是指法律形式主義的三段論演繹邏輯;所謂經(jīng)驗,則包括一定的道德和政治理論、公共政策及直覺知識,甚至法官的偏見。法律現(xiàn)實主義對法官主觀能動性和法律推理靈活性的強調(diào),促使人工智能研究從模擬法律推理的外在邏輯形式進一步轉(zhuǎn)向探求法官的內(nèi)在思維結(jié)構(gòu)。人們開始考慮,如果思維結(jié)構(gòu)對法官的推理活動具有定向作用,那么,人工智能法律系統(tǒng)若要達(dá)到法官水平,就應(yīng)該通過建立思維結(jié)構(gòu)模型來設(shè)計機器的運行結(jié)構(gòu)。TAXMAN的設(shè)計就借鑒了這一思想,法律知識被計算機結(jié)?褂镅砸雜鏌逋?緄姆絞階槌剎煌?墓嬖螄低常?饈統(tǒng)絳頡⑿?鞒絳頡⑺得鞒絳蚍直鴝醞?緗峁怪械氖淙牒褪涑魴畔⒔?卸??峁溝髡??傭?視α酥?墩?系男枰?4蠊婺V?斷低車腒BS(Knowledge Based System)開發(fā)也注意了思維結(jié)構(gòu)的整合作用,許多具有內(nèi)在聯(lián)系的小規(guī)模KBS子系統(tǒng),在分別模擬法律推理要素功能(證成、法律查詢、法律解釋、法律適用、法律評價、理由闡述)的基礎(chǔ)上,又通過聯(lián)想程序被有機聯(lián)系起來,構(gòu)成了具有法律推理整體功能的概念模型。(注:P.Wahlgren,Automation of Legal Reasoning:A Study onArtificial Intelligence and Law,Computer Law Series 11.KluwerLaw and Taxation Publishers.Deventer Boston 1992.Chapter 7.)
第三,“開放結(jié)構(gòu)”的法律概念打開了疑難案件法律推理模擬的思路。法律形式主義忽視了疑難案件的存在。疑難案件的特征表現(xiàn)為法律規(guī)則和案件之間不存在單一的邏輯對應(yīng)關(guān)系。有時候從一個法律規(guī)則可以推出幾種不同的結(jié)論,它們往往沒有明顯的對錯之分;有時一個案件面對著幾個相似的法律規(guī)則。在這些情況下,形式主義推理說都一籌莫展。但是,法律現(xiàn)實主義在批判法律形式主義時又走向另一個極端,它否認(rèn)具有普遍性的一般法律規(guī)則的存在,試圖用“行動中的法律”完全代替分析法學(xué)“本本中的法律”。這種矯枉過正的做法雖然是使法律推理擺脫機械論束縛所走出的必要一步,然而,法律如果真像現(xiàn)實主義法學(xué)所說的那樣僅僅存在于具體判決之中,法律推理如果可以不遵循任何標(biāo)準(zhǔn)或因人而異,那么,受到挑戰(zhàn)的就不僅是法律形式主義,而且還會殃及法治要求實現(xiàn)規(guī)則統(tǒng)治之根本原則,并動搖人工智能法律系統(tǒng)存在的基礎(chǔ)。哈特在法律形式主義和法律現(xiàn)實主義的爭論中采取了一種折中立場,他既承認(rèn)邏輯的局限性又強調(diào)其重要性;既拒斥法官完全按自己的預(yù)感來隨意判案的見解,又承認(rèn)直覺的存在。這種折中立場在哈特“開放結(jié)構(gòu)”的法律概念中得到了充分體現(xiàn)。法律概念既有“意義核心”又有“開放結(jié)構(gòu)”,邏輯推理
可以幫助法官發(fā)現(xiàn)問題的陽面,而根據(jù)社會政策、價值和后果對規(guī)則進行解釋則有助于發(fā)現(xiàn)問題的陰面。開放結(jié)構(gòu)的法律概念,使基于規(guī)則的法律推理模擬在受到概念封閉性的限制而對疑難案件無能為力時,找到了新的立足點。在此基礎(chǔ)上,運用開放結(jié)構(gòu)概念的疑難案件法律推理模型,通過邏輯程序工具和聯(lián)想技術(shù)而建立起來。Gardner博士就疑難案件提出兩種解決策略:一是將簡易問題從疑難問題中篩選出來,運用基于規(guī)則的技術(shù)來解決;二是將疑難問題同“開放結(jié)構(gòu)”的法律概念聯(lián)系在一起,先用非范例知識如規(guī)則、控辯雙方的陳述、常識來獲得初步答案,再運用范例來澄清案件、檢查答案的正確性。
第四,目的法學(xué)促進了價值推理的人工智能研究。目的法學(xué)是指一種所謂直接實現(xiàn)目的之“后法治”理想。美國法學(xué)家諾內(nèi)特和塞爾茲尼克把法律分為三種類型。他們認(rèn)為,以法治為標(biāo)志的自治型法,過分強調(diào)手段或程序的正當(dāng)性,有把手段當(dāng)作目的的傾向。這說明法治社會并沒有反映人類關(guān)于美好社會的最高理想,因為實質(zhì)正義不是經(jīng)過人們直接追求而實現(xiàn)的,而是通過追求形式正義而間接獲得的。因此他們提出以回應(yīng)型法取代自治型法的主張。在回應(yīng)型法中,“目的為評判既定的做法設(shè)立了標(biāo)準(zhǔn),從而也就開辟了變化的途徑。同時,如果認(rèn)真地對待目的,它們就能控制行政自由裁量權(quán),從而減輕制度屈從的危險。反之,缺少目的既是僵硬的根源,又是機會主義的根源!保ㄗⅲ海溃┲Z內(nèi)特、塞爾茲尼克著:《轉(zhuǎn)變中的法律與社會》,張志銘譯,中國政法大學(xué)出版社1994年版,第60頁。)美國批判法學(xué)家昂格爾對形式主義法律推理和目的型法律推理的特點進行了比較,他認(rèn)為,前者要求使用內(nèi)容明確、固定的規(guī)則,無視社會現(xiàn)實生活中不同價值觀念的沖突,不能適應(yīng)復(fù)雜情況和變化,追求形式正義;后者則要求放松對法律推理標(biāo)準(zhǔn)的嚴(yán)格限制,允許使用無固定內(nèi)容的抽象標(biāo)準(zhǔn),迫使人們在不同的價值觀念之間做出選擇,追求實質(zhì)
正義。與此相應(yīng),佩雷爾曼提出了新修辭學(xué)(New Rhetoric)的法律理論。他認(rèn)為,形式邏輯只是根據(jù)演繹法或歸納法對問題加以說明或論證的技術(shù),屬于手段的邏輯;新修辭學(xué)要填補形式邏輯的不足,是關(guān)于目的的辯證邏輯,可以幫助法官論證其決定和選擇,因而是進行價值判斷的邏輯。他認(rèn)為,在司法三段論思想支配下,法學(xué)的任務(wù)是將全部法律系統(tǒng)化并作為闡釋法律的大前提,“明確性、一致性和完備性”就成為對法律的三個要求。而新修辭學(xué)的基本思想是價值判斷的多元論,法官必須在某種價值判斷的指示下履行義務(wù),必須考慮哪些價值是“合理的、可接受的、社會上有效的公平的”。這些價值構(gòu)成了判決的正當(dāng)理由。(注:沈宗靈著:《現(xiàn)代西方法理學(xué)》,北京大學(xué)出版社1992年版,第443-446頁。)制造人工智能法律系統(tǒng)最終需要解決價值推理的模擬問題,否則,就難以實現(xiàn)為判決提供正當(dāng)理由的要求。為此,P.Wahlgren提出的與人工智能相關(guān)的5種知識表達(dá)途徑中,明確地包括了以道義為基礎(chǔ)的法律推理模型。(注:P.Wahlgren,Automation of Legal Reasoning:A Study on ArtificialIntelligence and Law,Computer Law Series 11.Kluwer Law andTax
ation Publishers.Deventer Boston 1992.Chapter 7.)引入道義邏輯,或者說在機器中采用基于某種道義邏輯的推理程序,強調(diào)目的價值,也許是制造智能法律系統(tǒng)的關(guān)鍵。不過,即使把道義邏輯硬塞給計算機,鋼鐵之軀的機器沒有生理需要,也很難產(chǎn)生價值觀念和主觀體驗,沒辦法解決主觀選擇的問題。在這個問題上,波斯納曾以法律家有七情六欲為由對法律家對法律的機械忠誠表示了強烈懷疑,并辯證地將其視為法律發(fā)展的動力之一。只有人才能夠平衡相互沖突的利益,能夠發(fā)現(xiàn)對人類生存和發(fā)展至關(guān)重要的價值。因此,關(guān)于價值推理的人工智能模擬究竟能取得什么成果,恐怕還是個未知數(shù)!
2.法理學(xué)對人工智能法律系統(tǒng)研制的理論指導(dǎo)作用
Gold and Susskind指出:“不爭的事實是,所有的專家系統(tǒng)必須適應(yīng)一些法理學(xué)理論,因為一切法律專家系統(tǒng)都需要提出關(guān)于法律和法律推理性質(zhì)的假設(shè)。從更嚴(yán)格的意義上說,一切專家系統(tǒng)都必須體現(xiàn)一種結(jié)構(gòu)理論和法律的個性,一種法律規(guī)范理論,一種描述法律科學(xué)的理論,一種法律推理理論”。(注:Gold and Susskind,ExpertSystems in Law:A Jurisprudential and Formal SpecificationApproach,pp.307-309.)人工智能法律系統(tǒng)的研究,不僅需要以法理學(xué)關(guān)于法律的一般理論為知識基礎(chǔ),還需要從法理學(xué)獲得關(guān)于法律推理的完整理論,如法律推理實踐和理論的發(fā)展歷史,法律推理的標(biāo)準(zhǔn)、主體、過程、方法等等。人工智能對法律推理的模擬,主要是對法理學(xué)關(guān)于法律推理的知識進行人工智能方法的描述,建立數(shù)學(xué)模型并編制計算機應(yīng)用程序,從而在智能機器上再現(xiàn)人類法律推理功能的過程。在這個過程中,人工智能專家的主要任務(wù)是研究如何吸收法理學(xué)關(guān)于法律推理的研究成果,包括法理學(xué)關(guān)于人工智能法律系統(tǒng)的研究成果。
隨著人工智能法律系統(tǒng)研究從低級向高級目標(biāo)的推進,人們越來越意識到,對法律推理的微觀機制認(rèn)識不足已成為人工智能模擬的嚴(yán)重障礙。P.Wahlgren指出,“許多人工智能技術(shù)在法律領(lǐng)域的開發(fā)項目之所以失敗,就是因為許多潛在的法理學(xué)原則沒有在系統(tǒng)開發(fā)的開始階段被遵守或給予有效的注意!薄胺ɡ韺W(xué)對法律推理和方法論問題的關(guān)注已經(jīng)有幾百年,而人工智能的誕生只是本世紀(jì)50年代中期的事情,這個事實是人工智能通過考察法理學(xué)知識來豐富自己的一個有效動機!保ㄗⅲ篜.Wahlgren,Automation of Legal Reasoning:A Study onArtificial Intelligence and Law,Computer Law Series 11.KluwerLaw and Taxation Publishers.Deventer Boston 1992.Chapter 7.)因此,研究法律推理自動化的目標(biāo),“一方面是用人工智能(通過把計算機的應(yīng)用與分析模型相結(jié)合)來支撐法律推理的可能性;另一方面是應(yīng)用法理學(xué)理論來解決作為法律推理支撐系統(tǒng)的以及一般的人工智能問題。”(注:P.Wahlgren,Automation of Legal Reasoning:A Studyon Artificial Intelligence and Law,Com
puter Law Series 11.Kluwer Law and Taxation Publishers.Deventer Boston 1992.Chapter 7.)在前一方面,是人工智能法律系統(tǒng)充當(dāng)法律推理研究的思想實驗手段以及輔助司法審判的問題。后一方面,則是法律推理的法律學(xué)研究成果直接為人工智能法律系統(tǒng)的研制所應(yīng)用的問題。例如,20世紀(jì)70年代法理學(xué)在真實和假設(shè)案例的推理和分析方面所取得的成果,已為幾種人工智能法律裝置借鑒而成為其設(shè)計工作的理論基礎(chǔ)。在運用模糊或開放結(jié)構(gòu)概念的法律推理研究方面,以及在法庭辯論和法律解釋的形式化等問題上,法理學(xué)的研究成果也已為人工智能法律系統(tǒng)的研究所借鑒。
四、人工智能法律系統(tǒng)研究的難點
人工智能法律系統(tǒng)的研究盡管在很短的時間內(nèi)取得了許多令人振奮的成果,但它的發(fā)展也面臨著許多困難。這些困難構(gòu)成了研究工作需要進一步努力奮斗的目標(biāo)!
第一,關(guān)于法律解釋的模擬。在法理學(xué)的諸多研究成果中,法律解釋的研究對人工智能法律系統(tǒng)的研制起著關(guān)鍵作用。法律知識表達(dá)的核心問題是法律解釋。法律規(guī)范在一個法律論點上的效力,是由法律家按忠實原意和適合當(dāng)時案件的原則通過法律解釋予以確認(rèn)的,其中包含著人類特有的價值和目的考慮,反映了法律家的知識表達(dá)具有主觀能動性。所以,德沃金將解釋過程看作是一種結(jié)合了法律知識、時代信息和思維方法而形成的,能夠應(yīng)變的思維策略。(注:Dworkin,Taking RightsSeriously,Harvard University Press Cambridge,Massachusetts1977.p.75.)目前的法律專家系統(tǒng)并未以知識表達(dá)為目的來解釋法律,而是將法律整齊地“碼放”在計算機記憶系統(tǒng)中僅供一般檢索之用。然而,在法律知識工程系統(tǒng)中,法律知識必須被解釋,以滿足自動推理對法律知識進行重新建構(gòu)的需要。麥卡錫說:“在開發(fā)智能信息系統(tǒng)的過程中,最關(guān)鍵的任務(wù)既不是文件的重建也不是專家意見的重建,而是建立有關(guān)法律領(lǐng)域的概念模型!保ㄗⅲ篗cCarty,Intelligent legalinformation systems:problems and prospects,op.cit.supra,note25,p.126.)建立法律概念模型必須以法律家對某一法律概念的?彩段??。??煌?姆?杉葉醞?環(huán)?篩拍鍆??脅煌?慕饈筒唄浴????踔了擔(dān)杭詞乖詮?詵?煊蛞材巖孕緯梢桓觥澳芄揮美蔥鶚鲆歡ǚ?曬餐?宓氖翟詵ǖ幕?靖拍睢薄#ㄗⅲ海ò攏┛????骸斗ㄓ牘?業(yè)囊話憷礪邸罰?蜃諏橐耄?泄?蟀倏迫?槌靄嬪?996年版,第1頁。)盡管如此,法理學(xué)還是為法律概念模型的重建提供了一些方法。例如,德沃金認(rèn)為,法官在“解釋”階段,要通過推理論證,為自己在“前解釋”階段所確定的大多數(shù)法官對模糊法律規(guī)范的“一致看法”提供“一些總的理由”。獲取這些總的理由的過程分為兩個步驟:首先,從現(xiàn)存的明確法律制度中抽象出一般的法律原則,用自我建立的一般法律理論來證明這種法律原則是其中的一部分,證明現(xiàn)存的明確法律制度是正當(dāng)?shù)。其次,再以法律原則為依據(jù)反向推出具體的法律結(jié)論,即用一般法律理論來證明某一法律原則存在的合理性,再用該法律原則來解釋某一法律概念。TAXMAN等系統(tǒng)裝置已吸收了這種方法,法律知識被計算機結(jié)構(gòu)語言以語義網(wǎng)絡(luò)的方式組成不同的規(guī)則系統(tǒng),解釋程序使計算機根據(jù)案件事實來執(zhí)行某條法律規(guī)則,并在新案件事實輸入時對法律規(guī)則作出新的解釋后才加以調(diào)用。不過,法律知識表達(dá)的進展還依賴于法律解釋研究取得更多的突破! <
BR>
第二,關(guān)于啟發(fā)式程序。目前的法律專家系統(tǒng)如果不能與啟發(fā)式程序接口,不能運用判斷性知識進行推理,只通過規(guī)則反饋來提供簡單解釋,就談不上真正的智能性。啟發(fā)式程序要解決智能機器如何模擬法律家推理的直覺性、經(jīng)驗性以及推理結(jié)果的不確定性等問題,即人可以有效地處理錯誤的或不完全的數(shù)據(jù),在必要時作出猜測和假設(shè),從而使問題的解決具有靈活性。在這方面,Gardner的混合推理模型,Edwina L.Rissland運用聯(lián)想程序?qū)σ?guī)則和判例推理的結(jié)果作集合處理的思路,以及Massachusetts大學(xué)研制的CABARET(基于判例的推理工具),在將啟發(fā)式程序應(yīng)用于系統(tǒng)開發(fā)方面都進行了有益的嘗試。但是,法律問題往往沒有唯一正確的答案,這是人工智能模擬法律推理的一個難題。選擇哪一個答案,往往取決于法律推理的目的標(biāo)準(zhǔn)和推理主體的立場和價值觀念。但智能機器沒有自己的目的、利益和立場。這似乎從某種程度上劃定了機器法律推理所能解決問題的范圍!
第三,關(guān)于法律自然語言理解。在設(shè)計基于規(guī)則的程序時,設(shè)計者必須假定整套規(guī)則沒有意義不明和沖突,程序必須消滅這些問題而使規(guī)則呈現(xiàn)出更多的一致性。就是說,盡管人們對法律概念的含義可以爭論不休,但輸入機器的法律語言卻不能互相矛盾。機器語言具有很大的局限性,例如,LDS基于規(guī)則來模擬嚴(yán)格責(zé)任并計算實際損害時,表現(xiàn)出的最大弱點就是不能使用不精確的自然語言進行推理。然而,在實際的法律推理過程中,法律家對某個問題的任何一種回答都可根據(jù)上下文關(guān)系作多種解釋,而且辯論雙方總是尋求得出不同的結(jié)論。因此,智能法律專家系統(tǒng)的成功在很大程度上還依賴于自然語言理解研究工作的突破。牛津大學(xué)的一個程序組正在研究法律自然語言的理解問題,但是遇到了重重困難。原因是連法學(xué)家們自己目前也還沒有建立起一套大家一致同意的專業(yè)術(shù)語規(guī)范。所以Edwina L.Rissland認(rèn)為,常識知識、意圖和信仰類知識的模擬化,以及自然語言理解的模擬問題,迄今為止可能是人工智能面臨的最困難的任務(wù)。對于語言模擬來說,像交際短語和短語概括的有限能力可能會在較窄的語境條件下取得成果,完全的功能模擬、一般“解決問題”能力的模擬則距離非常遙遠(yuǎn),而像書面上訴意見的理解則是永遠(yuǎn)的終極幻?。(注:Edwina L.Rissland,ArtificialIntelligence and Law:Stepping Stones to a Model of LegalReasoning,The Yale Law Journal.(Vol.99:1957-1981).)
五、人工智能法律系統(tǒng)的開發(fā)策略和應(yīng)用前景
我們能夠制造出一臺什么樣的機器,可以證明它是人工智能法律系統(tǒng)?從檢驗標(biāo)準(zhǔn)上看,這主要是法律知識在機器中再現(xiàn)的判定問題。根據(jù)“圖靈試驗”原理,我們可將該檢驗標(biāo)準(zhǔn)概括如下:設(shè)兩間隔開的屋子,一間坐著一位法律家,另一間“坐著”一臺智能機器。一個人(也是法律家)向法律家和機器提出同樣的法律問題,如果提問者不能從二者的回答中區(qū)分出誰是法律家、誰是機器,就不能懷疑機器具有法律知識表達(dá)的能力!
依“圖靈試驗”制定的智能法律系統(tǒng)檢驗標(biāo)準(zhǔn),所看重的是功能。只要機器和法律家解決同樣法律問題時所表現(xiàn)出來的功能相同,就不再苛求哪個是鋼鐵結(jié)構(gòu)、哪個是血肉之軀。人工智能立足的基礎(chǔ),就是相同的功能可以通過不同的結(jié)構(gòu)來實現(xiàn)之功能模擬理論!
從功能模擬的觀點來確定人工智能法律系統(tǒng)的研究與開發(fā)策略,可作以下考慮:
第一,擴大人工智能法律系統(tǒng)的研發(fā)主體,F(xiàn)有人工法律系統(tǒng)的幼稚,暴露了僅僅依靠計算機和知識工程專家從事系統(tǒng)研發(fā)工作的局限性。因此,應(yīng)該確立以法律家、邏輯學(xué)家和計算機專家三結(jié)合的研發(fā)群體。在系統(tǒng)研發(fā)初期,可組成由法學(xué)家、邏輯與認(rèn)知專家、計算機和知識工程專家為主體的課題組,制定系統(tǒng)研發(fā)的整體戰(zhàn)略和分階段實施的研發(fā)規(guī)劃。在系統(tǒng)研發(fā)中期,應(yīng)通過網(wǎng)絡(luò)等手段充分吸收初級產(chǎn)品用戶(律師、檢察官、法官)的意見,使研發(fā)工作在理論研究與實際應(yīng)用之間形成反饋,將開發(fā)精英與廣大用戶的智慧結(jié)合起來,互相啟發(fā)、群策群力,推動系統(tǒng)迅速升級!
第二,確定研究與應(yīng)用相結(jié)合、以應(yīng)用為主導(dǎo)的研發(fā)策略。目前國外人工智能法律系統(tǒng)的研究大多停留在實驗室領(lǐng)域,還沒有在司法實踐中加以應(yīng)用。但是,任何智能系統(tǒng)包括相對簡單的軟件系統(tǒng),如果不經(jīng)過用戶的長期使用和反饋,是永遠(yuǎn)也不可能走向成熟的。從我國的實際情況看,如果不能將初期研究成果盡快地轉(zhuǎn)化為產(chǎn)品,我們也難以為后續(xù)研究工作提供雄厚的資金支持。因此,人工智能法律系統(tǒng)的研究必須走產(chǎn)研結(jié)合的道路,堅持以應(yīng)用開路,使智能法律系統(tǒng)盡快走出實驗室,同時以研究為先導(dǎo),促進不斷更新升級!
第三,系統(tǒng)研發(fā)目標(biāo)與初級產(chǎn)品功能定位。人工智能法律系統(tǒng)的研發(fā)目標(biāo)是制造出能夠滿足多用戶(律師、檢察官、法官、立法者、法學(xué)家)多種需要的機型。初級產(chǎn)品的定位應(yīng)考慮到,人的推理功能特別是價值推理的功能遠(yuǎn)遠(yuǎn)超過機器,但人的記憶功能、檢索速度和準(zhǔn)確性又遠(yuǎn)不如機器。同時還應(yīng)該考慮到,我國目前有12萬律師,23萬檢察官和21萬法官,每年1.2萬法學(xué)院本科畢業(yè)生,他們對法律知識的獲取、表達(dá)和應(yīng)用能力參差不齊。因此,初級產(chǎn)品的標(biāo)準(zhǔn)可適當(dāng)降低,先研制推理功能薄弱、檢索功能強大的法律專家系統(tǒng)。可與計算機廠商合作生產(chǎn)具有強大數(shù)據(jù)庫功能的硬件,并確保最新法律、法規(guī)、司法解釋和判例的網(wǎng)上及時更新;同時編制以案件為引導(dǎo)的高速檢索軟件。系統(tǒng)開發(fā)的先期目標(biāo)應(yīng)確定為:(1)替律師起草僅供參考的起訴書和辯護詞;(2)替法官起草僅供參考的判決書;(3)為法學(xué)院學(xué)生提供模擬法庭審判的通用系統(tǒng)軟件,以輔助學(xué)生在起訴、辯護和審判等訴訟的不同階段鞏固所學(xué)知識、獲得審判經(jīng)驗。上述軟件旨在提供一個初級平臺,先解決有無和急需,再不斷收集用戶反饋意見,逐步改進完善!
第四,實驗室研發(fā)應(yīng)確定較高的起點或跟蹤戰(zhàn)略。國外以知識工程為主要技術(shù)手段的人工智能法律系統(tǒng)開發(fā)已經(jīng)歷了如下發(fā)展階段:(1)主要適用于簡單案件的規(guī)則推理;(2)運用開放結(jié)構(gòu)概念的推理;(3)運用判例和假設(shè)的推理;(4)運用規(guī)則和判例的混合推理。我們?nèi)绱_定以簡單案件的規(guī)則推理為初級市場產(chǎn)品,那么,實驗室中第二代產(chǎn)品開發(fā)就應(yīng)瞄準(zhǔn)運用開放結(jié)構(gòu)概念的推理。同時,跟蹤運用假設(shè)的推理及混合推理,吸收國外先進的KBS和HYPO的設(shè)計思想,將功能子系統(tǒng)開發(fā)與聯(lián)想式控制系統(tǒng)結(jié)合。HYPO判例法推理智能裝置具有如下功能:(1)評價相關(guān)判例;(2)判定何方使用判例更加貼切;(3)分析并區(qū)分判例;(4)建立假設(shè)并用假設(shè)來推理;(5)為一種主張引用各種類型的反例;(6)建立判例的引證概要。HYPO以商業(yè)秘密法的判例推理為模擬對象,假設(shè)了完全自動化的法律推理過程中全部要素被建立起來的途徑。值得注意的是,HYPO忽略了許多要素的存在,如商業(yè)秘密法背后的政策考慮,法律概念應(yīng)用于實際情況時固有的模糊性,信息是否已被公開,被告是否使用了對方設(shè)計的產(chǎn)品,是否簽署了讓與協(xié)議,等等。一個系統(tǒng)設(shè)計的要素列表無論多長,好律師也總能再多想出一些。同樣,律師對案件的分析,不可能僅限于商業(yè)秘密法判例??箍贍茉??秩ǚɑ蜃ɡ?ǖ吶欣??餼齠?似鶿咴滌傻畝嘀摯贍芐浴?shley還討論了判例法推理模擬的其他困難:判例并不是概念的肯定的或否定的樣本,因此,要通過要素等簡單的法律術(shù)語使模糊的法律規(guī)則得到澄清十分困難,法律原則和類推推理之間的關(guān)系還不能以令人滿意的方式加以描述。(注:Edwina L.Rissland,Artificial Intelligence and Law:Stepping Stones toa Model of Legal Reasoning,The Yale Law Journal.(Vol.99:1957-1981).)這說明,即使具有較高起點的實驗室基礎(chǔ)研究,也不宜確定過高的目標(biāo)。因為,智能法律系統(tǒng)的研究不能脫離人工智能的整體發(fā)展水平!
第五,人-機系統(tǒng)解決方案。人和機器在解決法律問題時各有所長。人的優(yōu)點是能作價值推理,使法律問題的解決適應(yīng)社會的變化發(fā)展,從而具有靈活性。機器的長處是記憶和檢索功能強,可以使法律問題的解決具有一貫性。人-機系統(tǒng)解決方案立足于人與機器的功能互補,目的是解放人的腦力勞動,服務(wù)于國家的法治建設(shè)。該方案的實施可以分為兩個階段:第一階段以人為主,機器為人收集信息并作初步分析,提供決策參考。律師受理案件后,可以先用機器處理大批數(shù)據(jù),并參考機器的起訴和辯護方案,再做更加高級的推理論證工作。法官接觸一個新案件,或新法官剛接觸審判工作,也可以先看看“機器法官”的判決建議或者審判思路,作為參考。法院的監(jiān)督部門可參照機器法官的判決,對法官的審判活動進行某種監(jiān)督,如二者的判決結(jié)果差別太大,可以審查一下法官的判決理由。這也許可以在一定程度上制約司法腐敗。在人-機系統(tǒng)開發(fā)的第二階段,會有越來越多的簡單案件的判決與電腦推理結(jié)果完全相同,因此,某些簡單案件可以機器為主進行審判,例如,美國小額法庭的一些案件,我國法庭可用簡易程序來審理的一些案件。法官可以作為“產(chǎn)品檢驗員”監(jiān)督和修訂機器的判決結(jié)果。這樣,法官的判案效率將大大提高,法官隊
伍也可借此“消腫”,有可能大幅度提高法官薪水,吸引高素質(zhì)法律人才進入法官隊伍!
未來的計算機不會完全取代律師和法官,然而,律師和法官與智能機器統(tǒng)一體的出現(xiàn)則可能具有無限光明的前景。(注:Smith,J.C,Machine Intelligence and Legal Reasoning,Chicago-Kent LawReview,1998,Vol.73,No.1,p277.)可以預(yù)見,人工智能將為法律工作的自動化提供越來越強有力的外腦支持。電腦律師或法官將在網(wǎng)絡(luò)所及的范圍內(nèi)承擔(dān)起諸如收債、稅務(wù)、小額犯罪訴訟等職能。自動法律推理系統(tǒng)將對訴訟活動發(fā)揮越來越多的輔助作用,例如,通過嚴(yán)密的演繹邏輯使用戶確信全部法律結(jié)論得出的正當(dāng)性;在解決相互沖突的規(guī)則、判例和政策問題時提示可能出現(xiàn)的判決預(yù)測;等等。正如網(wǎng)絡(luò)的出現(xiàn)打破了少數(shù)人對信息的壟斷一樣,電腦法律顧問的問世,將打破法官、律師對法律知識的壟斷,極大地推動法律知識的普及,迅速提高廣大人民群眾的法律素質(zhì),使法律真正變?yōu)槿罕娛种械匿J利武器!
人工智能要用“人工的、模擬的、假的”智能來代替人類自然的、原型的、真的智能,而且要達(dá)到以假亂真的目的。愈是真假難辨,愈能顯示人的智慧,解放人的腦力勞動,在更深的層次和更廣的范圍提高人類改造自然和改造自身的能力。從這個意義上說,人工智能的發(fā)展沒有界限。人工智能的模擬實驗與法理學(xué)的學(xué)術(shù)研究,在推動人工智能法律系統(tǒng)的進化方面是互相補充的。因此,人工智能法律系統(tǒng)的前景,一方面取決于智能模擬技術(shù)的發(fā)展,另一方面也取決于法理學(xué)對法律推理研究的深化。從信心方面說,“不容質(zhì)疑的是,能夠執(zhí)行復(fù)雜計劃和法律推理的計算機系統(tǒng)肯定是未來幾十年法律實踐的一場革命。”(注:Garry S,Grossman and Lewis D.Solomon,Computers and LegalReasoning,American Bar Association Journal,V69 Jan,1983.pp.66-70.)
相關(guān)閱讀:
時間:2011年03月17日 04:33:53 來源: 作者: 上一篇:法律關(guān)系背后的關(guān)系——“法律亞文化關(guān)系”初探
下一篇:我們有死的權(quán)利嗎——對安樂死爭論的法理學(xué)思考 (電腦版 手機版)
本文關(guān)鍵詞:人工智能法律系統(tǒng)的法理學(xué)思考,由筆耕文化傳播整理發(fā)布。
本文編號:90267
本文鏈接:http://sikaile.net/kejilunwen/rengongzhinen/90267.html