KBANN: The files: declarat.lisp utils.lisp lv.lisp form the heart of the KBANN system. In addition the file bpp.lisp is a backpropagation module that interacts nicely with KBANN and random.lisp is a random number generator required by KBANN. To get an idea of how KBANN might be loaded into a list system, see the file init.lisp To use KBANN you must first set up a datafile. The files eacup.data eachair.data are simple examples of KBANN datafiles. The file language.tex provides a more complete description of the structure of datafiles. Once the code and data is loaded into LISP, KBANN can be run using the function RUN-SYSTEM. This function has a plethora of keyword parameters, execute (documentation 'run-system 'defun) for a description of what each does. In addition tot he keywords on RUN-SYSTEM, the operation of the system is affected by a number of global variables all of which are defined in declarat.lisp To get a listing of the relevant variables and their current bindings execute (SHOW-DEFAULTS). Finally, there are several lisp files included in the tarfile in addition to those named above. These files add functions to the basic KBANN system. However, many of these files are poorly documented. Perhaps the most useful of the supplementary files is c-r.lisp which contains functions to display and test networks (SHOW-NET and BEST-GUESS-CORRECT). Finally, the major KBANN files are known to run properly under: lucid on a sun 4, allegro and a DEC 3100, and MCL on an Apple Macintosh. It should work properly on other systems as the bulk code is pure common lisp. The only parts of the code that deviate from pure common lisp is in kb-visua.lisp which is a graphic interface to KBANN. It requires either X-windows with the CLX package leaded or MCL v2.0 on a Macintosh. Please report any bugs you encounter. I will try to correct them as soon as possible. Geoff Towell towell@cs.wisc.edu