Ontologies and worlds in category theory: Implications for neural systems

Axiomathes

Volumn 16, Issue 1-2, 2006, Pages 165-214

  Healy, Michael John ^a   Caudell, Thomas Preston ^a  

^a NONE

Author keywords

Category; Cognition; Colimit; Functor; Limit; Natural transformation; Neural network; Semantics

Indexed keywords

EID: 33748860345     PISSN: 11221151     EISSN: 15728390     Source Type: Journal    
DOI: 10.1007/s10516-005-5474-1     Document Type: Article

References (54)

1. Adamek, J., H. Herrlich and G. Strecker: 1990, Abstract and Concrete Categories: The Joy of Cats, Cambridge University Press.
2. Andrews, P. B.: 1986, An Introduction to Mathematical Logic and Type Theory: To Truth through Proof, Academic Press, Inc.
3. Andrews, R., J. Diederich and A. B. Tickle: 1995, 'Survey and Critique of Techniques for Extracting Rules from Trained Artificial Neural Networks', Knowledge-Based Systems 8(6), 373-389.
4. Arbib, M. A.: 1987, Brains, Machines, and Mathematics, Springer: Berlin.
5. Bartfai, G.: 1994, 'Hierarchical Clustering with ART Neural Networks', in Proceedings of the International Conference on Neural Networks, Orlando, FL, June 28-July 2, 1994.
6. Bennet, M. K.: 1995, Affine and Projective Geometry, John Wiley and Sons.
7. Carpenter, G. A. and A.-H. Tan: 1995, 'Rule Extraction: From Neural Architecture to Symbolic Representation', Connection Science 7, 3-27.
8. Craven, M. W. and J. W. Shavlik: 1993, 'Learning Symbolic Rules using Artificial Neural Networks', in Proceedings of the 10th International Machine Learning Conference, Amherst, MA, Morgan Kaufmann.
9. Crole, R. L.: 1993, Categories for Types, Cambridge University Press.
10. Damasio, A.: 1989, 'Time-Locked Multiregional Retroactivation: A Systems-Level Proposal for the Neural Substrates of Recall and Recognition', Cognition 33, 25-62.
11. Ehresmann, A. C. and J.-P. Vanbremeersch: 1997, 'Information Processing and Symmetry-Breaking in Memory Evolutive Systems', BioSystems 43, 25-40.
12. Fu, L. M.: 1992, 'A Neural Network for Learning Rule-Based Systems', in Proceedings of the International Joint Conference on Neural Networks, Baltimore, MD.
13. Goguen, J. A. and R. M. Burstall: 1992, 'Institutions: Abstract Model Theory for Specification and Programming', Journal of the Association for Computing Machinery 39(1), 95-146.
14. Gruber, T. and G. Olsen: 1994, 'An Ontology for Engineering Mathematics', in Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kauffman.
15. Gust, H. and K.-U. Kühnberger: 2005, 'Learning Symbolic Inferences with Neural Networks', in Proceedings of the XXVII Annual Conference of the Cognitive Science Society (CogSci2005), Stresa, Italy, Cognitive Science Society, ed. offices University of Indiana, Bloomington, IN.
16. Healy, M. J.: 1999a, 'A Topological Semantics for Rule Extraction with Neural Networks', Connection Science 11(1), 91-113.
17. Healy, M. J.: 1999b, 'Colimits in Memory: Category Theory and Neural Systems', in J. S. Boswell (ed.), Proceedings of IJCNN'99: International Joint Conference on Neural Networks, Washington, DC: IEEE Press.
18. Healy, M. J.: 2000, 'Category Theory Applied to Neural Modeling and Graphical Representations', in M. Gori, S. -I. Amari, C. L. Giles and V. Piuri (eds.), Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks: IJCNN2000, Como, Italy: IEEE Computer Society Press.
19. Healy, M. J. and T. P. Caudell: 1997, 'Acquiring Rule Sets as a Product of Learning in a Logical Neural Architecture', IEEE Transactions on Neural Networks 8(3), 461-474.
20. Healy, M. J. and T. P. Caudell: 2001, 'A Categorical Semantic Analysis of ART Architectures', in IJCNN'01:International Joint Conference on Neural Networks, Washington, DC, IEEE Press.
21. Healy, M. J. and T. P. Caudell: 2002, 'Aphasie Compressed Representations: A Functorial Semantic Design Principle for Coupled ART Networks', in The 2002 International Joint Conference on Neural Networks (IJCNN'02), Honolulu, (CD-ROM Proceedings), IEEE Press.
22. Healy, M. J. and T. P. Caudell: 2003, 'From Categorical Semantics to Neural Network Design', in The Proceedings of the IJCNN 2003 International Joint Conference on Neural Networks, Portland, OR, 2003 (CD-ROM Proceedings), IEEE Press.
23. Healy, M. J. and T. P. Caudell: 2004, Neural Networks, Knowledge, and Cognition: A Mathematical Semantic Model Based upon Category Theory. Technical Report EECE-TR-04-020, Department of Electrical and Computer Engineering, University of New Mexico.
24. Healy, M. and K. Williamson: 2000, 'Applying Category Theory to Derive Engineering Software from Encoded Knowledge', in Proceedings of the Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000, Iowa City, IA. Published in Lecture Notes in Computer Science, Springer-Verlag.
25. Hebb, D. O.: 1949, The Organization of Behavior, John Wiley and Sons: New York.
26. Heileman, G. L., M. Georgiopoulos, M. J. Healy and S. J. Verzi: 1997, 'The Generalization Capabilities of ARTMAP', in Proceedings of the International Joint Conference on Neural Networks (ICNN97), Houston, TX.
27. Hirsch, J., D. R. Moreno and K. H. S. Kim: 2001, 'Interconnected Large-Scale Systems for Three Fundamental Cognitive Tasks Revealed by Functional mri', Journal of Cognitive Neuroscience 13(3), 389-405.
28. Jullig, R. and Y. V. Srinivas: 1993, 'Diagrams for Software Synthesis', in Proceedings of KBSE '93: The Eighth Knowledge-Based Software Engineering Conference, IEEE Computer Society Press.
29. Kasabov, N. K.: 1996, 'Adaptable Neuro Production Systems', Neurocomputing 13, 95-117.
30. Kelley, W. M., C. N. Macrae, C. L. Wyland, S. Caglar, S. Inati and T. F. Heatherton: 2002, 'Finding the Self? An Event-Related fmri Study', Journal of Cognitive Neuroscience 14(5), 785-794.
31. Lawvere, F. W. and S. H. Schanuel: 1997, Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press.
32. Mac Lane, S.: 1971, Categories for the Working Mathematician, Springer. This is the standard reference for mathematicians, written by one of the two co-discoverors of category theory (S. Eilenberg being the other).
33. McClelland, J. L., D. E. Rumelhart and G. E. Hinton: 1986, 'The Appeal of Parallel Distributed Processing', in Parallel Distributed Processing: Explorations in the Microstructure of Cognition, Vol. 1, The MIT Press, pp. 3-44. This volume contains an exposition on bias nodes as a neural mechanism for varying the thresholds of a layer of nodes.
34. McCullough, W. S. and W. Pitts: 1943, 'A Logical Calculus of the Ideas Immanent in Nervous Activity', Bulletin of Mathematical Biophysics 5, 115-133.
35. Meseguer, J.: 1989, 'General logics', in Logic Colloquium '87, Science Publishers B. V. (North-Holland), pp. 275-329.
36. Mitra, S. and S. K. Pal: 1995, 'Fuzzy Multi-Layer Perceptron, Inferencing and Rule Generation', IEEE Transactions on Neural Networks 6, 51-63.
37. Otto, I., P. Grandguillaume, L. Boutkhil, Y. Burnod and E. Guigon: 1992, 'Direct and Indirect Cooperation between Temporal and Parietal Networks for Invariant Visual Recognition', Journal of Cognitive Neuroscience 4(1), 35-57.
38. Perry, C.: 1999, 'Testing a Computational Account of Category-Specific Deficits', Journal of Cognitive Neuroscience 11(3), 312-320.
39. Pierce, B. C.: 1991, Basic Category Theory for Computer Scientists, MIT Press.
40. Pinkas, G.: 1995, 'Reasoning, Nonmonotonicity and Learning in Connectionist Networks that Capture Prepositional Knowledge', Artificial Intelligence 77, 203-247.
41. Rao, S. C., G. Ranier and E. K. Miller: 1997, 'Integration of What and Where in the Primate Prefrontal Cortex', Science 276, 821-824.
42. Riesenhuber, M. and T. Poggio: 1999, 'Are Cortical Models Really Bound by the Binding Problem?', Neuron 24, 87-93.
43. Rosen, R.: 1958a, 'A Relational Theory of Biological Systems', Bulletin of Mathematical Biophysics 20, 245-260.
44. Rosen, R.: 1958b, 'The Representation of Biological Systems from the Standpoint of the Theory of Categories', Bulletin of Mathematical Biophysics 20, 317-341.
45. Sima, J.: 1995, 'Neural Expert Systems', Neural Networks 8, 261-271.
46. Squire, L. R. and S. Zola-Morgan: 1991, 'The Medial Temporal Lobe Memory System', Science 253, 1380-1385.
47. Srinivas, Y. V. and R. Jullig: 1995, 'Specware™: Formal Support for Composing Software', in Proceedings of the Conference of Mathematics of Program Construction.
48. Stoltenberg-Hansen, V., I. Lindstroem, and E. R. Griffor: 1994, Mathematical Theory of Domains, Cambridge University Press.
49. Tse, T. H.: 1991, A Unifying Framework for Structured Analysis and Design Models: An Approach using Initial Algebra Semantics and Category Theory, Cambridge University Press.
50. Vickers, S.: 1993, Topology via Logic, Cambridge University Press.
51. Wickelgren, I: 1997, 'Getting a Grip on Working Memory', Science 275, 1580-1582.
52. Williamson, K. and M. Healy: 1997, 'Formally Specifying Engineering Design Rationale', in Proceedings of the Automated Software Engineering Conference-1997.
53. Williamson, K. and M. Healy: 2000, 'Deriving Engineering Software from Requirements', Journal of Intelligent Manufacturing 11(1), 3-28.
54. Williamson, K., M. Healy and R. Barker: 2001, 'Industrial Applications of Software Synthesis via Category Theory-Case Studies using Specware™', Automated Software Engineering 8(1), 7-30.