Year: 2019
Type: conference-paper
Abstract: The overall goal of neuro-symbolic computation is to integrate high-level reasoning with low-level perception.We argue 1) that neuro-symbolic computation should integrate neural networks with the two most prominent methods for reasoning, that is, logic and probability, and 2) that neuro-symbolic integrated methods should have the pure neural, logical and probabilistic methods as special cases.We examine the state-of-the-art with regard to these claims and briefly position our own contribution DeepProbLog in this perspective.
Institutions: KU Leuven, Ghent University, Cardiff University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: Fonds Wetenschappelijk Onderzoek
OpenAlex ID: W2977968305