Connexions

Sections
You are here: Home » Content » A Neural Network Model in ACL2

About: A Neural Network Model in ACL2

Module by: Jacob Schrum

View content

Metadata

Name: A Neural Network Model in ACL2
ID: m15107
Language: English (en)
Summary: 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.
Subject: Mathematics and Statistics, Science and Technology
Keywords: acl2, computer science, feed forward, formal, functional programming, function approximation, lisp, neural network, neuron, node, proof, synapse, theorem, theorem prover, theorem proving
Document Type: -//CNX//DTD CNXML 0.5 plus MathML//EN
License: Creative Commons Attribution License (CC-BY 2.0)
Authors: Jacob Schrum (he_deceives@hotmail.com)
Copyright Holders: Jacob Schrum (he_deceives@hotmail.com)
Maintainers: Jacob Schrum (he_deceives@hotmail.com)
Version: 1.1 (history)
Created: Sep 16, 2007 4:14 am GMT-5
Revised: Sep 16, 2007 9:30 am GMT-5

Version History

Version: 1.1 Sep 16, 2007 9:30 am GMT-5 by Jacob Schrum
Changes: 
First publish

How to Reuse and Attribute This Content

If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.

If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 2.0), you must include

  • the authors' names: Jacob Schrum
  • the title of the work: A Neural Network Model in ACL2
  • the Connexions URL where the work can be found: http://cnx.org/content/m15107/1.1/

See the citation section below for examples you can copy.

How to Cite and Attribute This Content

The following citation styles comply with the attribution requirements for the license (CC-BY 2.0) of this work:

American Chemical Society (ACS) Style Guide:

Schrum, J. A Neural Network Model in ACL2, Connexions Web site. http://cnx.org/content/m15107/1.1/, Sep 16, 2007.

American Medical Assocation (AMA) Manual of Style:

Schrum J. A Neural Network Model in ACL2 [Connexions Web site]. September 16, 2007. Available at: http://cnx.org/content/m15107/1.1/.

American Psychological Assocation (APA) Publication Manual:

Schrum, J. (2007, September 16). A Neural Network Model in ACL2. Retrieved from the Connexions Web site: http://cnx.org/content/m15107/1.1/

Chicago Manual of Style (Bibliography):

Schrum, Jacob. "A Neural Network Model in ACL2." Connexions. September 16, 2007. http://cnx.org/content/m15107/1.1/.

Chicago Manual of Style (Note):

Jacob Schrum, "A Neural Network Model in ACL2," Connexions, September 16, 2007, http://cnx.org/content/m15107/1.1/.

Chicago Manual of Style (Reference, in Author-Date style):

Schrum, J. 2007. A Neural Network Model in ACL2. Connexions, September 16, 2007. http://cnx.org/content/m15107/1.1/.

Modern Languages Association (MLA) Style Manual:

Schrum, Jacob. A Neural Network Model in ACL2. Connexions. 16 Sep. 2007 <http://cnx.org/content/m15107/1.1/>.