Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap


Andrea Agiollo, Giovanni Ciatto, Andrea Omicini

WOA 2021 – 22nd Workshop “From Objects to Agents”, pages 98–115
CEUR Workshop Proceedings (AI*IA Series) 2963, October 2021
Sun SITE Central Europe, RWTH Aachen University
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor (eds.)

Combining machine learning (ML) and computational logic (CL) is hard, mostly because of the inherently-different ways they use to represent knowledge. In fact, while ML relies on fixed-size numeric representations leveraging on vectors, matrices, or tensors of real numbers, CL relies on logic terms and clauses—which are unlimited in size and structure.
Graph neural networks (GNN) are a novelty in the ML world introduced for dealing with graph-structured data in a sub-symbolic way. In other words, GNN pave the way towards the application of ML to logic clauses and knowledge bases. However, there are several ways to encode logic knowledge into graphs: which is the best one heavily depends on the specific task at hand.
Accordingly, in this paper, we (i) elicit a number of problems from the field of CL that may benefit from many graph-related problems where GNN has been proved effective; (ii) exemplify the application of GNN to logic theories via an end-to-end toy example, to demonstrate the many intricacies hidden behind the technique; (iii) discuss the possible future directions of the application of GNN to CL in general, pointing out opportunities and open issues.

(keywords) Graph Neural Networks, Machine Learning, Embedding, Computational Logic
 @inproceedings{gnn-woa2021,
author = {Agiollo, Andrea and Ciatto, Giovanni and Omicini, Andrea},
booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
dblpid = {conf/woa/AgiolloCO21},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
issn = {1613-0073},
keywords = {Graph Neural Networks, Machine Learning, Embedding, Computational Logic},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
numpages = 18,
pages = {98--115},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap},
url = {http://ceur-ws.org/Vol-2963/paper18.pdf},
volume = 2963,
year = 2021

Talks

Publications

Events

  • 22nd Workshop “From Objects to Agents” (WOA 2021) — 01/09/2021–03/09/2021

Publication

— authors

Andrea Agiollo, Giovanni Ciatto, Andrea Omicini

— editors

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

— status

published

— sort

paper in proceedings

Venue

— volume

WOA 2021 – 22nd Workshop “From Objects to Agents”

— series

CEUR Workshop Proceedings

— volume

2963

— pages

98–115

— article no.

8

— publication date

October 2021

URLs

original page

Identifiers

— DBLP

conf/woa/AgiolloCO21

— IRIS

11585/834362

— print ISSN

1613-0073

BibTeX

— BibTeX ID
gnn-woa2021
— BibTeX category
inproceedings

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