A fully connectionist model generator for covered first-order logic programs

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 666-671

  Bader, Sebastian ^a   Hitzler, Pascal ^b   Hölldobler, Steffen ^a   Witzel, Andreas ^c  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF KARLSRUHE   (Germany)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONNECTIONIST MODELS; CONNECTIONIST SYSTEMS; FEED-FORWARD NETWORK; FIRST-ORDER; FIRST-ORDER LOGIC PROGRAMS; NOISY DATA; SEMANTIC OPERATORS; TRAINING EXAMPLE;

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; PERSONNEL TRAINING; SEMANTICS;

LOGIC PROGRAMMING;

EID: 84880872944     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. J. Angele and G. Lausen. Ontologies in F-Logic. In S. Staab and R. Studer, editors, Handbook on Ontologies, pages 29-50. Springer, 2004.
2. K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89-148. Morgan Kaufmann, 1988.
3. S. Bader and P. Hitzler. Dimensions of neural-symbolic integration - a structured survey. In S. Artemov et al., editor, We Will Show Them: Essays in Honour of Dov Gabbay, volume 1, pages 167-194. King's College Publications, JUL 2005.
4. S. Bader, P. Hitzler, and A. Witzel. Integrating first-order logic programs and connectionist systems - a constructive approach. In A. S. d'Avila Garcez et al., editor, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005.
5. M. Barnsley. Fractals Everywhere. Academic Press, San Diego, CA, USA, 1993.
6. A. S. d'Avila Garcez, K. B. Broda, and D. M. Gabbay. Neural-Symbolic Learning Systems - Foundations and Applications. Perspectives in Neural Computing. Springer, Berlin, 2002.
7. J. A. Fodor and Z.W. Pylyshyn. Connectionism and cognitive architecture: A critical analysis. In Pinker and Mehler, editors, Connections and Symbols, pages 3-71. MIT Press, 1988.
8. B. Fritzke. Vektorbasierte Neuronale Netze. Habilitation, Technische Universität Dresden, 1998.
9. H. Gust and K.-U. Kühnberger. Learning symbolic inferences with neural networks. In B. Bara, L. Barsalou, and M. Bucciarelli, editors, CogSci 2005: XXVII Annual Conference of the Cognitive Science Society, pages 875-880, 2005.
10. P. Hitzler, S. Hölldobler, and A. K. Seda. Logic programs and connectionist networks. Journal of Applied Logic, 3(2):245-272, 2004. (Pubitemid 40009289)
11. P. Hitzler, S. Bader, and A. d'Avila Garcez. Ontology leaning as a use case for neural-symbolic integration. In A. Garcez et al., editor, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy, 2005.
12. S. Hölldobler and Y. Kalinke. Towards a massively parallel computational model for logic programming. In Proceedings ECAI94 Workshop on Combining Symbolic and Connectionist Processing, pages 68-77. ECCAI, 1994.
13. S. Hölldobler, Y. Kalinke, and H.-P. Störr. Approximating the semantics of logic programs by recurrent neural networks. Applied Intelligence, 11:45-58, 1999.
14. J. W. Lloyd. Foundations of Logic Programming. Springer, Berlin, 1988.
15. J. McCarthy. Epistemological challenges for connectionism. Behavioural and Brain Sciences, 11:44, 1988.
16. Raul Rojas. Neural Networks. Springer, 1996.
17. Anthony K. Seda and Maire Lane. On approximation in the integration of connectionist and logic-based systems. In Proceedings of the Third International Conference on Information (Information'04), pages 297-300, Tokyo, November 2005. International Information Institute.
18. P. Smolensky. On variable binding and the representation of symbolic structures in connectionist systems. Technical Report CU-CS-355-87, Department of Computer Science & Institute of Cognitive Science, University of Colorado, Boulder, CO 80309-0430, 1987.
19. A. Witzel. Neural-symbolic integration - constructive approaches. Master's thesis, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2006.