Alma AI—Alma Mater Research Institute for Human-Centered Artificial Intelligence, <span style="font-variant: small-caps">Alma Mater Studiorum</span>—Università di Bologna, 40100 Bologna, Italy
Roberta Calegari
Alma AI—Alma Mater Research Institute for Human-Centered Artificial Intelligence, <span style="font-variant: small-caps">Alma Mater Studiorum</span>—Università di Bologna, 40100 Bologna, Italy
Giuseppe Contissa
Alma AI—Alma Mater Research Institute for Human-Centered Artificial Intelligence, <span style="font-variant: small-caps">Alma Mater Studiorum</span>—Università di Bologna, 40100 Bologna, Italy
Francesca Lagioia
Alma AI—Alma Mater Research Institute for Human-Centered Artificial Intelligence, <span style="font-variant: small-caps">Alma Mater Studiorum</span>—Università di Bologna, 40100 Bologna, Italy
Giuseppe Pisano
Alma AI—Alma Mater Research Institute for Human-Centered Artificial Intelligence, <span style="font-variant: small-caps">Alma Mater Studiorum</span>—Università di Bologna, 40100 Bologna, Italy
Galileo Sartor
Computer Science Department, University of Torino, 10124 Torino, Italy
Giovanni Sartor
Alma AI—Alma Mater Research Institute for Human-Centered Artificial Intelligence, <span style="font-variant: small-caps">Alma Mater Studiorum</span>—Università di Bologna, 40100 Bologna, Italy
Different formalisms for defeasible reasoning have been used to represent knowledge and reason in the legal field. In this work, we provide an overview of the following logic-based approaches to defeasible reasoning: defeasible logic, Answer Set Programming, ABA+, ASPIC+, and DeLP. We compare features of these approaches under three perspectives: the logical model (knowledge representation), the method (computational mechanisms), and the technology (available software resources). On top of that, two real examples in the legal domain are designed and implemented in ASPIC+ to showcase the benefit of an argumentation approach in real-world domains. The CrossJustice and Interlex projects are taken as a testbed, and experiments are conducted with the Arg2P technology.
