Formalising ordinary legal disputes: a case study
Formalising ordinary legal disputes: a case study
复制标题
将普通法律纠纷形式化：案例研究
DOI：
--
复制
发表时间：
2008
影响因子：
4.1
通讯作者：
H. Prakken
中科院分区：
文献类型：
--
作者：
H. Prakken
本文提出了在普拉肯（Prakken）审判对话正式模型中对荷兰民事法律案件的正式重构。形式化的对象是当事人与法官在争议过程中所交换的辩论性言语行为。这种形式化的目标是双重的：测试一般法律对话的人工智能和法律模型，特别是普拉肯的模型是否适合建模特定的法律程序；并了解实际法律纠纷正式化的过程。
This paper presents a formal reconstruction of a Dutch civil legal case in Prakken’s formal model of adjudication dialogues. The object of formalisation is the argumentative speech acts exchanged during the dispute by the adversaries and the judge. The goal of this formalisation is twofold: to test whether AI & law models of legal dialogues in general, and Prakken’s model in particular, are suitable for modelling particular legal procedures; and to learn about the process of formalising an actual legal dispute.