ftp.pasteur.org/FAQ//ftp-pasteur-org-FAQ.zip/FAQ/ai-faq/neural-nets/part1

Internet Message Format | 2003-01-01 | 107.7 KB

From: [e-mail] (Warren Sarle)
Newsgroups: comp.ai.neural-nets,comp.answers,news.answers
Subject: comp.ai.neural-nets FAQ, Part 1 of 7: Introduction
Supersedes: <[e-mail]>
Followup-To: comp.ai.neural-nets
Date: 30 Dec 2002 20:49:21 GMT
Organization: SAS Institute Inc., Cary, NC, USA
Lines: 2268
Approved: [e-mail]
Expires: 3 Feb 2003 20:49:20 GMT
Message-ID: <[e-mail]>
Reply-To: [e-mail] (Warren Sarle)
NNTP-Posting-Host: hotellng.unx.sas.com
X-Trace: license1.unx.sas.com 1041281361 4884 10.28.2.188 (30 Dec 2002 20:49:21 GMT)
X-Complaints-To: [e-mail]
NNTP-Posting-Date: 30 Dec 2002 20:49:21 GMT
Keywords: frequently asked questions, answers
Originator: [e-mail]
Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!newsfeed.stanford.edu!newsfeed.berkeley.edu!news-hog.berkeley.edu!ucberkeley!newshub.sdsu.edu!news-xfer.cox.net!news.lightlink.com!vienna7.his.com!attws1!ip.att.net!lamb.sas.com!newshost!hotellng.unx.sas.com!saswss
Xref: senator-bedfellow.mit.edu comp.ai.neural-nets:64336 comp.answers:52354 news.answers:243493

Archive-name: ai-faq/neural-nets/part1
Last-modified: 2002-05-17
URL: ftp://ftp.sas.com/pub/neural/FAQ.html
Maintainer: [e-mail] (Warren S. Sarle)

Copyright 1997, 1998, 1999, 2000, 2001, 2002 by Warren S. Sarle, Cary, NC,
USA.

  ---------------------------------------------------------------
    Additions, corrections, or improvements are always welcome.
    Anybody who is willing to contribute any information,
    please email me; if it is relevant, I will incorporate it.

    The monthly posting departs around the 28th of every month.
  ---------------------------------------------------------------

This is the first of seven parts of a monthly posting to the Usenet
newsgroup comp.ai.neural-nets (as well as comp.answers and news.answers,
where it should be findable at any time). Its purpose is to provide basic
information for individuals who are new to the field of neural networks or
who are just beginning to read this group. It will help to avoid lengthy
discussion of questions that often arise for beginners.

   SO, PLEASE, SEARCH THIS POSTING FIRST IF YOU HAVE A QUESTION
                           and
   DON'T POST ANSWERS TO FAQs: POINT THE ASKER TO THIS POSTING

The latest version of the FAQ is available as a hypertext document, readable
by any WWW (World Wide Web) browser such as Netscape, under the URL:
ftp://ftp.sas.com/pub/neural/FAQ.html.

If you are reading the version of the FAQ posted in comp.ai.neural-nets, be
sure to view it with a monospace font such as Courier. If you view it with a
proportional font, tables and formulas will be mangled. Some newsreaders or
WWW news services garble plain text. If you have trouble viewing plain text,
try the HTML version described above.

All seven parts of the FAQ can be downloaded from either of the following
URLS:

   ftp://ftp.sas.com/pub/neural/FAQ.html.zip
   ftp://ftp.sas.com/pub/neural/FAQ.txt.zip

These postings are archived in the periodic posting archive on host
rtfm.mit.edu (and on some other hosts as well). Look in the anonymous ftp
directory "/pub/usenet/news.answers/ai-faq/neural-nets" under the file names
"part1", "part2", ... "part7". If you do not have anonymous ftp access, you
can access the archives by mail server as well. Send an E-mail message to
[e-mail] with "help" and "index" in the body on separate
lines for more information.

For those of you who read this FAQ anywhere other than in Usenet: To read
comp.ai.neural-nets (or post articles to it) you need Usenet News access.
Try the commands, 'xrn', 'rn', 'nn', or 'trn' on your Unix machine, 'news'
on your VMS machine, or ask a local guru. WWW browsers are often set up for
Usenet access, too--try the URL news:comp.ai.neural-nets.

The FAQ posting departs to comp.ai.neural-nets around the 28th of every
month. It is also sent to the groups comp.answers and news.answers where it
should be available at any time (ask your news manager). The FAQ posting,
like any other posting, may a take a few days to find its way over Usenet to
your site. Such delays are especially common outside of North America.

All changes to the FAQ from the previous month are shown in another monthly
posting having the subject `changes to "comp.ai.neural-nets FAQ" -- monthly
posting', which immediately follows the FAQ posting. The `changes' post
contains the full text of all changes and can also be found at
ftp://ftp.sas.com/pub/neural/changes.txt . There is also a weekly post with
the subject "comp.ai.neural-nets FAQ: weekly reminder" that briefly
describes any major changes to the FAQ.

This FAQ is not meant to discuss any topic exhaustively. It is neither a
tutorial nor a textbook, but should be viewed as a supplement to the many
excellent books and online resources described in Part 4: Books, data, etc..

Disclaimer:

   This posting is provided 'as is'. No warranty whatsoever is expressed or
   implied, in particular, no warranty that the information contained herein
   is correct or useful in any way, although both are intended.

To find the answer of question "x", search for the string "Subject: x"

========== Questions ==========
********************************

Part 1: Introduction

   What is this newsgroup for? How shall it be used?
   Where is comp.ai.neural-nets archived?
   What if my question is not answered in the FAQ?
   May I copy this FAQ?
   What is a neural network (NN)?
   Where can I find a simple introduction to NNs?
   Are there any online books about NNs?
   What can you do with an NN and what not?
   Who is concerned with NNs?
   How many kinds of NNs exist?
   How many kinds of Kohonen networks exist? (And what is k-means?)
      VQ: Vector Quantization and k-means
      SOM: Self-Organizing Map
      LVQ: Learning Vector Quantization
      Other Kohonen networks and references
   How are layers counted?
   What are cases and variables?
   What are the population, sample, training set, design set, validation
   set, and test set?
   How are NNs related to statistical methods?

Part 2: Learning

   What are combination, activation, error, and objective functions?
   What are batch, incremental, on-line, off-line, deterministic,
   stochastic, adaptive, instantaneous, pattern, epoch, constructive, and
   sequential learning?
   What is backprop?
   What learning rate should be used for backprop?
   What are conjugate gradients, Levenberg-Marquardt, etc.?
   How does ill-conditioning affect NN training?
   How should categories be encoded?
   Why not code binary inputs as 0 and 1?
   Why use a bias/threshold?
   Why use activation functions?
   How to avoid overflow in the logistic function?
   What is a softmax activation function?
   What is the curse of dimensionality?
   How do MLPs compare with RBFs?
   What are OLS and subset/stepwise regression?
   Should I normalize/standardize/rescale the data?
   Should I nonlinearly transform the data?
   How to measure importance of inputs?
   What is ART?
   What is PNN?
   What is GRNN?
   What does unsupervised learning learn?
   Help! My NN won't learn! What should I do?

Part 3: Generalization

   How is generalization possible?
   How does noise affect generalization?
   What is overfitting and how can I avoid it?
   What is jitter? (Training with noise)
   What is early stopping?
   What is weight decay?
   What is Bayesian learning?
   How to combine networks?
   How many hidden layers should I use?
   How many hidden units should I use?
   How can generalization error be estimated?
   What are cross-validation and bootstrapping?
   How to compute prediction and confidence intervals (error bars)?

Part 4: Books, data, etc.

   Books and articles about Neural Networks?
   Journals and magazines about Neural Networks?
   Conferences and Workshops on Neural Networks?
   Neural Network Associations?
   Mailing lists, BBS, CD-ROM?
   How to benchmark learning methods?
   Databases for experimentation with NNs?

Part 5: Free software

   Source code on the web?
   Freeware and shareware packages for NN simulation?

Part 6: Commercial software

   Commercial software packages for NN simulation?

Part 7: Hardware and miscellaneous

   Neural Network hardware?
   What are some applications of NNs?
      General
      Agriculture
      Chemistry
      Face recognition
      Finance and economics
      Games, sports, gambling
      Industry
      Materials science
      Medicine
      Music
      Robotics
      Weather forecasting
      Weird
   What to do with missing/incomplete data?
   How to forecast time series (temporal sequences)?
   How to learn an inverse of a function?
   How to get invariant recognition of images under translation, rotation,
   etc.?
   How to recognize handwritten characters?
   What about pulsed or spiking NNs?
   What about Genetic Algorithms and Evolutionary Computation?
   What about Fuzzy Logic?
   Unanswered FAQs
   Other NN links?

------------------------------------------------------------------------

Subject: What is this newsgroup for? How shall it be
====================================================
used?
=====

The newsgroup comp.ai.neural-nets is intended as a forum for people who want
to use or explore the capabilities of Artificial Neural Networks or
Neural-Network-like structures.

Posts should be in plain-text format, not postscript, html, rtf, TEX, MIME,
or any word-processor format.

Do not use vcards or other excessively long signatures.

Please do not post homework or take-home exam questions. Please do not post
a long source-code listing and ask readers to debug it. And note that chain
letters and other get-rich-quick pyramid schemes are illegal in the USA; for
example, see http://www.usps.gov/websites/depart/inspect/chainlet.htm

There should be the following types of articles in this newsgroup:

1. Requests
+++++++++++

   Requests are articles of the form "I am looking for X", where X
   is something public like a book, an article, a piece of software. The
   most important about such a request is to be as specific as possible!

   If multiple different answers can be expected, the person making the
   request should prepare to make a summary of the answers he/she got and
   announce to do so with a phrase like "Please reply by email,
   I'll summarize to the group" at the end of the posting.

   The Subject line of the posting should then be something like
   "Request: X"

2. Questions
++++++++++++

   As opposed to requests, questions ask for a larger piece of information
   or a more or less detailed explanation of something. To avoid lots of
   redundant traffic it is important that the poster provides with the
   question all information s/he already has about the subject asked and
   state the actual question as precise and narrow as possible. The poster
   should prepare to make a summary of the answers s/he got and announce to
   do so with a phrase like "Please reply by email, I'll
   summarize to the group" at the end of the posting.

   The Subject line of the posting should be something like "Question:
   this-and-that" or have the form of a question (i.e., end with a
   question mark)

   Students: please do not ask comp.ai.neural-net readers to do your
   homework or take-home exams for you.

3. Answers
++++++++++

   These are reactions to questions or requests. If an answer is too
   specific to be of general interest, or if a summary was announced with
   the question or request, the answer should be e-mailed to the poster, not
   posted to the newsgroup.

   Most news-reader software automatically provides a subject line beginning
   with "Re:" followed by the subject of the article which is being
   followed-up. Note that sometimes longer threads of discussion evolve from
   an answer to a question or request. In this case posters should change
   the subject line suitably as soon as the topic goes too far away from the
   one announced in the original subject line. You can still carry along the
   old subject in parentheses in the form "Re: new subject (was:
   old subject)"

4. Summaries
++++++++++++

   In all cases of requests or questions the answers for which can be
   assumed to be of some general interest, the poster of the request or
   question shall summarize the answers he/she received. Such a summary
   should be announced in the original posting of the question or request
   with a phrase like "Please answer by email, I'll
   summarize"

   In such a case, people who answer to a question should NOT post their
   answer to the newsgroup but instead mail them to the poster of the
   question who collects and reviews them. After about 5 to 20 days after
   the original posting, its poster should make the summary of answers and
   post it to the newsgroup.

   Some care should be invested into a summary:
    o simple concatenation of all the answers is not enough: instead,
      redundancies, irrelevancies, verbosities, and errors should be
      filtered out (as well as possible)
    o the answers should be separated clearly
    o the contributors of the individual answers should be identifiable
      (unless they requested to remain anonymous [yes, that happens])
    o the summary should start with the "quintessence" of the answers, as
      seen by the original poster
    o A summary should, when posted, clearly be indicated to be one by
      giving it a Subject line starting with "SUMMARY:"
   Note that a good summary is pure gold for the rest of the newsgroup
   community, so summary work will be most appreciated by all of us. Good
   summaries are more valuable than any moderator ! :-)

5. Announcements
++++++++++++++++

   Some articles never need any public reaction. These are called
   announcements (for instance for a workshop, conference or the
   availability of some technical report or software system).

   Announcements should be clearly indicated to be such by giving them a
   subject line of the form "Announcement: this-and-that"

