A Neural Network Model in ACL2
No Strings Attached
- Author:
- Jacob Schrum
- Subject:
- Mathematics and Statistics, Science and Technology
- Institution Name:
- Connexions
- Collection:
- Connexions
- Grade Level:
- Post-secondary
- Abstract:
A model of neural networks is developed in the formal description language ACL2 (A Computational Logic for Applicative Common Lisp). ACL2 is both a purely functional variant of the lisp programming language and an automated theorem proving engine. The neural network model proposed describes feed-forward neural networks. The model is validated in that rules of structural transformation under which the input-output mapping of the network remains constant are formally proven.
- Course Type:
- Learning Module
- Languages:
- English
- Material Type:
- Readings
- Media Format:
- Graphics/Photos, Text/HTML, Downloadable docs
- Conditions of Use:
-
Creative Commons Attribution 2.0
Comments