Arg-tuProlog: A tuProlog-based argumentation framework


Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

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, 13-15 October 2020
CEUR-WS, Aachen, Germany
Francesco Calimeri, Simona Perri, Ester Zumpano (a cura di)

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.

(keywords) argumentation; logic-based argumentation; burden of persuasion; tuProlog; micro-intelligence; symbolic intelligence
 @inproceedings{arg2p-cilc2020,
address = {Aachen, Germany},
author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {CILC 2020 -- Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic},
dblpid = {conf/cilc/PisanoCOS20},
editor = {Calimeri, Francesco and Perri, Simona and Zumpano, Ester},
irisid = {11585/776173},
keywords = {argumentation; logic-based argumentation; burden of persuasion; tuProlog; micro-intelligence; symbolic intelligence},
location = {Rende, CS, Italy},
month = {13-15~} # oct,
organization = {Sun SITE Central Europe, RWTH Aachen University},
pages = {51--66},
publisher = {CEUR-WS},
scholarid = {11457064787617704916},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Arg-{{\sf tu}Prolog}: A {{\sf tu}Prolog}-based argumentation framework},
url = {http://ceur-ws.org/Vol-2710/paper4.pdf},
volume = 2710,
year = 2020

Riviste & collane

Eventi

  • Convegno Italiano di Logica Computazionale – 35º Convegno Annuale dell'Associazione Italiana Utenti Logic Programming (CILC 2020) — 28/09/2020–30/09/2020

Pubblicazione

— autori/autrici

Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

— a cura di

Francesco Calimeri, Simona Perri, Ester Zumpano

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

CILC 2020 – Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic

— collana

CEUR Workshop Proceedings / AI*IA Series

— volume

2710

— pagine

51-66

— data di pubblicazione

13-15 October 2020

URL

pagina originale

Identificatori

— DBLP

conf/cilc/PisanoCOS20

— IRIS

11585/776173

— Scholar

11457064787617704916

— Scopus

2-s2.0-85095821934

— print ISSN

1613-0073

BibTeX

— BibTeX ID
arg2p-cilc2020
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY