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.

Giuseppe Pisano, R.C. (2020). Arg-tuProlog: A tuProlog-based argumentation framework. Aachen : CEUR-WS c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.

Arg-tuProlog: A tuProlog-based argumentation framework

Giuseppe Pisano;Roberta Calegari;Andrea Omicini;Giovanni Sartor
2020

Abstract

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.
2020
CILC 2020 – Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic
51
66
Giuseppe Pisano, R.C. (2020). Arg-tuProlog: A tuProlog-based argumentation framework. Aachen : CEUR-WS c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.
Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
File in questo prodotto:
File Dimensione Formato  
paper4.pdf

accesso aperto

Descrizione: PDF editoriale
Tipo: Versione (PDF) editoriale
Licenza: Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione 1.54 MB
Formato Adobe PDF
1.54 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/776173
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? ND
social impact