(39)(一)基于法律規(guī)則的論證系統(tǒng)主要有：1988年吉野(H. Yoshino)與北原(M. Kithahara)給出的通過比較規(guī)則間的偏好以解決不相容規(guī)則間沖突的系統(tǒng)；1989年哈姆雷特(A. Hamfelt)與巴克朗(J. Barklund)開發(fā)的基于DEMO謂詞邏輯元程序的系統(tǒng)等。
(二)基于先例的論證系統(tǒng)主要有：1977年麥卡錫就美國稅法構(gòu)造的第一個法律論證形式化系統(tǒng)TaxMan并在1981年改進的TaxManⅡ系統(tǒng)；里斯蘭德與阿什利于1987年提出的第一個利用法律先例建模論證及對話的HYPO系統(tǒng)；里斯蘭德與斯卡拉克(D. Skalak)，阿什利與埃里溫(V. Aleven)在1992年分別在HYPO系統(tǒng)的基礎(chǔ)上發(fā)展的結(jié)合RBR和CBR的復(fù)合系統(tǒng)CABARET系統(tǒng)和CATO系統(tǒng)等。
(三)基于對話及論辯的論證系統(tǒng)主要有：加德納(L. Gardner)于1987年就美國合同法構(gòu)造的可以區(qū)分簡單與復(fù)雜問題的問題識別模型；戈登于1993年就美國商務(wù)法規(guī)提出的訴訟博弈模型；洛德(A. Lodder)發(fā)展的較戈登的訴訟博弈模型刻畫能力更強的Dialaw模型等。
(四)圖解論證系統(tǒng)主要有：維黑杰基于框架模型CumulA的Argue!系統(tǒng)以及基于DeFlog的ArguMed系統(tǒng)；里德(C. Reed)與羅韋(G. Rowe)合作開發(fā)的描述雙極論證模型的Araucaria系統(tǒng)；本奇卡朋與斯坦尼福德(G. StaniFord)的法律支持系統(tǒng)PLAID；布拉克(van den Braak)結(jié)合論證與故事的復(fù)合模型，用于分析刑事調(diào)查過程的Aver系統(tǒng)等。
(40)J. Crosswhite et al, Computational Models of Rhetorical Argument, Argumentation Machines, Kluwer Academic Publishers, 175—210, 2004.
(41)參見網(wǎng)頁NWO Project: "Designing and Understanding Forensic Bayesian Networks with Arguments and Scenarios", http://www.nwo.nl/nwohome.nsf/pages/NWOP_88LEP8_Eng.
(42)A. Peczenik,>(1)結(jié)論q從S’中演繹推出；并且
(2)S’必須僅由已考慮語境下的確定前提、假設(shè)前提以及已證前提所構(gòu)成。
(43)A. Peczenik, Scientia Juris: Legal Doctrine as Knowledge of Law and as a Source of Law, A Treatise of Legal Philosophy and General Jurisprudence, Springer, 92, 2005.
登陸|注冊歡迎登陸本站，認識更多朋友，獲得更多精彩內(nèi)容推薦！