6. Reports
++++++++++

   Sometimes people spontaneously want to report something to the newsgroup.
   This might be special experiences with some software, results of own
   experiments or conceptual work, or especially interesting information
   from somewhere else.

   Reports should be clearly indicated to be such by giving them a subject
   line of the form "Report: this-and-that"

7. Discussions
++++++++++++++

   An especially valuable possibility of Usenet is of course that of
   discussing a certain topic with hundreds of potential participants. All
   traffic in the newsgroup that can not be subsumed under one of the above
   categories should belong to a discussion.

   If somebody explicitly wants to start a discussion, he/she can do so by
   giving the posting a subject line of the form "Discussion:
   this-and-that"

   It is quite difficult to keep a discussion from drifting into chaos, but,
   unfortunately, as many many other newsgroups show there seems to be no
   secure way to avoid this. On the other hand, comp.ai.neural-nets has not
   had many problems with this effect in the past, so let's just go and
   hope...

8. Jobs Ads
+++++++++++

   Advertisements for jobs requiring expertise in artificial neural networks
   are appropriate in comp.ai.neural-nets. Job ads should be clearly
   indicated to be such by giving them a subject line of the form "Job:
   this-and-that". It is also useful to include the
   country-state-city abbreviations that are conventional in
   misc.jobs.offered, such as: "Job: US-NY-NYC Neural network
   engineer". If an employer has more than one job opening, all such
   openings should be listed in a single post, not multiple posts. Job ads
   should not be reposted more than once per month.

------------------------------------------------------------------------

Subject: Where is comp.ai.neural-nets archived?
================================================

The following archives are available for comp.ai.neural-nets:

 o http://groups.google.com, formerly Deja News. Does not work very well
   yet.
 o 94-09-14 through 97-08-16
   ftp://ftp.cs.cmu.edu/user/ai/pubs/news/comp.ai.neural-nets

For more information on newsgroup archives, see
http://starbase.neosoft.com/~claird/news.lists/newsgroup_archives.html
or http://www.pitt.edu/~grouprev/Usenet/Archive-List/newsgroup_archives.html

------------------------------------------------------------------------

Subject: What if my question is not answered in the FAQ?
========================================================

If your question is not answered in the FAQ, you can try a web search. The
following search engines are especially useful:
http://www.google.com/
http://search.yahoo.com/
http://www.altavista.com/
http://citeseer.nj.nec.com/cs

Another excellent web site on NNs is Donald Tveter's Backpropagator's Review
at http://www.dontveter.com/bpr/bpr.html or
http://gannoo.uce.ac.uk/bpr/bpr.html.

For feedforward NNs, the best reference book is:

   Bishop, C.M. (1995), Neural Networks for Pattern Recognition, Oxford:
   Oxford University Press.

If the answer isn't in Bishop, then for more theoretical questions try:

   Ripley, B.D. (1996) Pattern Recognition and Neural Networks, Cambridge:
   Cambridge University Press.

For more practical questions about MLP training, try:

   Masters, T. (1993). Practical Neural Network Recipes in C++, San Diego:
   Academic Press.

   Reed, R.D., and Marks, R.J, II (1999), Neural Smithing: Supervised
   Learning in Feedforward Artificial Neural Networks, Cambridge, MA: The
   MIT Press.

There are many more excellent books and web sites listed in the Neural
Network FAQ, Part 4: Books, data, etc.

------------------------------------------------------------------------

Subject: May I copy this FAQ?
=============================

The intent in providing a FAQ is to make the information freely available to
whoever needs it. You may copy all or part of the FAQ, but please be sure to
include a reference to the URL of the master copy,
ftp://ftp.sas.com/pub/neural/FAQ.html, and do not sell copies of the FAQ. If
you want to include information from the FAQ in your own web site, it is
better to include links to the master copy rather than to copy text from the
FAQ to your web pages, because various answers in the FAQ are updated at
unpredictable times. To cite the FAQ in an academic-style bibliography, use
something along the lines of:

   Sarle, W.S., ed. (1997), Neural Network FAQ, part 1 of 7: Introduction,
   periodic posting to the Usenet newsgroup comp.ai.neural-nets, URL:
   ftp://ftp.sas.com/pub/neural/FAQ.html

------------------------------------------------------------------------

Subject: What is a neural network (NN)?
=======================================

   The question 'What is a neural network?' is ill-posed.





             - Pinkus
   (1999)

First of all, when we are talking about a neural network, we should more
properly say "artificial neural network" (ANN), because that is what we mean
most of the time in comp.ai.neural-nets. Biological neural networks are much
more complicated than the mathematical models we use for ANNs. But it is
customary to be lazy and drop the "A" or the "artificial".

There is no universally accepted definition of an NN. But perhaps most
people in the field would agree that an NN is a network of many simple
processors ("units"), each possibly having a small amount of local memory.
The units are connected by communication channels ("connections") which
usually carry numeric (as opposed to symbolic) data, encoded by any of
various means. The units operate only on their local data and on the inputs
they receive via the connections. The restriction to local operations is
often relaxed during training.

Some NNs are models of biological neural networks and some are not, but
historically, much of the inspiration for the field of NNs came from the
desire to produce artificial systems capable of sophisticated, perhaps
"intelligent", computations similar to those that the human brain routinely
performs, and thereby possibly to enhance our understanding of the human
brain.

Most NNs have some sort of "training" rule whereby the weights of
connections are adjusted on the basis of data. In other words, NNs "learn"
from examples, as children learn to distinguish dogs from cats based on
examples of dogs and cats. If trained carefully, NNs may exhibit some
capability for generalization beyond the training data, that is, to produce
approximately correct results for new cases that were not used for training.

NNs normally have great potential for parallelism, since the computations of
the components are largely independent of each other. Some people regard
massive parallelism and high connectivity to be defining characteristics of
NNs, but such requirements rule out various simple models, such as simple
linear regression (a minimal feedforward net with only two units plus bias),
which are usefully regarded as special cases of NNs.

Here is a sampling of definitions from the books on the FAQ maintainer's
shelf. None will please everyone. Perhaps for that reason many NN textbooks
do not explicitly define neural networks.

According to the DARPA Neural Network Study (1988, AFCEA International
Press, p. 60):

   ... a neural network is a system composed of many simple processing
   elements operating in parallel whose function is determined by
   network structure, connection strengths, and the processing performed
   at computing elements or nodes.

According to Haykin (1994), p. 2:

   A neural network is a massively parallel distributed processor that
   has a natural propensity for storing experiential knowledge and
   making it available for use. It resembles the brain in two respects:

   1. Knowledge is acquired by the network through a learning process.
   2. Interneuron connection strengths known as synaptic weights are
      used to store the knowledge.

According to Nigrin (1993), p. 11:

   A neural network is a circuit composed of a very large number of
   simple processing elements that are neurally based. Each element
   operates only on local information. Furthermore each element operates
   asynchronously; thus there is no overall system clock.

According to Zurada (1992), p. xv:

   Artificial neural systems, or neural networks, are physical cellular
   systems which can acquire, store, and utilize experiential knowledge.

References:

   Pinkus, A. (1999), "Approximation theory of the MLP model in neural
   networks," Acta Numerica, 8, 143-196.

   Haykin, S. (1994), Neural Networks: A Comprehensive Foundation, NY:
   Macmillan.

   Nigrin, A. (1993), Neural Networks for Pattern Recognition, Cambridge,
   MA: The MIT Press.

   Zurada, J.M. (1992), Introduction To Artificial Neural Systems, Boston:
   PWS Publishing Company.

------------------------------------------------------------------------

Subject: Where can I find a simple introduction to NNs?
=======================================================

Several excellent introductory books on NNs are listed in part 4 of the FAQ
under "Books and articles about Neural Networks?" If you want a book with
minimal math, see "The best introductory book for business executives."

Dr. Leslie Smith has a brief on-line introduction to NNs with examples and
diagrams at http://www.cs.stir.ac.uk/~lss/NNIntro/InvSlides.html.

If you are a Java enthusiast, see Jochen Fr÷hlich's diploma at
http://rfhs8012.fh-regensburg.de/~saj39122/jfroehl/diplom/e-index.html

For a more detailed introduction, see Donald Tveter's excellent
Backpropagator's Review at http://www.dontveter.com/bpr/bpr.html or
http://gannoo.uce.ac.uk/bpr/bpr.html, which contains both answers to
additional FAQs and an annotated neural net bibliography emphasizing on-line
articles.

StatSoft Inc. has an on-line Electronic Statistics Textbook, at
http://www.statsoft.com/textbook/stathome.html that includes a chapter on
neural nets as well as many statistical topics relevant to neural nets.

------------------------------------------------------------------------

Subject: Are there any online books about NNs?
==============================================

Kevin Gurney has on-line a preliminary draft of his book, An Introduction to
Neural Networks, at
http://www.shef.ac.uk/psychology/gurney/notes/index.html The book is now in
print and is one of the better general-purpose introductory textbooks on
NNs. Here is the table of contents from the on-line version:

1. Computers and Symbols versus Nets and Neurons
2. TLUs and vectors - simple learning rules
3. The delta rule
4. Multilayer nets and backpropagation
5. Associative memories - the Hopfield net
6. Hopfield nets (contd.)
7. Kohonen nets
8. Alternative node types
9. Cubic nodes (contd.) and Reward Penalty training
10. Drawing things together - some perspectives

Another on-line book by Ben Kr÷se and Patrick van der Smagt, also called An
Introduction to Neural Networks, can be found at
ftp://ftp.wins.uva.nl/pub/computer-systems/aut-sys/reports/neuro-intro/neuro-intro.ps.gz
or http://www.robotic.dlr.de/Smagt/books/neuro-intro.ps.gz. or
http://www.supelec-rennes.fr/acth/net/neuro-intro.ps.gz
Here is the table of contents:

1. Introduction
2. Fundamantals
3. Perceptron and Adaline
4. Back-Propagation
5. Recurrent Networks
6. Self-Organising Networks
7. Reinforcement Learning
8. Robot Control
9. Vision
10. General Purpose Hardware
11. Dedicated Neuro-Hardware

------------------------------------------------------------------------

Subject: What can you do with an NN and what not?
=================================================

In principle, NNs can compute any computable function, i.e., they can do
everything a normal digital computer can do (Valiant, 1988; Siegelmann and
Sontag, 1999; Orponen, 2000; Sima and Orponen, 2001), or perhaps even more,
under some assumptions of doubtful practicality (see Siegelmann, 1998, but
also Hadley, 1999).

Practical applications of NNs most often employ supervised learning. For
supervised learning, you must provide training data that includes both the
input and the desired result (the target value). After successful training,
you can present input data alone to the NN (that is, input data without the
desired result), and the NN will compute an output value that approximates
the desired result. However, for training to be successful, you may need
lots of training data and lots of computer time to do the training. In many
applications, such as image and text processing, you will have to do a lot
of work to select appropriate input data and to code the data as numeric
values.

In practice, NNs are especially useful for classification and function
approximation/mapping problems which are tolerant of some imprecision, which
have lots of training data available, but to which hard and fast rules (such
as those that might be used in an expert system) cannot easily be applied.
Almost any finite-dimensional vector function on a compact set can be
approximated to arbitrary precision by feedforward NNs (which are the type
most often used in practical applications) if you have enough data and
enough computing resources.

To be somewhat more precise, feedforward networks with a single hidden layer
and trained by least-squares are statistically consistent estimators of
arbitrary square-integrable regression functions under certain
practically-satisfiable assumptions regarding sampling, target noise, number
of hidden units, size of weights, and form of hidden-unit activation
function (White, 1990). Such networks can also be trained as statistically
consistent estimators of derivatives of regression functions (White and
Gallant, 1992) and quantiles of the conditional noise distribution (White,
1992a). Feedforward networks with a single hidden layer using threshold or
sigmoid activation functions are universally consistent estimators of binary
classifications (Farag≤ and Lugosi, 1993; Lugosi and Zeger 1995; Devroye,
Gy÷rfi, and Lugosi, 1996) under similar assumptions. Note that these results
are stronger than the universal approximation theorems that merely show the
existence of weights for arbitrarily accurate approximations, without
demonstrating that such weights can be obtained by learning.

Unfortunately, the above consistency results depend on one impractical
assumption: that the networks are trained by an error (L_p error or
misclassification rate) minimization technique that comes arbitrarily close
to the global minimum. Such minimization is computationally intractable
except in small or simple problems (Blum and Rivest, 1989; Judd, 1990). In
practice, however, you can usually get good results without doing a
full-blown global optimization; e.g., using multiple (say, 10 to 1000)
random weight initializations is usually sufficient.

