(39)(一)基于法律规则的论证系统主要有：1988年吉野(H. Yoshino)与北原(M. Kithahara)给出的通过比较规则间的偏好以解决不相容规则间冲突的系统；1989年哈姆雷特(A. Hamfelt)与巴克朗(J. Barklund)开发的基于DEMO谓词逻辑元程序的系统等。
(二)基于先例的论证系统主要有：1977年麦卡锡就美国税法构造的第一个法律论证形式化系统TaxMan并在1981年改进的TaxManⅡ系统；里斯兰德与阿什利于1987年提出的第一个利用法律先例建模论证及对话的HYPO系统；里斯兰德与斯卡拉克(D. Skalak)，阿什利与埃里温(V. Aleven)在1992年分别在HYPO系统的基础上发展的结合RBR和CBR的复合系统CABARET系统和CATO系统等。
(三)基于对话及论辩的论证系统主要有：加德纳(L. Gardner)于1987年就美国合同法构造的可以区分简单与复杂问题的问题识别模型；戈登于1993年就美国商务法规提出的诉讼博弈模型；洛德(A. Lodder)发展的较戈登的诉讼博弈模型刻画能力更强的Dialaw模型等。
(四)图解论证系统主要有：维黑杰基于框架模型CumulA的Argue!系统以及基于DeFlog的ArguMed系统；里德(C. Reed)与罗韦(G. Rowe)合作开发的描述双极论证模型的Araucaria系统；本奇卡朋与斯坦尼福德(G. StaniFord)的法律支持系统PLAID；布拉克(van den Braak)结合论证与故事的复合模型，用于分析刑事调查过程的Aver系统等。
(40)J. Crosswhite et al, Computational Models of Rhetorical Argument, Argumentation Machines, Kluwer Academic Publishers, 175—210, 2004.
(41)参见网页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)结论q从S’中演绎推出；并且
(2)S’必须仅由已考虑语境下的确定前提、假设前提以及已证前提所构成。
(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.
登陆|注册欢迎登陆本站，认识更多朋友，获得更多精彩内容推荐！