Argumentation and Logic Programming for Explainable and Ethical AI

Last modified by Andrea Omicini on 01/05/2021 16:49

Roberta Calegari, Andrea Omicini, Giovanni Sartor

In this paper we sketch a vision of explainability of intelligent systems as a logic approach suitable to be injected into and exploited by the system actors once integrated with sub-symbolic techniques. In particular, we show how argumentation could be combined with different extensions of logic programming – namely, abduction, inductive logic programming, and probabilistic logic programming – to address the issues of explainable AI as well as to address some ethical concerns about AI.

(keywords) explainable AI, ethical AI, argumentation, logic programming, abduction, probabilistic LP, inductive LP
XAI.it 2020 – Italian Workshop on Explainable Artificial Intelligence 2020, CEUR Workshop Proceedings (AI*IA Series) 2742, pages 55-68, November 2020.
Cataldo Musto, Daniele Magazzeni, Salvatore Ruggieri, Giovanni Semeraro (eds.), Sun SITE Central Europe, RWTH Aachen University
Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020)
@inproceedings{arglpxai-aiia2020,
author = {Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
booktitle = {{XAI.it 2020} -- Italian Workshop on Explainable Artificial Intelligence 2020},
editor = {Musto, Cataldo and Magazzeni, Daniele and Ruggieri, Salvatore and Semeraro, Giovanni},
irisid = {11585/780458},
keywords = {explainable AI, ethical AI, argumentation, logic programming, abduction, probabilistic LP, inductive LP},
month = nov,
note = {Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020)},
pages = {55--68},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Argumentation and Logic Programming for Explainable and Ethical {AI}},
url = {http://ceur-ws.org/Vol-2742/paper5.pdf},
volume = 2742,
year = 2020}

    

Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
1.1