License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-14226
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1422/
Go to the corresponding Portal


Kühnberger, Kai-Uwe ; Gust, Helmar ; Geibel, Peter

Perspectives of Neuro--Symbolic Integration -- Extended Abstract --

pdf-format:
Document 1.pdf (154 KB)


Abstract

There is an obvious tension between symbolic and subsymbolic theories, because both show complementary strengths and weaknesses in corresponding applications and underlying methodologies. The resulting gap in the foundations and the applicability of these approaches is theoretically unsatisfactory and practically undesirable. We sketch a theory that bridges this gap between symbolic and subsymbolic approaches by the introduction of a Topos-based semi-symbolic level used for coding logical first-order expressions in a homogeneous framework. This semi-symbolic level can be used for neural learning of logical first-order theories. Besides a presentation of the general idea of the framework, we sketch some challenges and important open problems for future research with respect to the presented approach and the field of neuro-symbolic integration, in general.

BibTeX - Entry

@InProceedings{khnberger_et_al:DSP:2008:1422,
  author =	{Kai-Uwe K{\"u}hnberger and Helmar Gust and Peter Geibel},
  title =	{Perspectives of Neuro--Symbolic Integration -- Extended Abstract --},
  booktitle =	{Recurrent Neural Networks- Models, Capacities, and Applications},
  year =	{2008},
  editor =	{Luc De Raedt and Barbara Hammer and Pascal Hitzler and Wolfgang Maass},
  number =	{08041},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1422},
  annote =	{Keywords: Neuro-Symbolic Integration, Topos Theory, First-Order Logic}
}

Keywords: Neuro-Symbolic Integration, Topos Theory, First-Order Logic
Seminar: 08041 - Recurrent Neural Networks- Models, Capacities, and Applications
Issue Date: 2008
Date of publication: 15.04.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI