论文信息 - Abductive Reasoning for Burden of Proof

Abductive Reasoning for Burden of Proof

In argumentation system, it is important to reason about winning strategy during argument according to the context of their counterpart arguments and their own past arguments. In legal reasoning, it is more complicated than the ordinary argumentation system, since it involves a notion of a burden of proof. In this paper, we extend our framework to reason about the next move given context of arguments in legal reasoning by introducing an abductive framework into our previous work [7] of a formalization of burden of proof. We show that an abductive framework is useful for reasoning about the next suitable measure in order to win a case.

Satoshi Tojo | Ken Satoh | Yoshitaka Suzuki

[1] Henry Prakken,et al. Modelling Defeasibility in Law: Logic or Procedure? , 2001, Fundam. Informaticae.

[2] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[3] Thomas F. Gordon. Issue spotting in a system for searching interpretation spaces , 1989, ICAIL '89.

[4] Antonis C. Kakas,et al. The role of abduction in logic programming , 1998 .

[5] Henry Prakken,et al. Formalising arguments about the burden of persuasion , 2007, ICAIL.

[6] Formalizing a Switch of Burden of Proof by Logic Programming , 2007 .

[7] Satoshi Tojo,et al. Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction , 2006, JURIX.