One example of a function that a typical neural net cannot learn is Y=1/X
on the open interval (0,1). An open interval is not a compact set. With any
bounded output activation function, the error will get arbitrarily large as
the input approaches zero. Of course, you could make the output activation
function a reciprocal function and easily get a perfect fit, but neural
networks are most often used in situations where you do not have enough
prior knowledge to set the activation function in such a clever way. There
are also many other important problems that are so difficult that a neural
network will be unable to learn them without memorizing the entire training
set, such as:

 o Predicting random or pseudo-random numbers.
 o Factoring large integers.
 o Determing whether a large integer is prime or composite.
 o Decrypting anything encrypted by a good algorithm.

And it is important to understand that there are no methods for training NNs
that can magically create information that is not contained in the training
data.

Feedforward NNs are restricted to finite-dimensional input and output
spaces. Recurrent NNs can in theory process arbitrarily long strings of
numbers or symbols. But training recurrent NNs has posed much more serious
practical difficulties than training feedforward networks. NNs are, at least
today, difficult to apply successfully to problems that concern manipulation
of symbols and rules, but much research is being done.

There have been attempts to pack recursive structures into
finite-dimensional real vectors (Blair, 1997; Pollack, 1990; Chalmers, 1990;
Chrisman, 1991; Plate, 1994; Hammerton, 1998). Obviously, finite precision
limits how far the recursion can go (Hadley, 1999). The practicality of such
methods is open to debate.

As for simulating human consciousness and emotion, that's still in the realm
of science fiction. Consciousness is still one of the world's great
mysteries. Artificial NNs may be useful for modeling some aspects of or
prerequisites for consciousness, such as perception and cognition, but ANNs
provide no insight so far into what Chalmers (1996, p. xi) calls the "hard
problem":

   Many books and articles on consciousness have appeared in the past
   few years, and one might think we are making progress. But on a
   closer look, most of this work leaves the hardest problems about
   consciousness untouched. Often, such work addresses what might be
   called the "easy problems" of consciousness: How does the brain
   process environmental stimulation? How does it integrate information?
   How do we produce reports on internal states? These are important
   questions, but to answer them is not to solve the hard problem: Why
   is all this processing accompanied by an experienced inner life?

For more information on consciousness, see the on-line journal Psyche at
http://psyche.cs.monash.edu.au/index.html.

For examples of specific applications of NNs, see What are some applications
of NNs?

References:

   Blair, A.D. (1997), "Scaling Up RAAMs," Brandeis University Computer
   Science Technical Report CS-97-192,
   http://www.demo.cs.brandeis.edu/papers/long.html#sur97

   Blum, A., and Rivest, R.L. (1989), "Training a 3-node neural network is
   NP-complete," in Touretzky, D.S. (ed.), Advances in Neural Information
   Processing Systems 1, San Mateo, CA: Morgan Kaufmann, 494-501.

   Chalmers, D.J. (1990), "Syntactic Transformations on Distributed
   Representations," Connection Science, 2, 53-62,
   http://ling.ucsc.edu/~chalmers/papers/transformations.ps

   Chalmers, D.J. (1996), The Conscious Mind: In Search of a Fundamental
   Theory, NY: Oxford University Press.

   Chrisman, L. (1991), "Learning Recursive Distributed Representations for
   Holistic Computation", Connection Science, 3, 345-366,
   ftp://reports.adm.cs.cmu.edu/usr/anon/1991/CMU-CS-91-154.ps

   Collier, R. (1994), "An historical overview of natural language
   processing systems that learn," Artificial Intelligence Review, 8(1),
   ??-??.

   Devroye, L., Gy÷rfi, L., and Lugosi, G. (1996), A Probabilistic Theory of
   Pattern Recognition, NY: Springer.

   Farag≤, A. and Lugosi, G. (1993), "Strong Universal Consistency of Neural
   Network Classifiers," IEEE Transactions on Information Theory, 39,
   1146-1151.

   Hadley, R.F. (1999), "Cognition and the computational power of
   connectionist networks," http://www.cs.sfu.ca/~hadley/online.html

   Hammerton, J.A. (1998), "Holistic Computation: Reconstructing a muddled
   concept," Connection Science, 10, 3-19,
   http://www.tardis.ed.ac.uk/~james/CNLP/holcomp.ps.gz

   Judd, J.S. (1990), Neural Network Design and the Complexity of
   Learning, Cambridge, MA: The MIT Press.

   Lugosi, G., and Zeger, K. (1995), "Nonparametric Estimation via Empirical
   Risk Minimization," IEEE Transactions on Information Theory, 41, 677-678.

   Orponen, P. (2000), "An overview of the computational power of recurrent
   neural networks," Finnish AI Conference, Helsinki,
   http://www.math.jyu.fi/~orponen/papers/rnncomp.ps

   Plate, T.A. (1994), Distributed Representations and Nested
   Compositional Structure, Ph.D. Thesis, University of Toronto,
   ftp://ftp.cs.utoronto.ca/pub/tap/

   Pollack, J. B. (1990), "Recursive Distributed Representations,"
   Artificial Intelligence 46, 1, 77-105,
   http://www.demo.cs.brandeis.edu/papers/long.html#raam

   Siegelmann, H.T. (1998), Neural Networks and Analog Computation:
   Beyond the Turing Limit, Boston: Birkhauser, ISBN 0-8176-3949-7,
   http://iew3.technion.ac.il:8080/Home/Users/iehava/book/

   Siegelmann, H.T., and Sontag, E.D. (1999), "Turing Computability with
   Neural Networks," Applied Mathematics Letters, 4, 77-80.

   Sima, J., and Orponen, P. (2001), "Computing with continuous-time
   Liapunov systems," 33rd ACM STOC,
   http://www.math.jyu.fi/~orponen/papers/liapcomp.ps

   Valiant, L. (1988), "Functionality in Neural Nets," Learning and
   Knowledge Acquisition, Proc. AAAI, 629-634.

   White, H. (1990), "Connectionist Nonparametric Regression: Multilayer
   Feedforward Networks Can Learn Arbitrary Mappings," Neural Networks, 3,
   535-550. Reprinted in White (1992b).

   White, H. (1992a), "Nonparametric Estimation of Conditional Quantiles
   Using Neural Networks," in Page, C. and Le Page, R. (eds.), Proceedings
   of the 23rd Sympsium on the Interface: Computing Science and Statistics,
   Alexandria, VA: American Statistical Association, pp. 190-199. Reprinted
   in White (1992b).

   White, H. (1992b), Artificial Neural Networks: Approximation and
   Learning Theory, Blackwell.

   White, H., and Gallant, A.R. (1992), "On Learning the Derivatives of an
   Unknown Mapping with Multilayer Feedforward Networks," Neural Networks,
   5, 129-138. Reprinted in White (1992b).

------------------------------------------------------------------------

Subject: Who is concerned with NNs?
===================================

Neural Networks are interesting for quite a lot of very different people:

 o Computer scientists want to find out about the properties of non-symbolic
   information processing with neural nets and about learning systems in
   general.
 o Statisticians use neural nets as flexible, nonlinear regression and
   classification models.
 o Engineers of many kinds exploit the capabilities of neural networks in
   many areas, such as signal processing and automatic control.
 o Cognitive scientists view neural networks as a possible apparatus to
   describe models of thinking and consciousness (High-level brain
   function).
 o Neuro-physiologists use neural networks to describe and explore
   medium-level brain function (e.g. memory, sensory system, motorics).
 o Physicists use neural networks to model phenomena in statistical
   mechanics and for a lot of other tasks.
 o Biologists use Neural Networks to interpret nucleotide sequences.
 o Philosophers and some other people may also be interested in Neural
   Networks for various reasons.

For world-wide lists of groups doing research on NNs, see the Foundation for
Neural Networks's (SNN) page at
http://www.mbfys.kun.nl/snn/pointers/groups.html and see Neural Networks
Research on the IEEE Neural Network Council's homepage
http://www.ieee.org/nnc.

------------------------------------------------------------------------

Subject: How many kinds of NNs exist?
=====================================

There are many many kinds of NNs by now. Nobody knows exactly how many. New
ones (or at least variations of old ones) are invented every week. Below is
a collection of some of the most well known methods, not claiming to be
complete.

The two main kinds of learning algorithms are supervised and unsupervised.

 o In supervised learning, the correct results (target values, desired
   outputs) are known and are given to the NN during training so that the NN
   can adjust its weights to try match its outputs to the target values.
   After training, the NN is tested by giving it only input values, not
   target values, and seeing how close it comes to outputting the correct
   target values.
 o In unsupervised learning, the NN is not provided with the correct results
   during training. Unsupervised NNs usually perform some kind of data
   compression, such as dimensionality reduction or clustering. See "What
   does unsupervised learning learn?"

The distinction between supervised and unsupervised methods is not always
clear-cut. An unsupervised method can learn a summary of a probability
distribution, then that summarized distribution can be used to make
predictions. Furthermore, supervised methods come in two subvarieties:
auto-associative and hetero-associative. In auto-associative learning, the
target values are the same as the inputs, whereas in hetero-associative
learning, the targets are generally different from the inputs. Many
unsupervised methods are equivalent to auto-associative supervised methods.
For more details, see "What does unsupervised learning learn?"

