Arg-tuProlog: A tuProlog-based argumentation framework

   page       BibTeX_logo.png   
Francesco Calimeri, Simona Perri, Ester Zumpano (a cura di)
CILC 2020 – Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic, pp. 51-66
CEUR Workshop Proceedings (AI*IA Series) 2710
CEUR-WS, Aachen, Germany
13-15 October 2020

Over the last decades, argumentation has become increasingly central as a frontier research within artificial intelligence (AI), especially around the notions of interpretability and explainability, which are more and more required within 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 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.

parole chiaveargumentation; logic-based argumentation; burden of persuasion; tuProlog; micro-intelligence; symbolic intelligence
evento origine
rivista o collana
book CEUR Workshop Proceedings (CEUR-WS.org)
progetto finanziatore
wrenchAI4EU — A European AI On Demand Platform and Ecosystem (01/01/2019–31/12/2021)
wrenchCompuLaw — Computable Law (01/11/2019–31/10/2025)
funge da
pubblicazione di riferimento per presentazione
page_white_powerpointArg-tuProlog: a tuProlog-based argumentation framework (CILC 2020, 13/10/2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)