Formalising ordinary legal disputes:a case study

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

Investigating Stories in a Formal Dialogue Game

In this paper we propose a formal dialogue game in which two players aim to determine the best explanation for a set of observations. By assuming an adversarial setting, we force the players to advance and improve their own explanations as well as criticize their opponent's explanations, thus hopefully preventing the well-known problem of 'tunnel vision'. A main novelty of our approach is that the game supports the combination of argumentation with abductive inference to the best explanation.</p