Learning models of predicate logical theories with neural networks based on topos theory

Autor(en): Gust, H.
Kühnberger, K.-U. 
Geibel, P.
Herausgeber: Hammer, B.
Hitzler, P.
Erscheinungsdatum: 2008
Enthalten in: Studies in Computational Intelligence
Band: 77
Startseite: 233
Seitenende: 264
Zusammenfassung: 
This chapter presents an approach to learn first-order logical theories with neural networks. We discuss representation issues for this task in terms of a variable-free representation of predicate logic using topos theory and the possibility to use automatically generated equations (induced by the topos) as input for a neural network. Besides the translation of first-order logic into a variable-free representation, a programming language fragment for representing variable-free logic, the structure of the used neural network for learning, and the overall architecture of the system are discussed. Finally, an evaluation of the approach is presented by applying the framework to theorem proving problems. © 2007 Springer-Verlag Berlin Heidelberg.
ISBN: 9783540739531
ISSN: 1860949X
DOI: 10.1007/978-3-540-73954-8_10
Externe URL: https://www.scopus.com/inward/record.uri?eid=2-s2.0-34548134460&doi=10.1007%2f978-3-540-73954-8_10&partnerID=40&md5=b041d6e2386380a2d18272034afeb73a

Show full item record

Page view(s)

6
Last Week
0
Last month
0
checked on Jun 16, 2024

Google ScholarTM

Check

Altmetric