]>
2019-04-25T18:34:06+00:00
Inproceedings905
0
de
Significant advances have recently been made concerning
the integration of symbolic knowledge representation
with artificial neural networks (also
called connectionist systems). However, while the
integration with propositional paradigms has resulted
in applicable systems, the case of first-order
knowledge representation has so far hardly proceeded
beyond theoretical studies which prove the
existence of connectionist systems for approximating
first-order logic programs up to any chosen precision.
Advances were hindered severely by the
lack of concrete algorithms for obtaining the approximating
networks which were known to exist:
the corresponding proofs are not constructive
in that they do not yield concrete methods for
building the systems. In this paper, we will make
the required advance and show how to obtain the
structure and the parameters for different kinds of
connectionist systems approximating covered logic
programs.
Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy
Artur Garcez, Pascal Hitzler, and Jeff Ellman
August
Sebastian Bader, Pascal Hitzler, Andreas Witzel<br /> '''[[Inproceedings905|<b>Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach</b>]]'''<br />In Artur Garcez, Pascal Hitzler, and Jeff Ellman, <i>Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy</i>August, 2005<br>([[Inproceedings905|Details]])
Sebastian Bader, Pascal Hitzler, Andreas Witzel <br /> '''[[Inproceedings905/en|<b>Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach</b>]]''' <br />In Artur Garcez, Pascal Hitzler, and Jeff Ellman, <i>Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy</i>August, 2005<br>([[Inproceedings905/en|Details]])
Sebastian Bader, Pascal Hitzler, Andreas Witzel:<br />Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach.<br />In Artur Garcez, Pascal Hitzler, and Jeff Ellman (Hrsg.), Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy., August 2005.
true
Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach
Inproceedings
2005
2453371.5
2009-10-16T17:24:48Z
2455121.2255556
Inproceedings905
0
1
template
5
[[:Inproceedings905]] [[Bibtype::Article||Incollection||Inproceedings]]
Inproceedings905
0
0
bibtex
1
[[:Inproceedings905]]
Inproceedings905
0
1
count
2
[[:Inproceedings905]] [[Tool::+]]
Inproceedings905
0
1
count
2
[[:Inproceedings905]] [[Data::+]]
Inproceedings905
0
0
list
1
[[:Inproceedings905]]
Inproceedings905
Inproceedings905/en
0
de
Inproceedings905/en