Saved in:
Bibliographic Details
Main Authors: Lazzari, Nicolas, De Giorgis, Stefano, Gangemi, Aldo, Presutti, Valentina
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2402.00591
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911811356327936
author Lazzari, Nicolas
De Giorgis, Stefano
Gangemi, Aldo
Presutti, Valentina
author_facet Lazzari, Nicolas
De Giorgis, Stefano
Gangemi, Aldo
Presutti, Valentina
contents This paper presents sandra, a neuro-symbolic reasoner combining vectorial representations with deductive reasoning. Sandra builds a vector space constrained by an ontology and performs reasoning over it. The geometric nature of the reasoner allows its combination with neural networks, bridging the gap with symbolic knowledge representations. Sandra is based on the Description and Situation (DnS) ontology design pattern, a formalization of frame semantics. Given a set of facts (a situation) it allows to infer all possible perspectives (descriptions) that can provide a plausible interpretation for it, even in presence of incomplete information. We prove that our method is correct with respect to the DnS model. We experiment with two different tasks and their standard benchmarks, demonstrating that, without increasing complexity, sandra (i) outperforms all the baselines (ii) provides interpretability in the classification process, and (iii) allows control over the vector space, which is designed a priori.
format Preprint
id arxiv_https___arxiv_org_abs_2402_00591
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Sandra -- A Neuro-Symbolic Reasoner Based On Descriptions And Situations
Lazzari, Nicolas
De Giorgis, Stefano
Gangemi, Aldo
Presutti, Valentina
Artificial Intelligence
This paper presents sandra, a neuro-symbolic reasoner combining vectorial representations with deductive reasoning. Sandra builds a vector space constrained by an ontology and performs reasoning over it. The geometric nature of the reasoner allows its combination with neural networks, bridging the gap with symbolic knowledge representations. Sandra is based on the Description and Situation (DnS) ontology design pattern, a formalization of frame semantics. Given a set of facts (a situation) it allows to infer all possible perspectives (descriptions) that can provide a plausible interpretation for it, even in presence of incomplete information. We prove that our method is correct with respect to the DnS model. We experiment with two different tasks and their standard benchmarks, demonstrating that, without increasing complexity, sandra (i) outperforms all the baselines (ii) provides interpretability in the classification process, and (iii) allows control over the vector space, which is designed a priori.
title Sandra -- A Neuro-Symbolic Reasoner Based On Descriptions And Situations
topic Artificial Intelligence
url https://arxiv.org/abs/2402.00591