Probabilistic legal reasoning in CHRiSM

Riveret et al. have proposed a framework for probabilistic legal reasoning. Their goal is to determine the chance of winning a court case, given the probabilities of the judge accepting certain claimed facts and legal rules. In this paper we tackle the same problem by defining and implementing a new formalism, called probabilistic argumentation logic, which can be seen as a probabilistic generalization of Nute’s defeasible logic. Not only does this provide an automation of the — only handperformed — computations in Riveret et al, it also provides a solution to one of their open problems: a method to determine the initial probabilities from a given body of precedents.

[1]  Arabellastrasse,et al.  Constraint Handling Rules ? , 1995 .

[2]  Luc De Raedt,et al.  On the implementation of the probabilistic logic programming language ProbLog , 2010, Theory and Practice of Logic Programming.

[3]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[4]  Guido Governatori,et al.  Strategic argumentation: a game theoretical investigation , 2007, ICAIL.

[5]  Taisuke Sato,et al.  A glimpse of symbolic-statistical modeling by PRISM , 2008, Journal of Intelligent Information Systems.

[6]  Maurice Bruynooghe,et al.  Logic programs with annotated disjunctions , 2004, NMR.

[7]  Wannes Meert,et al.  CHR(PRISM)-based probabilistic logic learning , 2010, Theory Pract. Log. Program..

[8]  Donald Nute,et al.  Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics , 2006, JELIA.

[9]  Thom Frühwirth,et al.  CHRiSM and Probabilistic Argumentation Logic , 2013 .

[10]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[11]  Tom Schrijvers,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming as Time Goes By: Constraint Handling Rules , 2022 .

[12]  Henry Prakken,et al.  Success chances in argument games: a probabilistic approach to legal disputes , 2007, JURIX.

[13]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[14]  Frank Raiser,et al.  Constraint Handling Rules: Compilation, Execution, and Analysis , 2011 .