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

Studies in Computational Intelligence

Volumn 77, Issue , 2008, Pages 233-264

  Gust, Helmar ^a   Kühnberger, Kai Uwe ^a   Geibel, Peter ^a  

^a UNIVERSITY OF OSNABRÜCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34548134460     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-73954-8_10     Document Type: Article

References (20)

1. Barnden J. A. (1989). Neural net implementation of complex symbol processing in a mental model approach to syllogistic reasoning, in Proceedings of the International Joint Conference on Artificial Intelligence, 568-573.
2. Shastri L., Ajjanagadde V. (1990). From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony, Behavioral and Brain Sciences 16: 417-494.
3. Pollack J. (1990). Recursive Distributed Representations Artificial Intelligence 46(1):77-105.
4. Rojas, R. (1996). Neural Networks - A Systematic Introduction, Springer, Berlin, New York.
5. Steinbach B., Kohut R. (2002). Neural Networks - A Model of Boolean Functions. In Steinbach B (ed.): Boolean Problems, Proceedings of the 5th International Workshop on Boolean Problems, 223-240, Freiberg.
6. Lange T., Dyer M. G. (1989). High-level inferencing in a connectionist network. Technical report UCLA-AI-89-12.
7. Smolenski P. (1990). Tensor product variable binding and the representation of symbolic structures in connectionist systems, Artificial Intelligence 46(1-2): 159-216.
8. Plate T. (1994). Distributed Representations and Nested Compositional Structure. PhD thesis, University of Toronto.
9. Hitzler P., Hölldobler S., Seda A. (2004). Logic programs and connectionist networks. Journal of Applied Logic, 2(3):245-272.
10. Healy M., Caudell T. (2004). Neural Networks, Knowledge and Cognition: A Mathematical Semantic Model Based upon Category Theory, University of New Mexico, EECE-TR-04-020.
11. D'Avila Garcez A., Broda K., Gabbay D. (2002). Neural-Symbolic Learning Systems: Foundations and Applications. Springer-Verlag.
12. Gust H., Kühnberger K.-U. (2004). Cloning Composition and Logical Inference in Neural Networks Using Variable-Free Logic. In: AAAI Fall Symposium Series 2004, Symposium: Compositional Connectionism in Cognitive Science, Washington D.C., 25-30.
13. Gust H., Kühnberger K.-U. (2005.) Learning Symbolic Inferences with Neural Networks. In: Bara B., Barsalou L., Bucciarelli M. (eds): CogSci 2005, XXVII Annual Conference of the Cognitive Science Society. Lawrence Erlbaum, 875-880.
14. Goldblatt R. (1979). Topoi: The Categorial Analysis of Logic. Studies in Logic and the Foundations of Mathematics, 98 (1979), North-Holland, Amsterdam.
15. Montague R. (1970). Pragmatics and intensional logic. Synthèse 22:68-94. Reprinted in: Formal Philosophy. Selected Papers of Richard Montague. Edited and with an introduction by Richmond H. Thomason. New Haven/London: Yale University Press, 1974, 119-147.
16. Rydeheard D. E., Burstall R. M. (1988). Computational Category Theory, Prentice Hall.
17. Gust H. (2000). Quantificational Operators and their Interpretation as Higher Order Operators. In Böttner M., Thümmel W. (eds) Variable-free Semantics. Secolo, Osnabrück, 132-161.
18. Gust H. (2006). A sorted logical language with variable patterns. In Bab, S, Gulden, J, Noll, T, Wieczorek, T (eds): Models and Human Reasoning, Wissenschaft und Technik Verlag, Berlin, 35-62.
19. Walter C. (1985). A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. Artificial Intelligence 26: 217-224.
20. Urquhart A. (2001). Basic many-valued logic. In Gabbay D., Guenthner F. (eds.), Handbook of Philosophical Logic, 2nd ed., vol. 2, Kluwer Acad. Publ., Dordrecht, pp. 249-295.