Abductive reasoning in neural-symbolic systems

Topoi 26 (1):37-49 (2007)

Dov Gabbay
Hebrew University of Jerusalem
Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested in benefiting from developments made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration.
Keywords Abduction  Abductive logic programming  Connectionist modal logic  Neural networks
Categories (categorize this paper)
DOI 10.1007/s11245-006-9005-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,223
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Explanatory Coherence (Plus Commentary).Paul Thagard - 1989 - Behavioral and Brain Sciences 12 (3):435-467.

View all 10 references / Add more references

Citations of this work BETA

Abduction: Some Conceptual Issues.Mariusz Urbański & Andrzej Klawiter - 2018 - Logic and Logical Philosophy 27 (4):583.

Add more citations

Similar books and articles


Added to PP index

Total views
411 ( #13,586 of 2,285,696 )

Recent downloads (6 months)
14 ( #59,928 of 2,285,696 )

How can I increase my downloads?


My notes

Sign in to use this feature