The core method: Connectionist model generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4132 LNCS - II, Issue , 2006, Pages 1-13

  Bader, Sebastian ^a   Hölldobler, Steffen ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION ANALYSIS; KNOWLEDGE REPRESENTATION; RECURRENT NEURAL NETWORKS; SECURITY SYSTEMS;

CONNECTIONIST MODELS; NEURAL SYMBOLIC SYSTEMS; RECURRENT NETWORKS;

FEEDFORWARD NEURAL NETWORKS;

EID: 33749852842     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11840930_1     Document Type: Conference Paper

References (32)

1. R. Andrews, J. Diederich, and A. Tickle. A survey and critique of techniques for extracting rules from trained artificial neural networks. Knowledge-Based Systems, 8(6), 1995.
2. S. Bader, P. Hitzler, and A. Witzel. Integrating first-order logic programs and connectionist systems - a constructive approach. In Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005.
3. D. H. Ballard. Parallel logic inference and energy minimization. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 203-208, 1986.
4. Christopher M. Bishop. Neural Networks for Pattern Recognition. Oxford University Press, 1995.
5. A.S. d'Avila Garcez, K. Broda, and D.M. Gabbay. Neural-Symbolic Learning Systems: Foundations and Applications. Springer, 2002.
6. A.S. d'Avila Garcez, L. C. Lamb, and D.M. Gabbay. A connectionist inductive learning system for modal logic programming. In Proceedings of the IEEE International Conference on Neural Information Processing ICONIP'02, Singapore, 2002.
7. A.S. d'Avila Garcez, L.C. Lamb, and D.M. Gabbay. Neural-symbolic intuitionistic reasoning. In Design and Application of Hybrid Intelligent Systems, pages 399-408, IOS Press, 2003.
8. A.S. d'Avila Garcez, G. Zaverucha, and L.A.V. de Carvalho. Logic programming and inductive learning in artificial neural networks. In Ch. Herrmann, F. Reine, and A. Strohmaier, editors, Knowledge Representation in Neural Networks, pages 33-46, Berlin, 1997. Logos Verlag.
9. J. L. Elman. Structured representations and connectionist models. In Proceedings of the Annual Conference of the Cognitive Science Society, pages 17-25, 1989.
10. M. Fitting. Metric methods - three examples and a theorem. Journal of Logic Programming, 21(3):113-127, 1994.
11. B. Fritzke. Vektorbasierte Neuronale Netze. Shaker Verlag, 1998.
12. K.-I. Funahashi. On the approximate realization of continuous mappings by neural networks. Neural Networks, 2:183-192, 1989.
13. P. Hitzler, S. Hölldobler, and A.K. Seda. Logic programs and connectionist networks. Journal of Applied Logic, 2(3):245-272, 2004.
14. S. Hölldobler and Y. Kalinke. Towards a massively parallel computational model for logic programming. In Proceedings of the ECAI94 Workshop on Combining Symbolic and Connectionist Processing, pages 68-77. ECCAI, 1994.
15. S. Hölldobler, Y. Kalinke, and H.-P. Störr. Approximating the semantics of logic programs by recurrent neural networks. Applied Intelligence, 11:45-59, 1999.
16. S. Hölldobler and F. Kurfess. CHCL - A connectionist inference system. In B. Fronhöfer and G. Wrightson, editors, Parallelization in Inference Systems, pages 318-342. Springer, LNAI 590, 1992.
17. K. Hornik, M. Stinchcombe, and H. White. Multilayer feedforward networks are universal approximators. Neural Networks, 2:359-366, 1989.
18. Y. Kalinke. Ein massiv paralleles Berechnungsmodell für normale logische Programme. Master's thesis, TU Dresden, Fakultät Informatik, 1994. (in German).
19. T. E. Lange and M. G. Dyer. High-level inferencing in a connectionist network. Connection Science, 1:181-217, 1989.
20. J. W. Lloyd. Foundations of Logic Programming. Springer, Berlin, 1993.
21. J. McCarthy. Epistemological challenges for connectionism. Behavioural and Brain Sciences, 11:44, 1988.
22. W. S. McCulloch and W. Pitts. A logical calculus and the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics, 5:115-133, 1943.
23. G. Pinkas. Symmetric neural networks and logic satisfiability. Neural Computation, 3:282-291, 1991.
24. T. A. Plate. Holographic reduced networks. In C. L. Giles, S. J. Hanson, and J. D. Cowan, editors, Advances in Neural Information Processing Systems 5. Morgan Kaufmann, 1992.
25. J. B. Pollack. Recursive distributed representations. Artificial Intelligence, 46:77-105, 1990.
26. A.K. Seda and M. Lane. Some aspects of the integration of connectionist and logic-based systems. In Proceedings of the Third International Conference on Information, pages 297-300, International Information Institute, Tokyo, Japan, 2004.
27. L. Shastri and V. Ajjanagadde. From associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony. Behavioural and Brain Sciences, 16(3):417-494, September 1993.
28. 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.
29. G.G. Towell and J.W. Shavlik. Extracting refined rules from knowledge-based neural networks. Machine Learning, 131:71-101, 1993.
30. S. Willard. General Topology. Addison-Wesley, 1970.
31. A. Witzel. Integrating first-order logic programs and connectionist networks. Project Thesis, Technische Universität Dresden, Informatik, 2005.
32. A. Witzel. Neural-symbolic integration - constructive approaches. Master's thesis, Technische Universität Dresden, Informatik, 2006.