Issue No. 08 - August (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.153382
<p>The theoretical analysis and derivation of artificial neural systems, which consists essentially of manipulating symbolic mathematical objects according to certain mathematical and biological knowledge, can be done more efficiently with computer assistance by using and extending methods and systems of symbolic computation. After presenting the mathematical characteristics of neural systems and a brief review on Lyapunov stability theory, the authors present some features and capabilities of existing systems and the extension for manipulating objects occurring in the analysis of neural systems. Some strategies and a toolkit developed in MACSYMA for computer-aided analysis and derivation are described. A concrete example is given to demonstrate the derivation of a hybrid neural system, i.e. a system which in its learning rule combines elements of supervised and unsupervised learning. Future work and research directions are indicated.</p>
computer aided analysis and derivation; symbolic mathematical objects manipulation; artificial neural systems; biological knowledge; symbolic computation; Lyapunov stability theory; toolkit; MACSYMA; learning rule; artificial intelligence; computer aided analysis; Lyapunov methods; mathematics computing; neural nets; symbol manipulation
B. Schurmann and D. Wang, "Computer Aided Analysis and Derivation for Artificial Neural Systems," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 728-735, 1992.