在运用论辩的法律中进行论证发现的自动化系统与启发式搜索程序

An Automated System for Argument Invention in Law Using Argumentation and Heuristic Search Procedures

一项用于发现(inventing[1])法律论证(argument)的启发式搜索程序仰赖两种在论辩领域已被广泛使用的工具。论辩型式(Argumentation schemes[1])是表达前提—结论,以及论证之推论结构的常态形式。在法律中,表达诸如基于专家意见论证的可废止论证(defeasible arguments)时,型式尤为有用。论证图解是用于呈现相互链接的论证链条的直观工具。'南洋杉'(Araucaria)即其中一种,在http://araucaria.computing.dundee.ac.uk/上免费可得。它帮助使用者在计算机屏幕上展示以终局结论作为树根的一个倒置的树型结构论证。这些论辩工具适宜于分析待审案件中的海量证据,在某种程度上,它已为法律中所使用的启发式方法[2]和威格摩尔图解法[3]所熟稔。拙文展示了它们能如何自动化,以及如何被应用到发现法律论辩的目标。一种重要的应用是证明审前准备的结构。