Neuro-symbolic learning of answer set programs from raw data
File(s)IJCAI2023CameraReady.pdf (643.79 KB)
Published version
Author(s)
Cunnington, D
Law, M
Lobo, J
Russo, A
Type
Conference Paper
Abstract
One of the ultimate goals of Artificial Intelligence is to assist humans in complex decision making. A promising direction for achieving this goal is Neuro-Symbolic AI, which aims to combine the interpretability of symbolic techniques with the ability of deep learning to learn from raw data. However, most current approaches require manually engineered symbolic knowledge, and where end-to-end training is considered, such approaches are either restricted to learning definite programs, or are restricted to training binary neural networks. In this paper, we introduce Neuro-Symbolic Inductive Learner (NSIL), an approach that trains a general neural network to extract latent concepts from raw data, whilst learning symbolic knowledge that maps latent concepts to target labels. The novelty of our approach is a method for biasing the learning of symbolic knowledge, based on the in-training performance of both neural and symbolic components. We evaluate NSIL on three problem domains of different complexity, including an NP-complete problem. Our results demonstrate that NSIL learns expressive knowledge, solves computationally complex problems, and achieves state-of-the-art performance in terms of accuracy and data efficiency. Code and technical appendix: https://github.com/DanCunnington/NSIL.
Date Issued
2023-01-01
Date Acceptance
2023-08-01
Citation
IJCAI International Joint Conference on Artificial Intelligence, 2023, pp.3586-3596
ISBN
9781956792034
ISSN
1045-0823
Publisher
International Joint Conferences on Artificial Intelligence
Start Page
3586
End Page
3596
Journal / Book Title
IJCAI International Joint Conference on Artificial Intelligence
Copyright Statement
© 2023 International Joint Conferences on Artificial Intelligence
Source
IJCAI 2023
Publication Status
Published
Start Date
2023-08-19
Finish Date
2023-08-25
Coverage Spatial
Macao, SAR