Neuro-symbolic Computation for XAI: Towards a Unified Model


Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

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

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
 @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''},
dblpid = {conf/woa/PisanoCCO20},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
keywords = {XAI, Hybrid Systems, Neural Networks, Logical Constraining},
irisid = {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

  • 21st Workshop “From Objects to Agents” (WOA 2020) — 14/09/2020–16/09/2020

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

— volume

2706

— pages

101–117

— article no.

8

— publication date

October 2020

URLs

original page

Identifiers

— DBLP

conf/woa/PisanoCCO20

— 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-2022 APICe@DISI Research Group - PRIVACY