Neuro-symbolic Computation for XAI: Towards a Unified Model


Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

The idea of integrating symbolic and sub-symbolic approaches to make intelligent systems (IS) understandable and explainable is at the core of new fields such as neuro-symbolic computing (NSC). This work lays under the umbrella of NSC, and aims at a twofold objective. First, we present a set of guidelines aimed at building explainable IS, which leverage on logic induction and constraints to integrate symbolic and sub-symbolic approaches. Then, we reify the proposed guidelines into a case study to show their effectiveness and potential, presenting a prototype built on the top of some NSC technologies.

(keywords) XAI, Hybrid Systems, Neural Networks, Logical Constraining

WOA 2020 – 21th Workshop “From Objects to Agents", CEUR Workshop Proceedings (AI*IA Series) 2706, pages 101–117, October 2020.
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor (eds.), Sun SITE Central Europe, RWTH Aachen University, Aachen, Germany.
21st Workshop “From Objects to Agents" (WOA 2020), Bologna, Italy, 14–16 September 2020. Proceedings

@inproceedings{nsc4xai-woa2020,
address = {Aachen, Germany},
author = {Pisano, Giuseppe and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
keywords = {XAI, Hybrid Systems, Neural Networks, Logical Constraining},
iris-id = {11585/781387},
issn = {1613-0073},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
pages = {101--117},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus-id = {2-s2.0-85095616404},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Neuro-symbolic Computation for {XAI}: Towards a Unified Model},
url = {http://ceur-ws.org/Vol-2706/paper18.pdf},
url-pdf = {http://ceur-ws.org/Vol-2706/paper18.pdf},
volume = 2706,
year = 2020}

Talks

Journals & Series

Publications

Events

Publication

— authors

Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

— editors

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor

— status

published

— sort

paper in proceedings

Venue

— volume

WOA 2020 – 21th Workshop “From Objects to Agents"

— series

CEUR Workshop Proceedings 2706

— publication date

October 2020

— pages

101–117

— article no.

8

— series

CEUR Workshop Proceedings 2706

— publication date

October 2020

URLs & IDs

original page

— IRIS

11585/781387

— Scopus

2-s2.0-85095616404

— print ISSN

1613-0073

BibTeX

— BibTeX ID
nsc4xai-woa2020
— BibTeX category
inproceedings

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