ULLER: A unified language for learning and reasoning
File(s)uller_paper.pdf (606.25 KB)
Accepted version
Author(s)
van Krieken, Emile
Badreddine, Samy
Manhaeve, Robin
Giunchiglia, Eleonora
Type
Conference Paper
Abstract
The field of neuro-symbolic artificial intelligence (NeSy), which combines learning and reasoning, has recently experienced significant growth. There now are a wide variety of NeSy frameworks, each with its own specific language for expressing background knowledge and how to relate it to neural networks. This heterogeneity hinders accessibility for newcomers and makes comparing different NeSy frameworks challenging. We propose a unified language for NeSy, which we call ULLER, a Unified Language for LEarning and Reasoning. ULLER encompasses a wide variety of settings, while ensuring that knowledge described in it can be used in existing NeSy systems. ULLER has a first-order logic syntax specialised for NeSy for which we provide example semantics including classical FOL, fuzzy logic, and probabilistic logic. We believe ULLER is a first step towards making NeSy research more accessible and comparable, paving the way for libraries that streamline training and evaluation across a multitude of semantics, knowledge bases, and NeSy systems.
Editor(s)
Besold, TR
Garcez, AD
Jimenez-Ruiz, E
Confalonieri, R
Madhyastha, P
Wagner, B
Date Issued
2024-09-10
Date Acceptance
2024-09-01
Citation
Lecture Notes in Computer Science, 2024, 14979, pp.219-239
ISBN
978-3-031-71166-4
ISSN
2945-9133
Publisher
Springer International Publishing AG
Start Page
219
End Page
239
Journal / Book Title
Lecture Notes in Computer Science
Volume
14979
Copyright Statement
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG. This is the author’s accepted manuscript made available under a CC-BY licence in accordance with Imperial’s Research Publications Open Access policy (www.imperial.ac.uk/oa-policy)
License URL
Source
18th International Conference on Neural-Symbolic Learning and Reasoning (NeSy)
Subjects
Computer Science
Computer Science, Artificial Intelligence
Computer Science, Software Engineering
Computer Science, Theory & Methods
Science & Technology
Technology
Publication Status
Published
Start Date
2024-09-09
Finish Date
2024-09-12
Coverage Spatial
Barcelona, Spain
Date Publish Online
2024-09-10