Neural-symbolic integration [Elektronische Ressource] / eingereicht von Sebastian Bader

Neural-Symbolic IntegrationDissertationzur Erlangung des akademischen GradesDoktor rerum naturalium (Dr. rer. nat)vorgelegt an derTechnischen Universitat DresdenFakultat Informatikeingereicht vonDipl.-Inf. Sebastian Badergeb. am 22. Mai 1977 in RostockDresden, Oktober 2009Gutachter: Prof. Dr. rer. nat. habil Ste en H olldobler(Technische Universit at Dresden)Prof. Dr. rer. nat. habil Barbara Hammer(Technische Universit at Clausthal)Verteidigung: 5. Oktober 2009Neural-Symbolic IntegrationSebastian BaderDresden, October 2009To my family.Contents1 Introduction and Motivation 11.1 Motivation for the Study of Neural-Symbolic Integration . . . . . . . . . . . . 21.2 Related Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.3 A Classi cation Scheme for Neural-Symbolic Systems . . . . . . . . . . . . . . 121.4 Challenge Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181.5 Structure of this Thesis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222 Preliminaries 252.1 General Notions and Notations . . . . . . . . . . . . . . . . . . . . . . . . . . 262.2 Metric Spaces, Contractive Functions and Iterated Function Systems . . . . . 302.3 Logic Programs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 342.4 Binary Decision Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 412.5 Connectionist Systems . . . . . . . . . . . . . . . . . . . . . . . .