Inproceedings905: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 2: | Zeile 2: | ||
|Rank=3 | |Rank=3 | ||
|Author=Andreas Witzel | |Author=Andreas Witzel | ||
+ | }} | ||
+ | {{Publikation Author | ||
+ | |Rank=2 | ||
+ | |Author=Pascal Hitzler | ||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=1 | |Rank=1 | ||
|Author=Sebastian Bader | |Author=Sebastian Bader | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
Zeile 42: | Zeile 42: | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
|Download=2005_905_Bader_Integrating Fir_1.pdf | |Download=2005_905_Bader_Integrating Fir_1.pdf | ||
− | + | |Projekt=SEKT, KnowledgeWeb, SmartWeb, | |
− | |Projekt=SEKT, SmartWeb | ||
|Forschungsgruppe= | |Forschungsgruppe= | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Neuro-symbolische Integration | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Künstliche Intelligenz | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Logikprogrammierung | ||
}} | }} |
Version vom 15. August 2009, 12:07 Uhr
Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach
Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach
Published: 2005
August
Herausgeber: Artur Garcez, Pascal Hitzler, and Jeff Ellman
Buchtitel: Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy
Referierte Veröffentlichung
BibTeX
Kurzfassung
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.
Download: Media:2005_905_Bader_Integrating Fir_1.pdf
Neuro-symbolische Integration, Logikprogrammierung, Künstliche Intelligenz