Arg-tuProlog: a tuProlog-based argumentation framework

   page       attach   

Over the last decades, argumentation has become increasingly central as frontier research within artificial intelligence (AI) especially in relation to interpretability and explainability, which are more and more required on AI applications. In this paper, we present the first prototype of Arg-tuProlog, a logic-based argumentation tool built on top of the tuProlog system. In particular, Arg-tuProlog enables defeasible reasoning and argumentation and deals with priorities over rules. It also includes a formal method for dealing with the burden of proof (burden of persuasion). Being lightweight and compliant to the requirements for micro-intelligence, Arg-tuProlog is perfectly suited for injecting argumentation into distributed pervasive systems.

hosting event
reference publication
page_white_acrobatArg-tuProlog: A tuProlog-based argumentation framework (paper in proceedings, 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
funding project
wrenchAI4EU — A European AI On Demand Platform and Ecosystem (01/01/2019–31/12/2021)
wrenchCompuLaw — Computable Law (01/11/2019–31/10/2025)

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY