A topological semantics for rule extraction with neural networks

Connection Science

Volumn 11, Issue 1, 1999, Pages 91-113

  Healy, Michael J ^a  

^a BOEING COMPANY   (United States)

Author keywords

Continuous functions; Formal semantics; Logic; Model theory; Neural networks; Rule learning; Topological spaces; Topological systems

Indexed keywords

EID: 0033243404     PISSN: 09540091     EISSN: None     Source Type: Journal    
DOI: 10.1080/095400999116377     Document Type: Article

References (28)

1. Andrews, P.B. (1986) An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. New York: Academic Press.
2. Andrews, R., Diederich, J. & Tickle, A.B. (1995) Survey and critique of techniques for extracting rules from trained artificial neural networks. Knowledge-Based Systems, 8, 373-389.
3. Arbib, M.A. (1987) Brains, Machines, and Mathematics. New York: Springer.
4. Bellman, K.L. (1990) The modeling issues inherent in testing and evaluating knowledge-based systems. Expert Systems with Applications, 1, 199-215.
5. Boneh, D. & Lipton, R.J. (1993) Amplification of weak learning under the uniform distribution. Proceedings of the 6th Annual ACM Conference on Computational Learning Theory. Santa Cruz, CA, pp. 347-351. New York: The Association for Computing Machinery.
6. Carpenter, G.A. & Grossberg, S. (1987) A massively parallel architecture for a self-organizing neural pattern recognition machine. Computer Vision, Graphics, and Image Processing, 37, 54-115.
7. Carpenter, G.A., Grossberg, S., Markuzon, N., Reynolds, J.H. & Rosen, D.B. (1992) Fuzzy ARTMAP: a neural network architecture for incremental supervised learning of analog multidimensional maps. IEEE Transactions on Neural Networks, 3, 698-713.
8. Craven, M.W. & Shavlik, J.W. (1993) Learning symbolic rules using artificial neural networks. Proceedings of the 10th International Machine Learning Conference. Amherst, MA, pp. 73-80. San Mateo, CA: Morgan Kaufmann.
9. Fu, L.M. (1992) A neural network model for learning rule-based systems. Proceedings of the International Joint Conference on Neural Networks (IJCNN '92). Baltimore, June, 1, pp. 343-348.
10. Georgiopoulos, M., Heileman, G.L. & Huang, J. (1991) Properties of learning related to pattern diversity in ART1. Neural Networks, 4, 751-757.
11. Healy, M.J. (1997) Continuous functions and neural network semantics. Nonlinear Analysis, 30, 1335-1341. (Proceedings of the 2nd World Congress of Nonlinear Analysts (WCNA96). Athens, Greece, 1996.)
12. Healy, M.J. (1997) Continuous functions and neural network semantics. Nonlinear Analysis, 30, 1335-1341. (Proceedings of the 2nd World Congress of Nonlinear Analysts (WCNA96). Athens, Greece, 1996.)
13. Healy, M.J. & Caudell, T.P. (1997) Acquiring rule sets as a product of learning in a logical neural architecture. IEEE Transactions on Neural Networks, 8, 461-475.
14. Healy, M.J. & Caudell, T.P. (1998) Guaranteed two-pass convergence for supervised and inferential learning. IEEE Transactions on Neural Networks, 9, 195-204.
15. Heileman, G.L., Georgiopoulos, M., Healy, M.J. & Verzi, S.J. (1997) The generalization capabilities of ARTMAP. Proceedings of the International Conference on Neural Networks. Houston, June.
16. Jappy, P., Nock, R. & Gascuel, O. (1996) Negative robust learning results for Horn Clause programs. Machine Learning, Proceedings of the 13th International Conference (ICML'96). Bari, Italy, pp. 258-265. San Francisco: Morgan Kaufmann.
17. Kasabov, N.K. (1996) Adaptable neuro production systems. Neurocomputing, 13, 95-117.
18. Kearns, M.J. & Vazirani, U.V. (1994) An Introduction to Computational Learning Theory. Cambridge, MA: The MIT Press.
19. Kelley, J.L. (1975) General Topology, Reprint of the 1955 Van Nostrand Edn. New York: Springer.
20. Lloyd, J.W. (1984) Foundations of Logic Programming. New York: Springer.
21. McCullough, W.S. & Pitts, W. (1943) A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics, 5, 115-133.
22. Mitra, S. & Pal, S.K (1995) Fuzzy multi-layer perceptron, inferencing and rule generation. IEEE Transactions on Neural Networks, 6, 51-63.
23. Nguyen, T.A., Perkins, W.A., Laffey, T.J. & Pecora, D. (1987) Knowledge base verification. AI Magazine, Summer issue, pp. 69-75.
24. Pinkas, G. (1995) Reasoning, nonmonotonicity and learning in connectionist networks that capture prepositional knowledge. Artificial Intelligence, 77, 203-247.
25. Setiono, R. (1997) Extracting rules from neural networks by pruning and hidden-unit splitting. Neural Computation, 9, 205-225.
26. Sima, J. (1995) Neural expert systems. Neural Networks, 8, 261-271.
27. Towell, G. & Shavlik, J. (1993) The extraction of refined rules from knowledge based neural networks. Machine Learning, 131, 71-101.
28. Vickers, S. (1993) Topology via Logic, 2nd Edn. Cambridge: Cambridge University Press.