Two major kinds of network topology are feedforward and feedback.

 o In a feedforward NN, the connections between units do not form cycles.
   Feedforward NNs usually produce a response to an input quickly. Most
   feedforward NNs can be trained using a wide variety of efficient
   conventional numerical methods (e.g. see "What are conjugate gradients,
   Levenberg-Marquardt, etc.?") in addition to algorithms invented by NN
   reserachers.
 o In a feedback or recurrent NN, there are cycles in the connections. In
   some feedback NNs, each time an input is presented, the NN must iterate
   for a potentially long time before it produces a response. Feedback NNs
   are usually more difficult to train than feedforward NNs.

Some kinds of NNs (such as those with winner-take-all units) can be
implemented as either feedforward or feedback networks.

NNs also differ in the kinds of data they accept. Two major kinds of data
are categorical and quantitative.

 o Categorical variables take only a finite (technically, countable) number
   of possible values, and there are usually several or more cases falling
   into each category. Categorical variables may have symbolic values (e.g.,
   "male" and "female", or "red", "green" and "blue") that must be encoded
   into numbers before being given to the network (see "How should
   categories be encoded?") Both supervised learning with categorical target
   values and unsupervised learning with categorical outputs are called
   "classification."
 o Quantitative variables are numerical measurements of some attribute, such
   as length in meters. The measurements must be made in such a way that at
   least some arithmetic relations among the measurements reflect analogous
   relations among the attributes of the objects that are measured. For more
   information on measurement theory, see the Measurement Theory FAQ at
   ftp://ftp.sas.com/pub/neural/measurement.html. Supervised learning with
   quantitative target values is called "regression."

Some variables can be treated as either categorical or quantitative, such as
number of children or any binary variable. Most regression algorithms can
also be used for supervised classification by encoding categorical target
values as 0/1 binary variables and using those binary variables as target
values for the regression algorithm. The outputs of the network are
posterior probabilities when any of the most common training methods are
used.

Here are some well-known kinds of NNs:

1. Supervised

   1. Feedforward

       o Linear
          o Hebbian - Hebb (1949), Fausett (1994)
          o Perceptron - Rosenblatt (1958), Minsky and Papert (1969/1988),
            Fausett (1994)
          o Adaline - Widrow and Hoff (1960), Fausett (1994)
          o Higher Order - Bishop (1995)
          o Functional Link - Pao (1989)
       o MLP: Multilayer perceptron - Bishop (1995), Reed and Marks (1999),
         Fausett (1994)
          o Backprop - Rumelhart, Hinton, and Williams (1986)
          o Cascade Correlation - Fahlman and Lebiere (1990), Fausett (1994)
          o Quickprop - Fahlman (1989)
          o RPROP - Riedmiller and Braun (1993)
       o RBF networks - Bishop (1995), Moody and Darken (1989), Orr (1996)
          o OLS: Orthogonal Least Squares - Chen, Cowan and Grant (1991)
       o CMAC: Cerebellar Model Articulation Controller - Albus (1975),
         Brown and Harris (1994)
       o Classification only
          o LVQ: Learning Vector Quantization - Kohonen (1988), Fausett
            (1994)
          o PNN: Probabilistic Neural Network - Specht (1990), Masters
            (1993), Hand (1982), Fausett (1994)
       o Regression only
          o GNN: General Regression Neural Network - Specht (1991), Nadaraya
            (1964), Watson (1964)

   2. Feedback - Hertz, Krogh, and Palmer (1991), Medsker and Jain (2000)

       o BAM: Bidirectional Associative Memory - Kosko (1992), Fausett
         (1994)
       o Boltzman Machine - Ackley et al. (1985), Fausett (1994)
       o Recurrent time series
          o Backpropagation through time - Werbos (1990)
          o Elman - Elman (1990)
          o FIR: Finite Impulse Response - Wan (1990)
          o Jordan - Jordan (1986)
          o Real-time recurrent network - Williams and Zipser (1989)
          o Recurrent backpropagation - Pineda (1989), Fausett (1994)
          o TDNN: Time Delay NN - Lang, Waibel and Hinton (1990)

   3. Competitive

       o ARTMAP - Carpenter, Grossberg and Reynolds (1991)
       o Fuzzy ARTMAP - Carpenter, Grossberg, Markuzon, Reynolds and Rosen
         (1992), Kasuba (1993)
       o Gaussian ARTMAP - Williamson (1995)
       o Counterpropagation - Hecht-Nielsen (1987; 1988; 1990), Fausett
         (1994)
       o Neocognitron - Fukushima, Miyake, and Ito (1983), Fukushima,
         (1988), Fausett (1994)

2. Unsupervised - Hertz, Krogh, and Palmer (1991)

   1. Competitive

       o Vector Quantization
          o Grossberg - Grossberg (1976)
          o Kohonen - Kohonen (1984)
          o Conscience - Desieno (1988)
       o Self-Organizing Map
          o Kohonen - Kohonen (1995), Fausett (1994)
          o GTM: - Bishop, SvensΘn and Williams (1997)
          o Local Linear - Mulier and Cherkassky (1995)
       o Adaptive resonance theory
          o ART 1 - Carpenter and Grossberg (1987a), Moore (1988), Fausett
            (1994)
          o ART 2 - Carpenter and Grossberg (1987b), Fausett (1994)
          o ART 2-A - Carpenter, Grossberg and Rosen (1991a)
          o ART 3 - Carpenter and Grossberg (1990)
          o Fuzzy ART - Carpenter, Grossberg and Rosen (1991b)
       o DCL: Differential Competitive Learning - Kosko (1992)

   2. Dimension Reduction - Diamantaras and Kung (1996)

       o Hebbian - Hebb (1949), Fausett (1994)
       o Oja - Oja (1989)
       o Sanger - Sanger (1989)
       o Differential Hebbian - Kosko (1992)

   3. Autoassociation

       o Linear autoassociator - Anderson et al. (1977), Fausett (1994)
       o BSB: Brain State in a Box - Anderson et al. (1977), Fausett (1994)
       o Hopfield - Hopfield (1982), Fausett (1994)

3. Nonlearning

   1. Hopfield - Hertz, Krogh, and Palmer (1991)
   2. various networks for optimization - Cichocki and Unbehauen (1993)

References:

   Ackley, D.H., Hinton, G.F., and Sejnowski, T.J. (1985), "A learning
   algorithm for Boltzman machines," Cognitive Science, 9, 147-169.

   Albus, J.S (1975), "New Approach to Manipulator Control: The Cerebellar
   Model Articulation Controller (CMAC)," Transactions of the ASME Journal
   of Dynamic Systems, Measurement, and Control, September 1975, 220-27.

   Anderson, J.A., and Rosenfeld, E., eds. (1988), Neurocomputing:
   Foundatons of Research, Cambridge, MA: The MIT Press.

   Anderson, J.A., Silverstein, J.W., Ritz, S.A., and Jones, R.S. (1977)
   "Distinctive features, categorical perception, and probability learning:
   Some applications of a neural model," Psychological Rveiew, 84, 413-451.
   Reprinted in Anderson and Rosenfeld (1988).

   Bishop, C.M. (1995), Neural Networks for Pattern Recognition, Oxford:
   Oxford University Press.

   Bishop, C.M., SvensΘn, M., and Williams, C.K.I (1997), "GTM: A principled
   alternative to the self-organizing map," in Mozer, M.C., Jordan, M.I.,
   and Petsche, T., (eds.) Advances in Neural Information Processing
   Systems 9, Cambrideg, MA: The MIT Press, pp. 354-360. Also see
   http://www.ncrg.aston.ac.uk/GTM/

   Brown, M., and Harris, C. (1994), Neurofuzzy Adaptive Modelling and
   Control, NY: Prentice Hall.

   Carpenter, G.A., Grossberg, S. (1987a), "A massively parallel
   architecture for a self-organizing neural pattern recognition machine,"
   Computer Vision, Graphics, and Image Processing, 37, 54-115.

   Carpenter, G.A., Grossberg, S. (1987b), "ART 2: Self-organization of
   stable category recognition codes for analog input patterns," Applied
   Optics, 26, 4919-4930.

   Carpenter, G.A., Grossberg, S. (1990), "ART 3: Hierarchical search using
   chemical transmitters in self-organizing pattern recognition
   architectures. Neural Networks, 3, 129-152.

   Carpenter, G.A., Grossberg, S., Markuzon, N., Reynolds, J.H., and 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

   Carpenter, G.A., Grossberg, S., Reynolds, J.H. (1991), "ARTMAP:
   Supervised real-time learning and classification of nonstationary data by
   a self-organizing neural network," Neural Networks, 4, 565-588.

   Carpenter, G.A., Grossberg, S., Rosen, D.B. (1991a), "ART 2-A: An
   adaptive resonance algorithm for rapid category learning and
   recognition," Neural Networks, 4, 493-504.

   Carpenter, G.A., Grossberg, S., Rosen, D.B. (1991b), "Fuzzy ART: Fast
   stable learning and categorization of analog patterns by an adaptive
   resonance system," Neural Networks, 4, 759-771.

   Chen, S., Cowan, C.F.N., and Grant, P.M. (1991), "Orthogonal least
   squares learning for radial basis function networks," IEEE Transactions
   on Neural Networks, 2, 302-309.

   Cichocki, A. and Unbehauen, R. (1993). Neural Networks for Optimization
   and Signal Processing. NY: John Wiley & Sons, ISBN 0-471-93010-5.

   Desieno, D. (1988), "Adding a conscience to competitive learning," Proc.
   Int. Conf. on Neural Networks, I, 117-124, IEEE Press.

   Diamantaras, K.I., and Kung, S.Y. (1996) Principal Component Neural
   Networks: Theory and Applications, NY: Wiley.

   Elman, J.L. (1990), "Finding structure in time," Cognitive Science, 14,
   179-211.

   Fahlman, S.E. (1989), "Faster-Learning Variations on Back-Propagation: An
   Empirical Study", in Touretzky, D., Hinton, G, and Sejnowski, T., eds.,
   Proceedings of the 1988 Connectionist Models Summer School, Morgan
   Kaufmann, 38-51.

   Fahlman, S.E., and Lebiere, C. (1990), "The Cascade-Correlation Learning
   Architecture", in Touretzky, D. S. (ed.), Advances in Neural Information
   Processing Systems 2,, Los Altos, CA: Morgan Kaufmann Publishers, pp.
   524-532.

   Fausett, L. (1994), Fundamentals of Neural Networks, Englewood Cliffs,
   NJ: Prentice Hall.

   Fukushima, K., Miyake, S., and Ito, T. (1983), "Neocognitron: A neural
   network model for a mechanism of visual pattern recognition," IEEE
   Transactions on Systems, Man, and Cybernetics, 13, 826-834.

   Fukushima, K. (1988), "Neocognitron: A hierarchical neural network
   capable of visual pattern recognition," Neural Networks, 1, 119-130.

   Grossberg, S. (1976), "Adaptive pattern classification and universal
   recoding: I. Parallel development and coding of neural feature
   detectors," Biological Cybernetics, 23, 121-134

   Hand, D.J. (1982) Kernel Discriminant Analysis, Research Studies Press.

   Hebb, D.O. (1949), The Organization of Behavior, NY: John Wiley & Sons.

   Hecht-Nielsen, R. (1987), "Counterpropagation networks," Applied Optics,
   26, 4979-4984.

   Hecht-Nielsen, R. (1988), "Applications of counterpropagation networks,"
   Neural Networks, 1, 131-139.

   Hecht-Nielsen, R. (1990), Neurocomputing, Reading, MA: Addison-Wesley.

   Hertz, J., Krogh, A., and Palmer, R. (1991). Introduction to the Theory of
   Neural Computation. Addison-Wesley: Redwood City, California.

   Hopfield, J.J. (1982), "Neural networks and physical systems with
   emergent collective computational abilities," Proceedings of the National
   Academy of Sciences, 79, 2554-2558. Reprinted in Anderson and Rosenfeld
   (1988).

   Jordan, M. I. (1986), "Attractor dynamics and parallelism in a
   connectionist sequential machine," In Proceedings of the Eighth Annual
   conference of the Cognitive Science Society, pages 531-546. Lawrence
   Erlbaum.

   Kasuba, T. (1993), "Simplified Fuzzy ARTMAP," AI Expert, 8, 18-25.

   Kohonen, T. (1984), Self-Organization and Associative Memory, Berlin:
   Springer.

   Kohonen, T. (1988), "Learning Vector Quantization," Neural Networks, 1
   (suppl 1), 303.

   Kohonen, T. (1995/1997), Self-Organizing Maps, Berlin: Springer-Verlag.
   First edition was 1995, second edition 1997. See
   http://www.cis.hut.fi/nnrc/new_book.html for information on the second
   edition.

   Kosko, B.(1992), Neural Networks and Fuzzy Systems, Englewood Cliffs,
   N.J.: Prentice-Hall.

   Lang, K. J., Waibel, A. H., and Hinton, G. (1990), "A time-delay neural
   network architecture for isolated word recognition," Neural Networks, 3,
   23-44.

   Masters, T. (1993). Practical Neural Network Recipes in C++, San Diego:
   Academic Press.

   Masters, T. (1995) Advanced Algorithms for Neural Networks: A C++
   Sourcebook, NY: John Wiley and Sons, ISBN 0-471-10588-0

   Medsker, L.R., and Jain, L.C., eds. (2000), Recurrent Neural Networks:
   Design and Applications, Boca Raton, FL: CRC Press, ISBN 0-8493-7181-3.

   Minsky, M.L., and Papert, S.A. (1969/1988), Perceptrons, Cambridge, MA:
   The MIT Press (first edition, 1969; expanded edition, 1988).

   Moody, J. and Darken, C.J. (1989), "Fast learning in networks of
   locally-tuned processing units," Neural Computation, 1, 281-294.

   Moore, B. (1988), "ART 1 and Pattern Clustering," in Touretzky, D.,
   Hinton, G. and Sejnowski, T., eds., Proceedings of the 1988
   Connectionist Models Summer School, 174-185, San Mateo, CA: Morgan
   Kaufmann.

   Mulier, F. and Cherkassky, V. (1995), "Self-Organization as an Iterative
   Kernel Smoothing Process," Neural Computation, 7, 1165-1177.

   Nadaraya, E.A. (1964) "On estimating regression", Theory Probab. Applic.
   10, 186-90.

   Oja, E. (1989), "Neural networks, principal components, and subspaces,"
   International Journal of Neural Systems, 1, 61-68.

   Orr, M.J.L. (1996), "Introduction to radial basis function networks,"
   http://www.anc.ed.ac.uk/~mjo/papers/intro.ps or
   http://www.anc.ed.ac.uk/~mjo/papers/intro.ps.gz

   Pao, Y. H. (1989), Adaptive Pattern Recognition and Neural Networks,
   Reading, MA: Addison-Wesley Publishing Company, ISBN 0-201-12584-6.

   Pineda, F.J. (1989), "Recurrent back-propagation and the dynamical
   approach to neural computation," Neural Computation, 1, 161-172.

   Reed, R.D., and Marks, R.J, II (1999), Neural Smithing: Supervised
   Learning in Feedforward Artificial Neural Networks, Cambridge, MA: The
   MIT Press, ISBN 0-262-18190-8.

   Riedmiller, M. and Braun, H. (1993), "A Direct Adaptive Method for Faster
   Backpropagation Learning: The RPROP Algorithm", Proceedings of the IEEE
   International Conference on Neural Networks 1993, San Francisco: IEEE.

   Rosenblatt, F. (1958), "The perceptron: A probabilistic model for
   information storage and organization in the brain., Psychological Review,
   65, 386-408.

   Rumelhart, D.E., Hinton, G.E., and Williams, R.J. (1986), "Learning
   internal representations by error propagation", in Rumelhart, D.E. and
   McClelland, J. L., eds. (1986), Parallel Distributed Processing:
   Explorations in the Microstructure of Cognition, Volume 1, 318-362,
   Cambridge, MA: The MIT Press.

   Sanger, T.D. (1989), "Optimal unsupervised learning in a single-layer
   linear feedforward neural network," Neural Networks, 2, 459-473.

   Specht, D.F. (1990) "Probabilistic neural networks," Neural Networks, 3,
   110-118.

   Specht, D.F. (1991) "A Generalized Regression Neural Network", IEEE
   Transactions on Neural Networks, 2, Nov. 1991, 568-576.

   Wan, E.A. (1990), "Temporal backpropagation: An efficient algorithm for
   finite impulse response neural networks," in Proceedings of the 1990
   Connectionist Models Summer School, Touretzky, D.S., Elman, J.L.,
   Sejnowski, T.J., and Hinton, G.E., eds., San Mateo, CA: Morgan Kaufmann,
   pp. 131-140.

   Watson, G.S. (1964) "Smooth regression analysis", Sankhy{\=a}, Series A,
   26, 359-72.

   Werbos, P.J. (1990), "Backpropagtion through time: What it is and how to
   do it," Proceedings of the IEEE, 78, 1550-1560.

   Widrow, B., and Hoff, M.E., Jr., (1960), "Adaptive switching circuits,"
   IRE WESCON Convention Record. part 4, pp. 96-104. Reprinted in Anderson
   and Rosenfeld (1988).

   Williams, R.J., and Zipser, D., (1989), "A learning algorithm for
   continually running fully recurrent neurla networks," Neural Computation,
   1, 270-280.

   Williamson, J.R. (1995), "Gaussian ARTMAP: A neural network for fast
   incremental learning of noisy multidimensional maps," Technical Report
   CAS/CNS-95-003, Boston University, Center of Adaptive Systems and
   Department of Cognitive and Neural Systems.

------------------------------------------------------------------------

Subject: How many kinds of Kohonen networks exist?
==================================================
(And what is k-means?)
======================

Teuvo Kohonen is one of the most famous and prolific researchers in
neurocomputing, and he has invented a variety of networks. But many people
refer to "Kohonen networks" without specifying which kind of Kohonen
network, and this lack of precision can lead to confusion. The phrase
"Kohonen network" most often refers to one of the following three types of
networks:

 o VQ: Vector Quantization--competitive networks that can be viewed as
   unsupervised density estimators or autoassociators (Kohonen, 1995/1997;
   Hecht-Nielsen 1990), closely related to k-means cluster analysis
   (MacQueen, 1967; Anderberg, 1973). Each competitive unit corresponds to a
   cluster, the center of which is called a "codebook vector". Kohonen's
   learning law is an on-line algorithm that finds the codebook vector
   closest to each training case and moves the "winning" codebook vector
   closer to the training case. The codebook vector is moved a certain
   proportion of the distance between it and the training case, the
   proportion being specified by the learning rate, that is:

      new_codebook = old_codebook * (1-learning_rate)

                   + data * learning_rate

   Numerous similar algorithms have been developed in the neural net and
   machine learning literature; see Hecht-Nielsen (1990) for a brief
   historical overview, and Kosko (1992) for a more technical overview of
   competitive learning.

   MacQueen's on-line k-means algorithm is essentially the same as Kohonen's
   learning law except that the learning rate is the reciprocal of the
   number of cases that have been assigned to the winnning cluster. Suppose
   that when processing a given training case, N cases have been previously
   assigned to the winning codebook vector. Then the codebook vector is
   updated as:

      new_codebook = old_codebook * N/(N+1)

                   + data * 1/(N+1)

   This reduction of the learning rate makes each codebook vector the mean
   of all cases assigned to its cluster and guarantees convergence of the
   algorithm to an optimum value of the error function (the sum of squared
   Euclidean distances between cases and codebook vectors) as the number of
   training cases goes to infinity. Kohonen's learning law with a fixed
   learning rate does not converge. As is well known from stochastic
   approximation theory, convergence requires the sum of the infinite
   sequence of learning rates to be infinite, while the sum of squared
   learning rates must be finite (Kohonen, 1995, p. 34). These requirements
   are satisfied by MacQueen's k-means algorithm.

   Kohonen VQ is often used for off-line learning, in which case the
   training data are stored and Kohonen's learning law is applied to each
   case in turn, cycling over the data set many times (incremental
   training). Convergence to a local optimum can be obtained as the training
   time goes to infinity if the learning rate is reduced in a suitable
   manner as described above. However, there are off-line k-means
   algorithms, both batch and incremental, that converge in a finite number
   of iterations (Anderberg, 1973; Hartigan, 1975; Hartigan and Wong, 1979).
   The batch algorithms such as Forgy's (1965; Anderberg, 1973) have the
   advantage for large data sets, since the incremental methods require you
   either to store the cluster membership of each case or to do two
   nearest-cluster computations as each case is processed. Forgy's algorithm
   is a simple alternating least-squares algorithm consisting of the
   following steps:

   1. Initialize the codebook vectors.
   2. Repeat the following two steps until convergence:
      A. Read the data, assigning each case to the nearest (using Euclidean
      distance) codebook vector.
      B. Replace each codebook vector with the mean of the cases that were
      assigned to it.

   Fastest training is usually obtained if MacQueen's on-line algorithm is
   used for the first pass and off-line k-means algorithms are applied on
   subsequent passes (Bottou and Bengio, 1995). However, these training
   methods do not necessarily converge to a global optimum of the error
   function. The chance of finding a global optimum can be improved by using
   rational initialization (SAS Institute, 1989, pp. 824-825), multiple
   random initializations, or various time-consuming training methods
   intended for global optimization (Ismail and Kamel, 1989; Zeger, Vaisy,
   and Gersho, 1992).

   VQ has been a popular topic in the signal processing literature, which
   has been largely separate from the literature on Kohonen networks and
   from the cluster analysis literature in statistics and taxonomy. In
   signal processing, on-line methods such as Kohonen's and MacQueen's are
   called "adaptive vector quantization" (AVQ), while off-line k-means
   methods go by the names of "Lloyd" or "Lloyd I" (Lloyd, 1982) and "LBG"
   (Linde, Buzo, and Gray, 1980). There is a recent textbook on VQ by Gersho
   and Gray (1992) that summarizes these algorithms as information
   compression methods.

   Kohonen's work emphasized VQ as density estimation and hence the
   desirability of equiprobable clusters (Kohonen 1984; Hecht-Nielsen 1990).
   However, Kohonen's learning law does not produce equiprobable
   clusters--that is, the proportions of training cases assigned to each
   cluster are not usually equal. If there are I inputs and the number of
   clusters is large, the density of the codebook vectors approximates the
   I/(I+2) power of the density of the training data (Kohonen, 1995, p.
   35; Ripley, 1996, p. 202; Zador, 1982), so the clusters are approximately
   equiprobable only if the data density is uniform or the number of inputs
   is large. The most popular method for obtaining equiprobability is
   Desieno's (1988) algorithm which adds a "conscience" value to each
   distance prior to the competition. The conscience value for each cluster
   is adjusted during training so that clusters that win more often have
   larger conscience values and are thus handicapped to even out the
   probabilities of winning in later iterations.

   Kohonen's learning law is an approximation to the k-means model, which is
   an approximation to normal mixture estimation by maximum likelihood
   assuming that the mixture components (clusters) all have spherical
   covariance matrices and equal sampling probabilities. Hence if the
   population contains clusters that are not equiprobable, k-means will tend
   to produce sample clusters that are more nearly equiprobable than the
   population clusters. Corrections for this bias can be obtained by
   maximizing the likelihood without the assumption of equal sampling
   probabilities Symons (1981). Such corrections are similar to conscience
   but have the opposite effect.

   In cluster analysis, the purpose is not to compress information but to
   recover the true cluster memberships. K-means differs from mixture models
   in that, for k-means, the cluster membership for each case is considered
   a separate parameter to be estimated, while mixture models estimate a
   posterior probability for each case based on the means, covariances, and
   sampling probabilities of each cluster. Balakrishnan, Cooper, Jacob, and
   Lewis (1994) found that k-means algorithms recovered cluster membership
   more accurately than Kohonen VQ.

 o SOM: Self-Organizing Map--competitive networks that provide a
   "topological" mapping from the input space to the clusters (Kohonen,
   1995). The SOM was inspired by the way in which various human sensory
   impressions are neurologically mapped into the brain such that spatial or
   other relations among stimuli correspond to spatial relations among the
   neurons. In a SOM, the neurons (clusters) are organized into a
   grid--usually two-dimensional, but sometimes one-dimensional or (rarely)
   three- or more-dimensional. The grid exists in a space that is separate
   from the input space; any number of inputs may be used as long as the
   number of inputs is greater than the dimensionality of the grid space. A
   SOM tries to find clusters such that any two clusters that are close to
   each other in the grid space have codebook vectors close to each other in
   the input space. But the converse does not hold: codebook vectors that
   are close to each other in the input space do not necessarily correspond
   to clusters that are close to each other in the grid. Another way to look
   at this is that a SOM tries to embed the grid in the input space such
   every training case is close to some codebook vector, but the grid is
   bent or stretched as little as possible. Yet another way to look at it is
   that a SOM is a (discretely) smooth mapping between regions in the input
   space and points in the grid space. The best way to undestand this is to
   look at the pictures in Kohonen (1995) or various other NN textbooks.

   The Kohonen algorithm for SOMs is very similar to the Kohonen algorithm
   for AVQ. Let the codebook vectors be indexed by a subscript j, and let
   the index of the codebook vector nearest to the current training case be
   n. The Kohonen SOM algorithm requires a kernel function K(j,n), where
   K(j,j)=1 and K(j,n) is usually a non-increasing function of the
   distance (in any metric) between codebook vectors j and n in the grid
   space (not the input space). Usually, K(j,n) is zero for codebook
   vectors that are far apart in the grid space. As each training case is
   processed, all the codebook vectors are updated as:

      new_codebook  = old_codebook  * [1 - K(j,n) * learning_rate]
                  j               j

                    + data * K(j,n) * learning_rate

   The kernel function does not necessarily remain constant during training.
   The neighborhood of a given codebook vector is the set of codebook
   vectors for which K(j,n)>0. To avoid poor results (akin to local
   minima), it is usually advisable to start with a large neighborhood, and
   let the neighborhood gradually shrink during training. If K(j,n)=0
   for j not equal to n, then the SOM update formula reduces to the formula
   for Kohonen vector quantization. In other words, if the neighborhood size
   (for example, the radius of the support of the kernel function K(j,n))
   is zero, the SOM algorithm degenerates into simple VQ. Hence it is
   important not to let the neighborhood size shrink all the way to zero
   during training. Indeed, the choice of the final neighborhood size is the
   most important tuning parameter for SOM training, as we will see shortly.

   A SOM works by smoothing the codebook vectors in a manner similar to
   kernel estimation methods, but the smoothing is done in neighborhoods in
   the grid space rather than in the input space (Mulier and Cherkassky
   1995). This is easier to see in a batch algorithm for SOMs, which is
   similar to Forgy's algorithm for batch k-means, but incorporates an extra
   smoothing process:

   1. Initialize the codebook vectors.
   2. Repeat the following two steps until convergence or boredom:
      A. Read the data, assigning each case to the nearest (using Euclidean
      distance) codebook vector. While you are doing this, keep track of the
      mean and the number of cases for each cluster.
      B. Do a nonparametric regression using K(j,n) as a kernel function,
      with the grid points as inputs, the cluster means as target values,
      and the number of cases in each cluster as an case weight. Replace
      each codebook vector with the output of the nonparametric regression
      function evaluated at its grid point.

   If the nonparametric regression method is Nadaraya-Watson kernel
   regression (see What is GRNN?), the batch SOM algorithm produces
   essentially the same results as Kohonen's algorithm, barring local
   minima. The main difference is that the batch algorithm often converges.
   Mulier and Cherkassky (1995) note that other nonparametric regression
   methods can be used to provide superior SOM algorithms. In particular,
   local-linear smoothing eliminates the notorious "border effect", whereby
   the codebook vectors near the border of the grid are compressed in the
   input space. The border effect is especially problematic when you try to
   use a high degree of smoothing in a Kohonen SOM, since all the codebook
   vectors will collapse into the center of the input space. The SOM border
   effect has the same mathematical cause as the "boundary effect" in kernel
   regression, which causes the estimated regression function to flatten out
   near the edges of the regression input space. There are various cures for
   the edge effect in nonparametric regression, of which local-linear
   smoothing is the simplest (Wand and Jones, 1995). Hence, local-linear
   smoothing also cures the border effect in SOMs. Furthermore, local-linear
   smoothing is much more general and reliable than the heuristic weighting
   rule proposed by Kohonen (1995, p. 129).

   Since nonparametric regression is used in the batch SOM algorithm,
   various properties of nonparametric regression extend to SOMs. In
   particular, it is well known that the shape of the kernel function is not
   a crucial matter in nonparametric regression, hence it is not crucial in
   SOMs. On the other hand, the amount of smoothing used for nonparametric
   regression is crucial, hence the choice of the final neighborhood size in
   a SOM is crucial. Unfortunately, I am not aware of any systematic studies
   of methods for choosing the final neighborhood size.

   The batch SOM algorithm is very similar to the principal curve and
   surface algorithm proposed by Hastie and Stuetzle (1989), as pointed out
   by Ritter, Martinetz, and Schulten (1992) and Mulier and Cherkassky
   (1995). A principal curve is a nonlinear generalization of a principal
   component. Given the probability distribution of a population, a
   principal curve is defined by the following self-consistency condition:
   1. If you choose any point on a principal curve,
   2. then find the set of all the points in the input space that are closer
      to the chosen point than any other point on the curve,
   3. and compute the expected value (mean) of that set of points with
      respect to the probability distribution, then
   4. you end up with the same point on the curve that you chose originally.
   See http://www.iro.umontreal.ca/~kegl/research/pcurves/ for more
   information about principal curves and surfaces.

   In a multivariate normal distribution, the principal curves are the same
   as the principal components. A principal surface is the obvious
   generalization from a curve to a surface. In a multivariate normal
   distribution, the principal surfaces are the subspaces spanned by any two
   principal components.

   A one-dimensional local-linear batch SOM can be used to estimate a
   principal curve by letting the number of codebook vectors approach
   infinity while choosing a kernel function of appropriate smoothness. A
   two-dimensional local-linear batch SOM can be used to estimate a
   principal surface by letting the number of both rows and columns in the
   grid approach infinity. This connection between SOMs and principal curves
   and surfaces shows that the choice of the number of codebook vectors is
   not crucial, provided the number is fairly large.

   If the final neighborhood size in a local-linear batch SOM is large, the
   SOM approximates a subspace spanned by principal components--usually the
   first principal component if the SOM is one-dimensional, the first two
   principal components if the SOM is two-dimensional, and so on. This
   result does not depend on the data having a multivariate normal
   distribution.

   Principal component analysis is a method of data compression, not a
   statistical model. However, there is a related method called "common
   factor analysis" that is often confused with principal component analysis
   but is indeed a statistical model. Common factor analysis posits that the
   relations among the observed variables can be explained by a smaller
   number of unobserved, "latent" variables. Tibshirani (1992) has proposed
   a latent-variable variant of principal curves, and latent-variable
   modifications of SOMs have been introduced by Utsugi (1996, 1997) and
   Bishop, SvensΘn, and Williams (1997).

   The choice of the number of codebook vectors is usually not critical as
   long as the number is fairly large. But results can be sensitive to the
   shape of the grid, e.g., square or an elongated rectangle. And the
   dimensionality of the grid is a crucial choice. It is difficult to guess
   the appropriate shape and dimensionality before analyzing the data.
   Determining the shape and dimensionality by trial and error can be quite
   tedious. Hence, a variety of methods have been tried for growing SOMs and
   related kinds of NNs during training. For more information on growing
   SOMs, see Bernd Fritzke's home page at
   http://pikas.inf.tu-dresden.de/~fritzke/

   Using a 1-by-2 SOM is pointless. There is no "topological structure" in a
   1-by-2 grid. A 1-by-2 SOM is essentially the same as VQ with two
   clusters, except that the SOM clusters will be closer together than the
   VQ clusters if the final neighborhood size for the SOM is large.

   In a Kohonen SOM, as in VQ, it is necessary to reduce the learning rate
   during training to obtain convergence. Greg Heath has commented in this
   regard:

   I favor separate learning rates for each winning SOM node (or k-means
   cluster) in the form 1/(N_0i + N_i + 1), where N_i is the
   count of vectors that have caused node i to be a winner and N_0i
   is an initializing count that indicates the confidence in the initial
   weight vector assignment. The winning node expression is based on
   stochastic estimation convergence constraints and pseudo-Bayesian
   estimation of mean vectors. Kohonen derived a heuristic recursion
   relation for the "optimal" rate. To my surprise, when I solved the
   recursion relation I obtained the same above expression that I've
   been using for years.

   In addition, I have had success using the similar form
   (1/n)/(N_0j + N_j + (1/n)) for the n nodes in the
   shrinking updating-neighborhood. Before the final "winners-only"
   stage when neighbors are no longer updated, the number of updating
   neighbors eventually shrinks to n = 6 or 8 for hexagonal or
   rectangular neighborhoods, respectively.

   Kohonen's neighbor-update formula is more precise replacing my
   constant fraction (1/n) with a node-pair specific h_ij (h_ij
   < 1). However, as long as the initial neighborhood is sufficiently
   large, the shrinking rate is sufficiently slow, and the final
   winner-only stage is sufficiently long, the results should be
   relatively insensitive to exact form of h_ij.

Another advantage of batch SOMs is that there is no learning rate, so these
complications evaporate.

Kohonen (1995, p. VII) says that SOMs are not intended for pattern
recognition but for clustering, visualization, and abstraction. Kohonen has
used a "supervised SOM" (1995, pp. 160-161) that is similar to
counterpropagation (Hecht-Nielsen 1990), but he seems to prefer LVQ (see
below) for supervised classification. Many people continue to use SOMs for
classification tasks, sometimes with surprisingly (I am tempted to say
"inexplicably") good results (Cho, 1997).

o LVQ: Learning Vector Quantization--competitive networks for supervised
classification (Kohonen, 1988, 1995; Ripley, 1996). Each codebook vector is
assigned to one of the target classes. Each class may have one or more
codebook vectors. A case is classified by finding the nearest codebook
vector and assigning the case to the class corresponding to the codebook
vector. Hence LVQ is a kind of nearest-neighbor rule.

Ordinary VQ methods, such as Kohonen's VQ or k-means, can easily be used for
supervised classification. Simply count the number of training cases from
each class assigned to each cluster, and divide by the total number of cases
in the cluster to get the posterior probability. For a given case, output
the class with the greatest posterior probability--i.e. the class that forms
a majority in the nearest cluster. Such methods can provide universally
consistent classifiers (Devroye et al., 1996) even when the codebook vectors
are obtained by unsupervised algorithms. LVQ tries to improve on this
approach by adapting the codebook vectors in a supervised way. There are
several variants of LVQ--called LVQ1, OLVQ1, LVQ2, and LVQ3--based on
heuristics. However, a smoothed version of LVQ can be trained as a
feedforward network using a NRBFEQ architecture (see "How do MLPs compare
with RBFs?") and optimizing any of the usual error functions; as the width
of the RBFs goes to zero, the NRBFEQ network approaches an optimized LVQ
network.

There are several other kinds of Kohonen networks described in Kohonen
(1995), including:

 o DEC--Dynamically Expanding Context
 o LSM--Learning Subspace Method
 o ASSOM--Adaptive Subspace SOM
 o FASSOM--Feedback-controlled Adaptive Subspace SOM
 o Supervised SOM
 o LVQ-SOM

More information on the error functions (or absence thereof) used by Kohonen
VQ and SOM is provided under "What does unsupervised learning learn?"

For more on-line information on Kohonen networks and other varieties of
SOMs, see:

 o The web page of The Neural Networks Research Centre, Helsinki University
   of Technology, at http://www.cis.hut.fi/research/
 o The SOM of articles from comp.ai.neural-nets at
   http://websom.hut.fi/websom/comp.ai.neural-nets-new/html/root.html
 o Akio Utsugi's web page on Bayesian SOMs at the National Institute of
   Bioscience and Human-Technology, Agency of Industrial Science and
   Technology, M.I.T.I., 1-1, Higashi, Tsukuba, Ibaraki, 305 Japan, at
   http://www.aist.go.jp/NIBH/~b0616/Lab/index-e.html
 o The GTM (generative topographic mapping) home page at the Neural
   Computing Research Group, Aston University, Birmingham, UK, at
   http://www.ncrg.aston.ac.uk/GTM/
 o Nenet SOM software at http://www.mbnet.fi/~phodju/nenet/nenet.html
 o Bernd Fritzke's home page at http://pikas.inf.tu-dresden.de/~fritzke/ has
   information on growing SOMs and other related types of NNs

References:

   Anderberg, M.R. (1973), Cluster Analysis for Applications, New York:
   Academic Press, Inc.

   Balakrishnan, P.V., Cooper, M.C., Jacob, V.S., and Lewis, P.A. (1994) "A
   study of the classification capabilities of neural networks using
   unsupervised learning: A comparison with k-means clustering",
   Psychometrika, 59, 509-525.

   Bishop, C.M., SvensΘn, M., and Williams, C.K.I (1997), "GTM: A principled
   alternative to the self-organizing map," in Mozer, M.C., Jordan, M.I.,
   and Petsche, T., (eds.) Advances in Neural Information Processing
   Systems 9, Cambridge, MA: The MIT Press, pp. 354-360. Also see
   http://www.ncrg.aston.ac.uk/GTM/

   Bottou, L., and Bengio, Y. (1995), "Convergence properties of the K-Means
   algorithms," in Tesauro, G., Touretzky, D., and Leen, T., (eds.)
   Advances in Neural Information Processing Systems 7, Cambridge, MA: The
   MIT Press, pp. 585-592.

   Cho, S.-B. (1997), "Self-organizing map with dynamical node-splitting:
   Application to handwritten digit recognition," Neural Computation, 9,
   1345-1355.

   Desieno, D. (1988), "Adding a conscience to competitive learning," Proc.
   Int. Conf. on Neural Networks, I, 117-124, IEEE Press.

   Devroye, L., Gy÷rfi, L., and Lugosi, G. (1996), A Probabilistic Theory of
   Pattern Recognition, NY: Springer,

   Forgy, E.W. (1965), "Cluster analysis of multivariate data: Efficiency
   versus interpretability," Biometric Society Meetings, Riverside, CA.
   Abstract in Biomatrics, 21, 768.

   Gersho, A. and Gray, R.M. (1992), Vector Quantization and Signal
   Compression, Boston: Kluwer Academic Publishers.

   Hartigan, J.A. (1975), Clustering Algorithms, NY: Wiley.

   Hartigan, J.A., and Wong, M.A. (1979), "Algorithm AS136: A k-means
   clustering algorithm," Applied Statistics, 28-100-108.

   Hastie, T., and Stuetzle, W. (1989), "Principal curves," Journal of the
   American Statistical Association, 84, 502-516.

   Hecht-Nielsen, R. (1990), Neurocomputing, Reading, MA: Addison-Wesley.

   Ismail, M.A., and Kamel, M.S. (1989), "Multidimensional data clustering
   utilizing hybrid search strategies," Pattern Recognition, 22, 75-89.

   Kohonen, T (1984), Self-Organization and Associative Memory, Berlin:
   Springer-Verlag.

   Kohonen, T (1988), "Learning Vector Quantization," Neural Networks, 1
   (suppl 1), 303.

   Kohonen, T. (1995/1997), Self-Organizing Maps, Berlin: Springer-Verlag.
   First edition was 1995, second edition 1997. See
   http://www.cis.hut.fi/nnrc/new_book.html for information on the second
   edition.

   Kosko, B.(1992), Neural Networks and Fuzzy Systems, Englewood Cliffs,
   N.J.: Prentice-Hall.

   Linde, Y., Buzo, A., and Gray, R. (1980), "An algorithm for vector
   quantizer design," IEEE Transactions on Communications, 28, 84-95.

   Lloyd, S. (1982), "Least squares quantization in PCM," IEEE Transactions
   on Information Theory, 28, 129-137.

   MacQueen, J.B. (1967), "Some Methods for Classification and Analysis of
   Multivariate Observations,"Proceedings of the Fifth Berkeley Symposium on
   Mathematical Statistics and Probability, 1, 281-297.

   Max, J. (1960), "Quantizing for minimum distortion," IEEE Transactions on
   Information Theory, 6, 7-12.

   Mulier, F. and Cherkassky, V. (1995), "Self-Organization as an iterative
   kernel smoothing process," Neural Computation, 7, 1165-1177.

   Ripley, B.D. (1996), Pattern Recognition and Neural Networks,
   Cambridge: Cambridge University Press.

   Ritter, H., Martinetz, T., and Schulten, K. (1992), Neural Computation
   and Self-Organizing Maps: An Introduction, Reading, MA: Addison-Wesley.

   SAS Institute (1989), SAS/STAT User's Guide, Version 6, 4th edition,
   Cary, NC: SAS Institute.

   Symons, M.J. (1981), "Clustering Criteria and Multivariate Normal
   Mixtures," Biometrics, 37, 35-43.

   Tibshirani, R. (1992), "Principal curves revisited," Statistics and
   Computing, 2, 183-190.

   Utsugi, A. (1996), "Topology selection for self-organizing maps,"
   Network: Computation in Neural Systems, 7, 727-740, available on-line at
   http://www.aist.go.jp/NIBH/~b0616/Lab/index-e.html

   Utsugi, A. (1997), "Hyperparameter selection for self-organizing maps,"
   Neural Computation, 9, 623-635, available on-line at
   http://www.aist.go.jp/NIBH/~b0616/Lab/index-e.html

   Wand, M.P., and Jones, M.C. (1995), Kernel Smoothing, London: Chapman &
   Hall.

   Zador, P.L. (1982), "Asymptotic quantization error of continuous signals
   and the quantization dimension," IEEE Transactions on Information Theory,
   28, 139-149.

   Zeger, K., Vaisey, J., and Gersho, A. (1992), "Globally optimal vector
   quantizer design by stochastic relaxation," IEEE Transactions on Signal
   Procesing, 40, 310-322.

------------------------------------------------------------------------

Subject: How are layers counted?
=================================

How to count layers is a matter of considerable dispute.

 o Some people count layers of units. But of these people, some count the
   input layer and some don't.

 o Some people count layers of weights. But I have no idea how they count
   skip-layer connections.

To avoid ambiguity, you should speak of a 2-hidden-layer network, not a
4-layer network (as some would call it) or 3-layer network (as others would
call it). And if the connections follow any pattern other than fully
connecting each layer to the next and to no others, you should carefully
specify the connections.

------------------------------------------------------------------------

Subject: What are cases and variables?
======================================

A vector of values presented at one time to all the input units of a neural
network is called a "case", "example", "pattern, "sample", etc. The term
"case" will be used in this FAQ because it is widely recognized,
unambiguous, and requires less typing than the other terms. A case may
include not only input values, but also target values and possibly other
information.

A vector of values presented at different times to a single input unit is
often called an "input variable" or "feature". To a statistician, it is a
"predictor", "regressor", "covariate", "independent variable", "explanatory
variable", etc. A vector of target values associated with a given output
unit of the network during training will be called a "target variable" in
this FAQ. To a statistician, it is usually a "response" or "dependent
variable".

A "data set" is a matrix containing one or (usually) more cases. In this
FAQ, it will be assumed that cases are rows of the matrix, while variables
are columns.

Note that the often-used term "input vector" is ambiguous; it can mean
either an input case or an input variable.

------------------------------------------------------------------------

Subject: What are the population, sample, training set,
=======================================================
design set, validation set, and test set?
=========================================

It is rarely useful to have a NN simply memorize a set of data, since
memorization can be done much more efficiently by numerous algorithms for
table look-up. Typically, you want the NN to be able to perform accurately
on new data, that is, to generalize.

There seems to be no term in the NN literature for the set of all cases that
you want to be able to generalize to. Statisticians call this set the
"population". Tsypkin (1971) called it the "grand truth distribution," but
this term has never caught on.

Neither is there a consistent term in the NN literature for the set of cases
that are available for training and evaluating an NN. Statisticians call
this set the "sample". The sample is usually a subset of the population.

(Neurobiologists mean something entirely different by "population,"
apparently some collection of neurons, but I have never found out the exact
meaning. I am going to continue to use "population" in the statistical sense
until NN researchers reach a consensus on some other terms for "population"
and "sample"; I suspect this will never happen.)

In NN methodology, the sample is often subdivided into "training",
"validation", and "test" sets. The distinctions among these subsets are
crucial, but the terms "validation" and "test" sets are often confused.
Bishop (1995), an indispensable reference on neural networks, provides the
following explanation (p. 372):

   Since our goal is to find the network having the best performance on
   new data, the simplest approach to the comparison of different
   networks is to evaluate the error function using data which is
   independent of that used for training. Various networks are trained
   by minimization of an appropriate error function defined with respect
   to a training data set. The performance of the networks is then
   compared by evaluating the error function using an independent
   validation set, and the network having the smallest error with
   respect to the validation set is selected. This approach is called
   the hold out method. Since this procedure can itself lead to some
   overfitting to the validation set, the performance of the selected
   network should be confirmed by measuring its performance on a third
   independent set of data called a test set.

And there is no book in the NN literature more authoritative than Ripley
(1996), from which the following definitions are taken (p.354):

Training set:
   A set of examples used for learning, that is to fit the parameters [i.e.,
   weights] of the classifier.
Validation set:
   A set of examples used to tune the parameters [i.e., architecture, not
   weights] of a classifier, for example to choose the number of hidden
   units in a neural network.
Test set:
   A set of examples used only to assess the performance [generalization] of
   a fully-specified classifier.

The literature on machine learning often reverses the meaning of
"validation" and "test" sets. This is the most blatant example of the
terminological confusion that pervades artificial intelligence research.

The crucial point is that a test set, by the standard definition in the NN
literature, is never used to choose among two or more networks, so that the
error on the test set provides an unbiased estimate of the generalization
error (assuming that the test set is representative of the population,
etc.). Any data set that is used to choose the best of two or more networks
is, by definition, a validation set, and the error of the chosen network on
the validation set is optimistically biased.

There is a problem with the usual distinction between training and
validation sets. Some training approaches, such as early stopping, require a
validation set, so in a sense, the validation set is used for training.
Other approaches, such as maximum likelihood, do not inherently require a
validation set. So the "training" set for maximum likelihood might encompass
both the "training" and "validation" sets for early stopping. Greg Heath has
suggested the term "design" set be used for cases that are used solely to
adjust the weights in a network, while "training" set be used to encompass
both design and validation sets. There is considerable merit to this
suggestion, but it has not yet been widely adopted.

But things can get more complicated. Suppose you want to train nets with 5
,10, and 20 hidden units using maximum likelihood, and you want to train
nets with 20 and 50 hidden units using early stopping. You also want to use
a validation set to choose the best of these various networks. Should you
use the same validation set for early stopping that you use for the final
network choice, or should you use two separate validation sets? That is, you
could divide the sample into 3 subsets, say A, B, C and proceed as follows:

 o Do maximum likelihood using A.
 o Do early stopping with A to adjust the weights and B to decide when to
   stop (this makes B a validation set).
 o Choose among all 3 nets trained by maximum likelihood and the 2 nets
   trained by early stopping based on the error computed on B (the
   validation set).
 o Estimate the generalization error of the chosen network using C (the test
   set).

Or you could divide the sample into 4 subsets, say A, B, C, and D and
proceed as follows:

 o Do maximum likelihood using A and B combined.
 o Do early stopping with A to adjust the weights and B to decide when to
   stop (this makes B a validation set with respect to early stopping).
 o Choose among all 3 nets trained by maximum likelihood and the 2 nets
   trained by early stopping based on the error computed on C (this makes C
   a second validation set).
 o Estimate the generalization error of the chosen network using D (the test
   set).

Or, with the same 4 subsets, you could take a third approach:

 o Do maximum likelihood using A.
 o Choose among the 3 nets trained by maximum likelihood based on the error
   computed on B (the first validation set)
 o Do early stopping with A to adjust the weights and B (the first
   validation set) to decide when to stop.
 o Choose among the best net trained by maximum likelihood and the 2 nets
   trained by early stopping based on the error computed on C (the second
   validation set).
 o Estimate the generalization error of the chosen network using D (the test
   set).

You could argue that the first approach is biased towards choosing a net
trained by early stopping. Early stopping involves a choice among a
potentially large number of networks, and therefore provides more
opportunity for overfitting the validation set than does the choice among
only 3 networks trained by maximum likelihood. Hence if you make the final
choice of networks using the same validation set (B) that was used for early
stopping, you give an unfair advantage to early stopping. If you are writing
an article to compare various training methods, this bias could be a serious
flaw. But if you are using NNs for some practical application, this bias
might not matter at all, since you obtain an honest estimate of
generalization error using C.

You could also argue that the second and third approaches are too wasteful
in their use of data. This objection could be important if your sample
contains 100 cases, but will probably be of little concern if your sample
contains 100,000,000 cases. For small samples, there are other methods that
make more efficient use of data; see "What are cross-validation and
bootstrapping?"

References:

   Bishop, C.M. (1995), Neural Networks for Pattern Recognition, Oxford:
   Oxford University Press.

   Ripley, B.D. (1996) Pattern Recognition and Neural Networks, Cambridge:
   Cambridge University Press.

   Tsypkin, Y. (1971), Adaptation and Learning in Automatic Systems, NY:
   Academic Press.

------------------------------------------------------------------------

Subject: How are NNs related to statistical methods?
=====================================================

There is considerable overlap between the fields of neural networks and
statistics. Statistics is concerned with data analysis. In neural network
terminology, statistical inference means learning to generalize from noisy
data. Some neural networks are not concerned with data analysis (e.g., those
intended to model biological systems) and therefore have little to do with
statistics. Some neural networks do not learn (e.g., Hopfield nets) and
therefore have little to do with statistics. Some neural networks can learn
successfully only from noise-free data (e.g., ART or the perceptron rule)
and therefore would not be considered statistical methods. But most neural
networks that can learn to generalize effectively from noisy data are
similar or identical to statistical methods. For example:

 o Feedforward nets with no hidden layer (including functional-link neural
   nets and higher-order neural nets) are basically generalized linear
   models.
 o Feedforward nets with one hidden layer are closely related to projection
   pursuit regression.
 o Probabilistic neural nets are identical to kernel discriminant analysis.
 o Kohonen nets for adaptive vector quantization are very similar to k-means
   cluster analysis.
 o Kohonen self-organizing maps are discrete approximations to principal
   curves and surfaces.
 o Hebbian learning is closely related to principal component analysis.

Some neural network areas that appear to have no close relatives in the
existing statistical literature are:

 o Reinforcement learning (although this is treated in the operations
   research literature on Markov decision processes).
 o Stopped training (the purpose and effect of stopped training are similar
   to shrinkage estimation, but the method is quite different).

Feedforward nets are a subset of the class of nonlinear regression and
discrimination models. Statisticians have studied the properties of this
general class but had not considered the specific case of feedforward neural
nets before such networks were popularized in the neural network field.
Still, many results from the statistical theory of nonlinear models apply
directly to feedforward nets, and the methods that are commonly used for
fitting nonlinear models, such as various Levenberg-Marquardt and conjugate
gradient algorithms, can be used to train feedforward nets. The application
of statistical theory to neural networks is explored in detail by Bishop
(1995) and Ripley (1996). Several summary articles have also been published
relating statistical models to neural networks, including Cheng and
Titterington (1994), Kuan and White (1994), Ripley (1993, 1994), Sarle
(1994), and several articles in Cherkassky, Friedman, and Wechsler (1994).
Among the many statistical concepts important to neural nets is the
bias/variance trade-off in nonparametric estimation, discussed by Geman,
Bienenstock, and Doursat, R. (1992). Some more advanced results of
statistical theory applied to neural networks are given by White (1989a,
1989b, 1990, 1992a) and White and Gallant (1992), reprinted in White
(1992b).

While neural nets are often defined in terms of their algorithms or
implementations, statistical methods are usually defined in terms of their
results. The arithmetic mean, for example, can be computed by a (very
simple) backprop net, by applying the usual formula SUM(x_i)/n, or by
various other methods. What you get is still an arithmetic mean regardless
of how you compute it. So a statistician would consider standard backprop,
Quickprop, and Levenberg-Marquardt as different algorithms for implementing
the same statistical model such as a feedforward net. On the other hand,
different training criteria, such as least squares and cross entropy, are
viewed by statisticians as fundamentally different estimation methods with
different statistical properties.

It is sometimes claimed that neural networks, unlike statistical models,
require no distributional assumptions. In fact, neural networks involve
exactly the same sort of distributional assumptions as statistical models
(Bishop, 1995), but statisticians study the consequences and importance of
these assumptions while many neural networkers ignore them. For example,
least-squares training methods are widely used by statisticians and neural
networkers. Statisticians realize that least-squares training involves
implicit distributional assumptions in that least-squares estimates have
certain optimality properties for noise that is normally distributed with
equal variance for all training cases and that is independent between
different cases. These optimality properties are consequences of the fact
that least-squares estimation is maximum likelihood under those conditions.
Similarly, cross-entropy is maximum likelihood for noise with a Bernoulli
distribution. If you study the distributional assumptions, then you can
recognize and deal with violations of the assumptions. For example, if you
have normally distributed noise but some training cases have greater noise
variance than others, then you may be able to use weighted least squares
instead of ordinary least squares to obtain more efficient estimates.

Hundreds, perhaps thousands of people have run comparisons of neural nets
with "traditional statistics" (whatever that means). Most such studies
involve one or two data sets, and are of little use to anyone else unless
they happen to be analyzing the same kind of data. But there is an
impressive comparative study of supervised classification by Michie,
Spiegelhalter, and Taylor (1994), which not only compares many
classification methods on many data sets, but also provides unusually
extensive analyses of the results. Another useful study on supervised
classification by Lim, Loh, and Shih (1999) is available on-line. There is
an excellent comparison of unsupervised Kohonen networks and k-means
clustering by Balakrishnan, Cooper, Jacob, and Lewis (1994).

There are many methods in the statistical literature that can be used for
flexible nonlinear modeling. These methods include:

 o Polynomial regression (Eubank, 1999)
 o Fourier series regression (Eubank, 1999; Haerdle, 1990)
 o Wavelet smoothing (Donoho and Johnstone, 1995; Donoho, Johnstone,
   Kerkyacharian, and Picard, 1995)
 o K-nearest neighbor regression and discriminant analysis (Haerdle, 1990;
   Hand, 1981, 1997; Ripley, 1996)
 o Kernel regression and discriminant analysis (Eubank, 1999; Haerdle, 1990;
   Hand, 1981, 1982, 1997; Ripley, 1996)
 o Local polynomial smoothing (Eubank, 1999; Wand and Jones, 1995; Fan and
   Gijbels, 1995)
 o LOESS (Cleveland and Gross, 1991)
 o Smoothing splines (such as thin-plate splines) (Eubank, 1999; Wahba,
   1990; Green and Silverman, 1994; Haerdle, 1990)
 o B-splines (Eubank, 1999)
 o Tree-based models (CART, AID, etc.) (Haerdle, 1990; Lim, Loh, and Shih,
   1997; Hand, 1997; Ripley, 1996)
 o Multivariate adaptive regression splines (MARS) (Friedman, 1991)
 o Projection pursuit (Friedman and Stuetzle, 1981; Haerdle, 1990; Ripley,
   1996)
 o Various Bayesian methods (Dey, 1998)
 o GMDH (Farlow, 1984)

Why use neural nets rather than any of the above methods? There are many
answers to that question depending on what kind of neural net you're
interested in. The most popular variety of neural net, the MLP, tends to be
useful in the same situations as projection pursuit regression, i.e.:

 o the number of inputs is fairly large,
 o many of the inputs are relevant, but
 o most of the predictive information lies in a low-dimensional subspace.

The main advantage of MLPs over projection pursuit regression is that
computing predicted values from MLPs is simpler and faster. Also, MLPs are
better at learning moderately pathological functions than are many other
methods with stronger smoothness assumptions (see
ftp://ftp.sas.com/pub/neural/dojo/dojo.html) as long as the number of
pathological features (such as discontinuities) in the function is not too
large. For more discussion of the theoretical benefits of various types of
neural nets, see How do MLPs compare with RBFs?

Communication between statisticians and neural net researchers is often
hindered by the different terminology used in the two fields. There is a
comparison of neural net and statistical jargon in
ftp://ftp.sas.com/pub/neural/jargon

For free statistical software, see the StatLib repository at
http://lib.stat.cmu.edu/ at Carnegie Mellon University.

There are zillions of introductory textbooks on statistics. One of the
better ones is Moore and McCabe (1989). At an intermediate level, the books
on linear regression by Weisberg (1985) and Myers (1986), on logistic
regression by Hosmer and Lemeshow (1989), and on discriminant analysis by
Hand (1981) can be recommended. At a more advanced level, the book on
generalized linear models by McCullagh and Nelder (1989) is an essential
reference, and the book on nonlinear regression by Gallant (1987) has much
material relevant to neural nets.

Several introductory statistics texts are available on the web:

 o David Lane, HyperStat, at
   http://www.ruf.rice.edu/~lane/hyperstat/contents.html
 o Jan de Leeuw (ed.), Statistics: The Study of Stability in Variation , at
   http://www.stat.ucla.edu/textbook/
 o StatSoft, Inc., Electronic Statistics Textbook, at
   http://www.statsoft.com/textbook/stathome.html
 o David Stockburger, Introductory Statistics: Concepts, Models, and
   Applications, at http://www.psychstat.smsu.edu/sbk00.htm
 o University of Newcastle (Australia) Statistics Department, SurfStat
   Australia, http://surfstat.newcastle.edu.au/surfstat/

A more advanced book covering many topics that are also relevant to NNs is:

 o Frank Harrell, REGRESSION MODELING STRATEGIES With
   Applications to Linear Models, Logistic Regression, and Survival Analysis,
   at http://hesweb1.med.virginia.edu/biostat/rms/

References:

   Balakrishnan, P.V., Cooper, M.C., Jacob, V.S., and Lewis, P.A. (1994) "A
   study of the classification capabilities of neural networks using
   unsupervised learning: A comparison with k-means clustering",
   Psychometrika, 59, 509-525.

   Bishop, C.M. (1995), Neural Networks for Pattern Recognition, Oxford:
   Oxford University Press.

   Cheng, B. and Titterington, D.M. (1994), "Neural Networks: A Review from
   a Statistical Perspective", Statistical Science, 9, 2-54.

   Cherkassky, V., Friedman, J.H., and Wechsler, H., eds. (1994), From
   Statistics to Neural Networks: Theory and Pattern Recognition
   Applications, Berlin: Springer-Verlag.

   Cleveland and Gross (1991), "Computational Methods for Local Regression,"
   Statistics and Computing 1, 47-62.

   Dey, D., ed. (1998) Practical Nonparametric and Semiparametric Bayesian
   Statistics, Springer Verlag.

   Donoho, D.L., and Johnstone, I.M. (1995), "Adapting to unknown smoothness
   via wavelet shrinkage," J. of the American Statistical Association, 90,
   1200-1224.

   Donoho, D.L., Johnstone, I.M., Kerkyacharian, G., and Picard, D. (1995),
   "Wavelet shrinkage: asymptopia (with discussion)?" J. of the Royal
   Statistical Society, Series B, 57, 301-369.

   Eubank, R.L. (1999), Nonparametric Regression and Spline Smoothing, 2nd
   ed., Marcel Dekker, ISBN 0-8247-9337-4.

   Fan, J., and Gijbels, I. (1995), "Data-driven bandwidth selection in
   local polynomial: variable bandwidth and spatial adaptation," J. of the
   Royal Statistical Society, Series B, 57, 371-394.

   Farlow, S.J. (1984), Self-organizing Methods in Modeling: GMDH Type
   Algorithms, NY: Marcel Dekker. (GMDH)

   Friedman, J.H. (1991), "Multivariate adaptive regression splines", Annals
   of Statistics, 19, 1-141. (MARS)

   Friedman, J.H. and Stuetzle, W. (1981) "Projection pursuit regression,"
   J. of the American Statistical Association, 76, 817-823.

   Gallant, A.R. (1987) Nonlinear Statistical Models, NY: Wiley.

   Geman, S., Bienenstock, E. and Doursat, R. (1992), "Neural Networks and
   the Bias/Variance Dilemma", Neural Computation, 4, 1-58.

   Green, P.J., and Silverman, B.W. (1994), Nonparametric Regression and
   Generalized Linear Models: A Roughness Penalty Approach, London:
   Chapman & Hall.

   Haerdle, W. (1990), Applied Nonparametric Regression, Cambridge Univ.
   Press.

   Hand, D.J. (1981) Discrimination and Classification, NY: Wiley.

   Hand, D.J. (1982) Kernel Discriminant Analysis, Research Studies Press.

   Hand, D.J. (1997) Construction and Assessment of Classification Rules,
   NY: Wiley.

   Hill, T., Marquez, L., O'Connor, M., and Remus, W. (1994), "Artificial
   neural network models for forecasting and decision making," International
   J. of Forecasting, 10, 5-15.

   Kuan, C.-M. and White, H. (1994), "Artificial Neural Networks: An
   Econometric Perspective", Econometric Reviews, 13, 1-91.

   Kushner, H. & Clark, D. (1978), Stochastic Approximation Methods for
   Constrained and Unconstrained Systems, Springer-Verlag.

   Lim, T.-S., Loh, W.-Y. and Shih, Y.-S. ( 1999?), "A comparison of
   prediction accuracy, complexity, and training time of thirty-three old
   and new classification algorithms," Machine Learning, forthcoming,
   preprint available at http://www.recursive-partitioning.com/mach1317.pdf,
   and appendix containing complete tables of error rates, ranks, and
   training times at http://www.recursive-partitioning.com/appendix.pdf

   McCullagh, P. and Nelder, J.A. (1989) Generalized Linear Models, 2nd
   ed., London: Chapman & Hall.

   Michie, D., Spiegelhalter, D.J. and Taylor, C.C., eds. (1994), Machine
   Learning, Neural and Statistical Classification, NY: Ellis Horwood; this
   book is out of print but available online at
   http://www.amsta.leeds.ac.uk/~charles/statlog/

   Moore, D.S., and McCabe, G.P. (1989), Introduction to the Practice of
   Statistics, NY: W.H. Freeman.

   Myers, R.H. (1986), Classical and Modern Regression with Applications,
   Boston: Duxbury Press.

   Ripley, B.D. (1993), "Statistical Aspects of Neural Networks", in O.E.
   Barndorff-Nielsen, J.L. Jensen and W.S. Kendall, eds., Networks and
   Chaos: Statistical and Probabilistic Aspects, Chapman & Hall. ISBN 0 412
   46530 2.

   Ripley, B.D. (1994), "Neural Networks and Related Methods for
   Classification," Journal of the Royal Statistical Society, Series B, 56,
   409-456.

   Ripley, B.D. (1996) Pattern Recognition and Neural Networks, Cambridge:
   Cambridge University Press.

   Sarle, W.S. (1994), "Neural Networks and Statistical Models,"
   Proceedings of the Nineteenth Annual SAS Users Group International
   Conference, Cary, NC: SAS Institute, pp 1538-1550. (
   ftp://ftp.sas.com/pub/neural/neural1.ps)

   Wahba, G. (1990), Spline Models for Observational Data, SIAM.

   Wand, M.P., and Jones, M.C. (1995), Kernel Smoothing, London: Chapman &
   Hall.

   Weisberg, S. (1985), Applied Linear Regression, NY: Wiley

   White, H. (1989a), "Learning in Artificial Neural Networks: A Statistical
   Perspective," Neural Computation, 1, 425-464.

   White, H. (1989b), "Some Asymptotic Results for Learning in Single Hidden
   Layer Feedforward Network Models", J. of the American Statistical Assoc.,
   84, 1008-1013.

   White, H. (1990), "Connectionist Nonparametric Regression: Multilayer
   Feedforward Networks Can Learn Arbitrary Mappings," Neural Networks, 3,
   535-550.

   White, H. (1992a), "Nonparametric Estimation of Conditional Quantiles
   Using Neural Networks," in Page, C. and Le Page, R. (eds.), Computing
   Science and Statistics.

   White, H., and Gallant, A.R. (1992), "On Learning the Derivatives of an
   Unknown Mapping with Multilayer Feedforward Networks," Neural Networks,
   5, 129-138.

   White, H. (1992b), Artificial Neural Networks: Approximation and
   Learning Theory, Blackwell.

------------------------------------------------------------------------

Next part is part 2 (of 7).

--

Warren S. Sarle       SAS Institute Inc.   The opinions expressed here
[e-mail]    SAS Campus Drive     are mine and not necessarily
[phone]        Cary, NC 27513, USA  those of SAS Institute.