home *** CD-ROM | disk | FTP | other *** search
/ Freelog Special Edition 1: Linux / CD1.iso / doc / HOWTO / mini / AI-Alife < prev    next >
Text File  |  1998-10-14  |  111KB  |  2,388 lines
  1.  
  2.                                LINUX & AI/ALIFE
  3.                                   MINI-HOWTO
  4.                                        
  5.    
  6.    
  7.    Version 2.0
  8.    
  9.    This document is maintained by John A. Eikenberry
  10.    The master page for this document is
  11.    http://www.ai.uga.edu/~jae/ai.html
  12.    Last modified: Tue Jan 13 17:23:21 EST 1998
  13.    
  14.    
  15.      _________________________________________________________________
  16.    
  17.    
  18.    
  19. Table of Contents
  20.  
  21.      * What's New
  22.      * Introduction
  23.           + Purpose
  24.           + Finding the Software
  25.           + Updates and Comments
  26.      * Programming Languages
  27.      * Traditional Artificial Intelligence
  28.           + AI class/code libraries
  29.           + AI software kits, applications, etc.
  30.      * Connectionism (neural nets)
  31.           + Connectionist Class/Code Libraries
  32.           + Connectionist Applications
  33.      * Evolutionary Computing (EC) (genetic algorithms/programming)
  34.           + EC Class/Code Libraries
  35.           + EC Applications
  36.      * Artificial Life
  37.           + Alife class/code libraries
  38.           + Alife software kits, applications, etc.
  39.      * Autonomous Agents and Bots
  40.      * AI & Alife related newsgroups
  41.      * AI & Alife resource links
  42.        
  43.    
  44.    
  45.    
  46.      _________________________________________________________________
  47.    
  48.    
  49.    
  50.    
  51.    
  52. What's New
  53.  
  54.    Note: For a list of new additions to this mini-howto, please visit the
  55.    master page listed above.
  56.    
  57.    (1.11.98)Thanks to Dirk Heise for his submission of Gas. I've also
  58.    removed a couple more of the non-AI oriented scheme implementations. I
  59.    just felt having 10 scheme implementations listed was a bit silly,
  60.    especially since some of them weren't really meant for AI stuff. If
  61.    you want a listing of more scheme's look here or here.
  62.    
  63.    (12.29.97) Added a couple more entries and web links, including a
  64.    patched lil-gp.
  65.    
  66.    (10.1.97) Ok. I struck the motherload of Baysean Networks, see the
  67.    Connectionism section for more. Plus I cleaned off the 'New' flags
  68.    from anything before August.
  69.    
  70.    (9.26.97) The reformat is done! :) If you are reading this somewhere
  71.    other than the master page, please take a look and let me know what
  72.    you think. Now I can get back to work on my thesis...
  73.    
  74.    
  75.    
  76. Purpose
  77.  
  78.    The Linux OS has evolved from its origins in hackerdom to a full blown
  79.    UNIX, capable of rivaling any commercial UNIX. It now provides an
  80.    inexpensive base to build a great workstation. It has shed its
  81.    hardware dependencies, having been ported to DEC Alphas, Sparcs,
  82.    PowerPCs, with others on the way. This potential speed boost along
  83.    with its networking support will make it great for workstation
  84.    clusters. As a workstation it allows for all sorts of research and
  85.    development, including artificial intelligence and artificial life.
  86.    
  87.    The purpose of this Mini-Howto is to provide a source to find out
  88.    about various software packages, code libraries, and anything else
  89.    that will help someone get started working with (and find resources
  90.    for) artificial intelligence and artificial life. All done with Linux
  91.    specifically in mind.
  92.    
  93.    
  94.    
  95. Where to find this software
  96.  
  97.    All this software should be available via the net (ftp || http). The
  98.    links to where to find it will be provided in the description of each
  99.    package. There will also be plenty of software not covered on these
  100.    pages (which is usually platform independent) located on one of the
  101.    resources listed under the Web Links section.
  102.    
  103.    
  104.    
  105. Updates and comments
  106.  
  107.    If you find any mistakes, know of updates to one of the items below,
  108.    or have problems compiling and of the applications, please mail me at:
  109.    jae@ai.uga.edu and I'll see what I can do.
  110.    
  111.    If you know of any AI/Alife applications, class libraries, etc.
  112.    _Please_ email me about them. Include your name, ftp and/or http sites
  113.    where they can be found, plus a brief overview/commentary on the
  114.    software (this info would make things a lot easier on me... but don't
  115.    feel obligated ;).
  116.    
  117.    I know that keeping this list up to date and expanding it will take
  118.    quite a bit of work. So please be patient (I do have other projects).
  119.    I hope you will find this document helpful.
  120.    
  121.    
  122.      _________________________________________________________________
  123.    
  124.    
  125.    
  126. Programming languages
  127.  
  128.    While any programming language can be used for artificial
  129.    intelligence/life research, these are programming languages which are
  130.    used extensively for, if not specifically made for, artificial
  131.    intelligence programming.
  132.    
  133.    
  134.    
  135.    
  136.           
  137.    ECoLisp [New]
  138.           Web site: www.di.unipi.it/~attardi/software.html
  139.           ECoLisp (Embeddable Common Lisp) is an implementation of Common
  140.           Lisp designed for being embeddable into C based applications.
  141.           ECL uses standard C calling conventions for Lisp compiled
  142.           functions, which allows C programs to easily call Lisp
  143.           functions and viceversa. No foreign function interface is
  144.           required: data can be exchanged between C and Lisp with no need
  145.           for conversion. ECL is based on a Common Runtime Support (CRS)
  146.           which provides basic facilities for memory managment, dynamic
  147.           loading and dumping of binary images, support for multiple
  148.           threads of execution. The CRS is built into a library that can
  149.           be linked with the code of the application. ECL is modular:
  150.           main modules are the program development tools (top level,
  151.           debugger, trace, stepper), the compiler, and CLOS. A native
  152.           implementation of CLOS is available in ECL: one can configure
  153.           ECL with or without CLOS. A runtime version of ECL can be built
  154.           with just the modules which are required by the application.
  155.           The ECL compiler compiles from Lisp to C, and then invokes the
  156.           GCC compiler to produce binaries.
  157.           
  158.           
  159.           
  160.    G÷del
  161.           Web page: www.cs.bris.ac.uk/~bowers/goedel.html
  162.           G÷del is a declarative, general-purpose programming language in
  163.           the family of logic programming languages. It is a strongly
  164.           typed language, the type system being based on many-sorted
  165.           logic with parametric polymorphism. It has a module system.
  166.           G÷del supports infinite precision integers, infinite precision
  167.           rationals, and also floating-point numbers. It can solve
  168.           constraints over finite domains of integers and also linear
  169.           rational constraints. It supports processing of finite sets. It
  170.           also has a flexible computation rule and a pruning operator
  171.           which generalizes the commit of the concurrent logic
  172.           programming languages. Considerable emphasis is placed on
  173.           G÷del's meta- logical facilities which provide significant
  174.           support for meta-programs that do analysis, transformation,
  175.           compilation, verification, debugging, and so on.
  176.           
  177.           
  178.           
  179.    LIFE
  180.           Web page: www.isg.sfu.ca/life
  181.           LIFE (Logic, Inheritance, Functions, and Equations) is an
  182.           experimental programming language proposing to integrate three
  183.           orthogonal programming paradigms proven useful for symbolic
  184.           computation. From the programmer's standpoint, it may be
  185.           perceived as a language taking after logic programming,
  186.           functional programming, and object-oriented programming. From a
  187.           formal perspective, it may be seen as an instance (or rather, a
  188.           composition of three instances) of a Constraint Logic
  189.           Programming scheme due to Hoehfeld and Smolka refining that of
  190.           Jaffar and Lassez.
  191.           
  192.           
  193.           
  194.    CLisp (Lisp)
  195.           FTP site: sunsite.unc.edu/pub/Linux/devel/lang/lisp/
  196.           CLISP is a Common Lisp implementation by Bruno Haible and
  197.           Michael Stoll. It mostly supports the Lisp described by 'Common
  198.           LISP: The Language (2nd edition)' and the ANSI Common Lisp
  199.           standard. CLISP includes an interpreter, a byte-compiler, a
  200.           large subset of CLOS (Object-Oriented Lisp) , a foreign
  201.           language interface and, for some machines, a screen editor.
  202.           
  203.           The user interface language (English, German, French) is chosen
  204.           at run time. Major packages that run in CLISP include CLX &
  205.           Garnet. CLISP needs only 2 MB of memory.
  206.           
  207.           
  208.           
  209.    CMU Common Lisp
  210.           Web page: www.mv.com/users/pw/lisp/index.html
  211.           FTP site: sunsite.unc.edu/pub/Linux/devel/lang/lisp/
  212.           CMU Common Lisp is a public domain "industrial strength" Common
  213.           Lisp programming environment. Many of the X3j13 changes have
  214.           been incorporated into CMU CL. Wherever possible, this has been
  215.           done so as to transparently allow the use of either CLtL1 or
  216.           proposed ANSI CL. Probably the new features most interesting to
  217.           users are SETF functions, LOOP and the WITH-COMPILATION-UNIT
  218.           macro.
  219.           
  220.           
  221.           
  222.    GCL (Lisp)
  223.           FTP site: sunsite.unc.edu/pub/Linux/devel/lang/lisp/
  224.           GNU Common Lisp (GCL) has a compiler and interpreter for Common
  225.           Lisp. It used to be known as Kyoto Common Lisp. It is very
  226.           portable and extremely efficient on a wide class of
  227.           applications. It compares favorably in performance with
  228.           commercial Lisps on several large theorem-prover and symbolic
  229.           algebra systems. It supports the CLtL1 specification but is
  230.           moving towards the proposed ANSI definition. GCL compiles to C
  231.           and then uses the native optimizing C compilers (e.g., GCC). A
  232.           function with a fixed number of args and one value turns into a
  233.           C function of the same number of args, returning one value, so
  234.           GCL is maximally efficient on such calls. It has a conservative
  235.           garbage collector which allows great freedom for the C compiler
  236.           to put Lisp values in arbitrary registers.
  237.           
  238.           It has a source level Lisp debugger for interpreted code, with
  239.           display of source code in an Emacs window. Its profiling tools
  240.           (based on the C profiling tools) count function calls and the
  241.           time spent in each function.
  242.           
  243.           
  244.           
  245.    Mercury
  246.           Web page: www.cs.mu.oz.au/research/mercury/
  247.           Mercury is a new, purely declarative logic programming
  248.           language. Like Prolog and other existing logic programming
  249.           languages, it is a very high-level language that allows
  250.           programmers to concentrate on the problem rather than the
  251.           low-level details such as memory management. Unlike Prolog,
  252.           which is oriented towards exploratory programming, Mercury is
  253.           designed for the construction of large, reliable, efficient
  254.           software systems by teams of programmers. As a consequence,
  255.           programming in Mercury has a different flavor than programming
  256.           in Prolog.
  257.           
  258.           
  259.           
  260.    DFKI OZ
  261.           Web page: www.ps.uni-sb.de/oz/
  262.           FTP site: ps-ftp.dfki.uni-sb.de/pub/oz2/
  263.           Oz is a high-level programming language designed for concurrent
  264.           symbolic computation. It is based on a new computation model
  265.           providing a uniform and simple foundation for several
  266.           programming paradigms, including higher-order functional,
  267.           constraint logic, and concurrent object-oriented programming.
  268.           Oz is designed as a successor to languages such as Lisp, Prolog
  269.           and Smalltalk, which fail to support applications that require
  270.           concurrency, reactivity, and real-time control.
  271.           
  272.           DFKI Oz is an interactive implementation of Oz featuring a
  273.           programming interface based on GNU Emacs, a concurrent browser,
  274.           an object-oriented interface to Tcl/Tk, powerful
  275.           interoperability features (sockets, C, C++), an incremental
  276.           compiler, a garbage collector, and support for stand-alone
  277.           applications. Performance is competitive with commercial Prolog
  278.           and Lisp systems.
  279.           
  280.           
  281.           
  282.    BinProlog
  283.           Web site(documentation):
  284.           clement.info.umoncton.ca/BinProlog/UNCOMPRESSED/doc/html/art.h
  285.           tml
  286.           FTP site(source): clement.info.umoncton.ca/BinProlog
  287.           FTP site(binary):
  288.           clement.info.umoncton.ca/BinProlog/UNCOMPRESSED/bin
  289.           BinProlog is a fast and compact Prolog compiler, based on the
  290.           transformation of Prolog to binary clauses. The compilation
  291.           technique is similar to the Continuation Passing Style
  292.           transformation used in some ML implementations. BinProlog 5.00
  293.           is also probably the first Prolog system featuring dynamic
  294.           recompilation of asserted predicates (a technique similar to
  295.           the one used in some object oriented languages like SELF 4.0),
  296.           and a very efficient segment preserving copying heap garbage
  297.           collector.
  298.           
  299.           Although it (used to) incorporate some last minute research
  300.           experiments, which might look adventurous at the first sight,
  301.           BinProlog is a fairly robust and complete Prolog implementation
  302.           featuring both C-emulated execution and generation of
  303.           stand-alone applications by compilation to C.
  304.           
  305.           
  306.           
  307.    SWI Prolog
  308.           Web page: swi.psy.uva.nl/projects/xpce/SWI-Prolog.html
  309.           FTP site: swi.psy.uva.nl/pub/SWI-Prolog/
  310.           SWI is a free version of prolog in the Edinburgh Prolog family
  311.           (thus making it very similar to Quintus and many other
  312.           versions). With: a large library of built in predicates, a
  313.           module system, garbage collection, a two-way interface with the
  314.           C language, plus many other features. It is meant as a
  315.           educational language, so it's compiled code isn't the fastest.
  316.           Although it similarity to Quintus allows for easy porting.
  317.           
  318.           XPCE is freely available in binary form for the Linux version
  319.           of SWI-prolog. XPCE is an object oriented X-windows GUI
  320.           development package/environment.
  321.           
  322.           
  323.           
  324.    Kali Scheme
  325.           Web site: www.neci.nj.nec.com/PLS/Kali.html
  326.           Kali Scheme is a distributed implementation of Scheme that
  327.           permits efficient transmission of higher-order objects such as
  328.           closures and continuations. The integration of distributed
  329.           communication facilities within a higher-order programming
  330.           language engenders a number of new abstractions and paradigms
  331.           for distributed computing. Among these are user-specified
  332.           load-balancing and migration policies for threads,
  333.           incrementally-linked distributed computations, agents, and
  334.           parameterized client-server applications. Kali Scheme supports
  335.           concurrency and communication using first-class procedures and
  336.           continuations. It integrates procedures and continuations into
  337.           a message-based distributed framework that allows any Scheme
  338.           object (including code vectors) to be sent and received in a
  339.           message.
  340.           
  341.           
  342.           
  343.    RScheme
  344.           Web site:www.rosette.com/~donovan/rs/rscheme.html
  345.           FTP site: ftp.rosette.com/pub/rscheme
  346.           RScheme is an object-oriented, extended version of the Scheme
  347.           dialect of Lisp. RScheme is freely redistributable, and offers
  348.           reasonable performance despite being extraordinarily portable.
  349.           RScheme can be compiled to C, and the C can then compiled with
  350.           a normal C compiler to generate machine code. By default,
  351.           however, RScheme compiles to bytecodes which are interpreted by
  352.           a (runtime) virtual machine. This ensures that compilation is
  353.           fast and keeps code size down. In general, we recommend using
  354.           the (default) bytecode code generation system, and only
  355.           compiling your time-critical code to machine code. This allows
  356.           a nice adjustment of space/time tradeoffs. (see web site for
  357.           details)
  358.           
  359.           
  360.           
  361.    Scheme48
  362.           Web site: www-swiss.ai.mit.edu/~jar/s48.html (download from ftp
  363.           site)
  364.           FTP site: swiss-ftp.ai.mit.edu:/archive/s48/
  365.           Scheme 48 is a Scheme implementation based on a virtual machine
  366.           architecture. Scheme 48 is designed to be straightforward,
  367.           flexible, reliable, and fast. It should be easily portable to
  368.           32-bit byte-addressed machines that have POSIX and ANSI C
  369.           support. In addition to the usual Scheme built-in procedures
  370.           and a development environment, library software includes
  371.           support for hygienic macros (as described in the Revised^4
  372.           Scheme report), multitasking, records, exception handling, hash
  373.           tables, arrays, weak pointers, and FORMAT. Scheme 48 implements
  374.           and exploits an experimental module system loosely derived from
  375.           Standard ML and Scheme Xerox. The development environment
  376.           supports interactive changes to modules and interfaces.
  377.           
  378.           
  379.           
  380.    SCM (Scheme)
  381.           Web site: www-swiss.ai.mit.edu/~jaffer/SCM.html
  382.           FTP site: swiss-ftp.ai.mit.edu:/archive/scm/
  383.           SCM conforms to the Revised^4 Report on the Algorithmic
  384.           Language Scheme and the IEEE P1178 specification. Scm is
  385.           written in C. It uses the following utilities (all available at
  386.           the ftp site).
  387.           
  388.           + SLIB (Standard Scheme Library) is a portable Scheme library
  389.             which is intended to provide compatibility and utility
  390.             functions for all standard Scheme implementations, including
  391.             SCM, Chez, Elk, Gambit, MacScheme, MITScheme, scheme->C,
  392.             Scheme48, T3.1, and VSCM, and is available as the file
  393.             slib2c0.tar.gz. Written by Aubrey Jaffer.
  394.           + JACAL is a symbolic math system written in Scheme, and is
  395.             available as the file jacal1a7.tar.gz.
  396.           + Interfaces to standard libraries including REGEX string
  397.             regular expression matching and the CURSES screen management
  398.             package.
  399.           + Available add-on packages including an interactive debugger,
  400.             database, X-window graphics, BGI graphics, Motif, and
  401.             Open-Windows packages.
  402.           + A compiler (HOBBIT, available separately) and dynamic linking
  403.             of compiled modules.
  404.             
  405.    
  406.           
  407.           
  408.           
  409.    Shift [New]
  410.           Web site: www.path.berkeley.edu/shift/
  411.           Shift is a programming language for describing dynamic networks
  412.           of hybrid automata. Such systems consist of components which
  413.           can be created, interconnected and destroyed as the system
  414.           evolves. Components exhibit hybrid behavior, consisting of
  415.           continuous-time phases separated by discrete-event transitions.
  416.           Components may evolve independently, or they may interact
  417.           through their inputs, outputs and exported events. The
  418.           interaction network itself may evolve. 
  419.           
  420.    
  421.    
  422.    
  423.    
  424. Traditional Artificial Intelligence
  425.  
  426.     Traditional AI is based around the ideas of logic, rule systems,
  427.    linguistics, and the concept of rationality. At its roots are
  428.    programming languages such as Lisp and Prolog. Expert systems are the
  429.    largest successful example of this paradigm. An expert system consists
  430.    of a detailed knowledge base and a complex rule system to utilize it.
  431.    Such systems have been used for such things as medical diagnosis
  432.    support and credit checking systems. 
  433.    
  434.   AI class/code libraries
  435.   
  436.    These are libraries of code or classes for use in programming within
  437.    the artificial intelligence field. They are not meant as stand alone
  438.    applications, but rather as tools for building your own applications.
  439.    
  440.    
  441.    
  442.    
  443.           
  444.    AI Search
  445.           FTP site: ftp.icce.rug.nl/pub/peter/
  446.           Submitted by: Peter M. Bouthoorn
  447.           Basically, the library offers the programmer a set of search
  448.           algorithms that may be used to solve all kind of different
  449.           problems. The idea is that when developing problem solving
  450.           software the programmer should be able to concentrate on the
  451.           representation of the problem to be solved and should not need
  452.           to bother with the implementation of the search algorithm that
  453.           will be used to actually conduct the search. This idea has been
  454.           realized by the implementation of a set of search classes that
  455.           may be incorporated in other software through _C++_'s features
  456.           of derivation and inheritance. The following search algorithms
  457.           have been implemented:
  458.           
  459.           - depth-first tree and graph search.
  460.           - breadth-first tree and graph search.
  461.           - uniform-cost tree and graph search.
  462.           - best-first search.
  463.           - bidirectional depth-first tree and graph search.
  464.           - bidirectional breadth-first tree and graph search.
  465.           - AND/OR depth tree search.
  466.           - AND/OR breadth tree search.
  467.           
  468.           
  469.           Peter plans to release a new version of the library soon, which
  470.           will also be featured in a book about C++ and AI to appear this
  471.           year.
  472.           
  473.           
  474.           
  475.    Chess In Lisp (CIL)
  476.           FTP site: chess.onenet.net/pub/chess/uploads/projects/
  477.           The CIL (Chess In Lisp) foundation is a Common Lisp
  478.           implementaion of all the core functions needed for development
  479.           of chess applications. The main purpose of the CIL project is
  480.           to get AI researchers interested in using Lisp to work in the
  481.           chess domain.
  482.           
  483.           
  484.           
  485.    DAI [New]
  486.           Web site: starship.skyport.net/crew/gandalf/DNET/AI
  487.           A library for the Python programming language that provides an
  488.           object oriented interface to the CLIPS expert system tool. It
  489.           includes an interface to COOL (CLIPS Object Oriented Language)
  490.           that allows:
  491.           
  492.           + Investigate COOL classes
  493.           + Create and manipulate with COOL instances
  494.           + Manipulate with COOL message-handler's
  495.           + Manipulate with Modules
  496.             
  497.    
  498.           
  499.           
  500.           
  501.    Nyquist [New]
  502.           Web site:
  503.           www.cs.cmu.edu/afs/cs.cmu.edu/project/music/web/music.html
  504.           The Computer Music Project at CMU is developing computer music
  505.           and interactive performance technology to enhance human musical
  506.           experience and creativity. This interdisciplinary effort draws
  507.           on Music Theory, Cognitive Science, Artificial Intelligence and
  508.           Machine Learning, Human Computer Interaction, Real-Time
  509.           Systems, Computer Graphics and Animation, Multimedia,
  510.           Programming Languages, and Signal Processing. A paradigmatic
  511.           example of these interdisciplinary efforts is the creation of
  512.           interactive performances that couple human musical
  513.           improvisation with intelligent computer agents in real-time.
  514.           
  515.           
  516.           
  517.    Screamer
  518.           Web site: www.cis.upenn.edu/~screamer-tools/home.html
  519.           Screamer is an extension of Common Lisp that adds support for
  520.           nondeterministic programming. Screamer consists of two levels.
  521.           The basic nondeterministic level adds support for backtracking
  522.           and undoable side effects. On top of this nondeterministic
  523.           substrate, Screamer provides a comprehensive constraint
  524.           programming language in which one can formulate and solve mixed
  525.           systems of numeric and symbolic constraints. Together, these
  526.           two levels augment Common Lisp with practically all of the
  527.           functionality of both Prolog and constraint logic programming
  528.           languages such as CHiP and CLP(R). Furthermore, Screamer is
  529.           fully integrated with Common Lisp. Screamer programs can
  530.           coexist and interoperate with other extensions to Common Lisp
  531.           such as CLOS, CLIM and Iterate.
  532.           
  533.           
  534.           
  535.    
  536.    
  537.    
  538.    
  539.   AI software kits, applications, etc.
  540.   
  541.    These are various applications, software kits, etc. meant for research
  542.    in the field of artificial intelligence. Their ease of use will vary,
  543.    as they were designed to meet some particular research interest more
  544.    than as an easy to use commercial package.
  545.    
  546.    
  547.           
  548.    ASA - Adaptive Simulated Annealing
  549.           Web site: www.ingber.com/#ASA-CODE
  550.           FTP site: ftp.ingber.com/
  551.           ASA (Adaptive Simulated Annealing) is a powerful global
  552.           optimization C-code algorithm especially useful for nonlinear
  553.           and/or stochastic systems.
  554.           
  555.           ASA is developed to statistically find the best global fit of a
  556.           nonlinear non-convex cost-function over a D-dimensional space.
  557.           This algorithm permits an annealing schedule for 'temperature'
  558.           T decreasing exponentially in annealing-time k, T = T_0 exp(-c
  559.           k^1/D). The introduction of re-annealing also permits
  560.           adaptation to changing sensitivities in the multi-dimensional
  561.           parameter-space. This annealing schedule is faster than fast
  562.           Cauchy annealing, where T = T_0/k, and much faster than
  563.           Boltzmann annealing, where T = T_0/ln k.
  564.           
  565.           
  566.           
  567.    Babylon
  568.           FTP site: ftp.gmd.de/gmd/ai-research/Software/Babylon/
  569.           BABYLON is a modular, configurable, hybrid environment for
  570.           developing expert systems. Its features include objects, rules
  571.           with forward and backward chaining, logic (Prolog) and
  572.           constraints. BABYLON is implemented and embedded in Common
  573.           Lisp.
  574.           
  575.           
  576.           
  577.    CLEARS
  578.           Web site: www.coli.uni-sb.de/~clears/
  579.           The CLEARS system is an interactive graphical environment for
  580.           computational semantics. The tool allows exploration and
  581.           comparison of different semantic formalisms, and their
  582.           interaction with syntax. This enables the user to get an idea
  583.           of the range of possibilities of semantic construction, and
  584.           also where there is real convergence between theories.
  585.           
  586.           
  587.           
  588.    CLIPS
  589.           Web site: www.jsc.nasa.gov/~clips/CLIPS.html
  590.           FTP site:
  591.           cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/areas/exper
  592.           t/systems/clips
  593.           
  594.           CLIPS is a productive development and delivery expert system
  595.           tool which provides a complete environment for the construction
  596.           of rule and/or object based expert systems.
  597.           
  598.           CLIPS provides a cohesive tool for handling a wide variety of
  599.           knowledge with support for three different programming
  600.           paradigms: rule-based, object-oriented and procedural.
  601.           Rule-based programming allows knowledge to be represented as
  602.           heuristics, or "rules of thumb," which specify a set of actions
  603.           to be performed for a given situation. Object-oriented
  604.           programming allows complex systems to be modeled as modular
  605.           components (which can be easily reused to model other systems
  606.           or to create new components). The procedural programming
  607.           capabilities provided by CLIPS are similar to capabilities
  608.           found in languages such as C, Pascal, Ada, and LISP.
  609.           
  610.           
  611.           
  612.    EMA-XPS - A Hybrid Graphic Expert System Shell
  613.           Web site: wmwap1.math.uni-wuppertal.de:80/EMA-XPS/
  614.           EMA-XPS is a hybrid graphic expert system shell based on the
  615.           ASCII-oriented shell Babylon 2.3 of the German National
  616.           Research Center for Computer Sciences (GMD). In addition to
  617.           Babylon's AI-power (object oriented data representation,
  618.           forward and backward chained rules - collectible into sets,
  619.           horn clauses, and constraint networks) a graphic interface
  620.           based on the X11 Window System and the OSF/Motif Widget Library
  621.           has been provided.
  622.           
  623.           
  624.           
  625.    FOOL & FOX
  626.           FTP site: ntia.its.bldrdoc.gov/pub/fuzzy/prog/
  627.           FOOL stands for the Fuzzy Organizer OLdenburg. It is a result
  628.           from a project at the University of Oldenburg. FOOL is a
  629.           graphical user interface to develop fuzzy rulebases. FOOL will
  630.           help you to invent and maintain a database that specifies the
  631.           behavior of a fuzzy-controller or something like that.
  632.           
  633.           FOX is a small but powerful fuzzy engine which reads this
  634.           database, reads some input values and calculates the new
  635.           control value.
  636.           
  637.           
  638.           
  639.    FUF and SURGE
  640.           Web site: www.dfki.de/lt/registry/generation/fuf.html
  641.           FTP site: ftp.cs.columbia.edu/pub/fuf/
  642.           FUF is an extended implementation of the formalism of
  643.           functional unification grammars (FUGs) introduced by Martin Kay
  644.           specialized to the task of natural language generation. It adds
  645.           the following features to the base formalism:
  646.           
  647.           + Types and inheritance.
  648.           + Extended control facilities (goal freezing, intelligent
  649.             backtracking).
  650.           + Modular syntax.
  651.             
  652.    These extensions allow the development of large grammars which can be
  653.           processed efficiently and can be maintained and understood more
  654.           easily. SURGE is a large syntactic realization grammar of
  655.           English written in FUF. SURGE is developed to serve as a black
  656.           box syntactic generation component in a larger generation
  657.           system that encapsulates a rich knowledge of English syntax.
  658.           SURGE can also be used as a platform for exploration of grammar
  659.           writing with a generation perspective.
  660.           
  661.           
  662.           
  663.    The Grammar Workbench
  664.           Web site: www.cs.kun.nl/agfl/GWB.html
  665.           The Grammar Workbench, or GWB for short, is an environment for
  666.           the comfortable development of Affix Grammars in the
  667.           AGFL-formalism. Its purposes are:
  668.           
  669.           + to allow the user to input, inspect and modify a grammar;
  670.           + to perform consistency checks on the grammar;
  671.           + to compute grammar properties;
  672.           + to generate example sentences;
  673.           + to assist in performing grammar transformations.
  674.             
  675.    
  676.           
  677.           
  678.           
  679.    GSM Suite [New]
  680.           Web site: www.slip.net/~andrewm/gsm/
  681.           The GSM Suite is a set of programs for using Finite State
  682.           Machines in a graphical fashion. The suite consists of programs
  683.           that edit, compile, and print state machines. Included in the
  684.           suite is an editor program, gsmedit, a compiler, gsm2cc, that
  685.           produces a C++ implementation of a state machine, a PostScript
  686.           generator, gsm2ps, and two other minor programs. GSM is
  687.           licensed under the GNU Public License and so is free for your
  688.           use under the terms of that license.
  689.           
  690.           
  691.           
  692.    Illuminator
  693.           Web site:
  694.           documents.cfar.umd.edu/resources/source/illuminator.html
  695.           Illuminator is a toolset for developing OCR and Image
  696.           Understanding applications. Illuminator has two major parts: a
  697.           library for representing, storing and retrieving OCR
  698.           information, heretofore called dafslib, and an X-Windows "DAFS"
  699.           file viewer, called illum. Illuminator and DAFS lib were
  700.           designed to supplant existing OCR formats and become a standard
  701.           in the industry. They particularly are extensible to handle
  702.           more than just English. The features of this release:
  703.           
  704.           + 5 magnification levels for images
  705.           + flagged characters and words
  706.           + unicode support -- American, British, French, German, Greek,
  707.             Italian, MICR, Norwegian, Russian, Spanish, Swedish,
  708.             keyboards
  709.           + reads DAFS, TIFF's, PDA's (image only)
  710.           + save to DAFS, ASCII/UTF or Unicode
  711.           + Entity Viewer - shows properties, character choices, bounding
  712.             boxes image fragment for a selected entity, change type,
  713.             change content, hierarchy mode
  714.             
  715.    
  716.           
  717.           
  718.           
  719.    Jess, the Java Expert System Shell
  720.           Web site: herzberg.ca.sandia.gov/jess/
  721.           Jess is a clone of the popular CLIPS expert system shell
  722.           written entirely in Java. With Jess, you can conveniently give
  723.           your applets the ability to 'reason'. Jess is compatible with
  724.           all versions of Java starting with version 1.0.2. Jess
  725.           implements the following constructs from CLIPS: defrules,
  726.           deffunctions, defglobals, deffacts, and deftemplates.
  727.           
  728.           
  729.           
  730.    learn
  731.           FTP site: sunsite.unc.edu/pub/Linux/apps/cai/
  732.           Learn is a vocable learning program with memory model.
  733.           
  734.           
  735.           
  736.    Otter: An Automated Deduction System
  737.           Web site: www.mcs.anl.gov/home/mccune/ar/otter
  738.           Our current automated deduction system Otter is designed to
  739.           prove theorems stated in first-order logic with equality.
  740.           Otter's inference rules are based on resolution and
  741.           paramodulation, and it includes facilities for term rewriting,
  742.           term orderings, Knuth-Bendix completion, weighting, and
  743.           strategies for directing and restricting searches for proofs.
  744.           Otter can also be used as a symbolic calculator and has an
  745.           embedded equational programming system.
  746.           
  747.           
  748.           
  749.    RIPPER
  750.           Web site: www.research.att.com/~wcohen/ripperd.html
  751.           Ripper is a system for fast effective rule induction. Given a
  752.           set of data, Ripper will learn a set of rules that will predict
  753.           the patterns in the data. Ripper is written in ASCI C and comes
  754.           with documentation and some sample problems.
  755.           
  756.           
  757.           
  758.    SNePS
  759.           Web site: www.cs.buffalo.edu/pub/sneps/WWW/
  760.           FTP site: ftp.cs.buffalo.edu/pub/sneps/
  761.           The long-term goal of The SNePS Research Group is the design
  762.           and construction of a natural-language-using computerized
  763.           cognitive agent, and carrying out the research in artificial
  764.           intelligence, computational linguistics, and cognitive science
  765.           necessary for that endeavor. The three-part focus of the group
  766.           is on knowledge representation, reasoning, and natural-language
  767.           understanding and generation. The group is widely known for its
  768.           development of the SNePS knowledge representation/reasoning
  769.           system, and Cassie, its computerized cognitive agent.
  770.           
  771.           
  772.           
  773.    Soar
  774.           Web site: www.isi.edu/soar/soar.html
  775.           FTP site: cs.cmu.edu/afs/cs/project/soar/public/Soar6/
  776.           Soar has been developed to be a general cognitive architecture.
  777.           We intend ultimately to enable the Soar architecture to:
  778.           
  779.           + work on the full range of tasks expected of an intelligent
  780.             agent, from highly routine to extremely difficult, open-ended
  781.             problems
  782.           + represent and use appropriate forms of knowledge, such as
  783.             procedural, declarative, episodic, and possibly iconic
  784.           + employ the full range of problem solving methods
  785.           + interact with the outside world and
  786.           + learn about all aspects of the tasks and its performance on
  787.             them.
  788.             
  789.    In other words, our intention is for Soar to support all the
  790.           capabilities required of a general intelligent agent.
  791.           
  792.           
  793.           
  794.    TCM (Toolkit for Conceptual Modeling)
  795.           Web site: www.cs.vu.nl/~tcm/
  796.           FTP site: ftp.cs.vu.nl/pub/tcm/
  797.           TCM (Toolkit for Conceptual Modeling) is our suite of graphical
  798.           editors. TCM contains graphical editors for Entity-Relationship
  799.           diagrams, Class-Relationship diagrams, Data and Event Flow
  800.           diagrams, State Transition diagrams, Jackson Process Structure
  801.           diagrams and System Network diagrams, Function Refinement trees
  802.           and various table editors, such as a Function-Entity table
  803.           editor and a Function Decomposition table editor. TCM is easy
  804.           to use and performs numerous consistency checks, some of them
  805.           immediately, some of them upon request.
  806.           
  807.           
  808.           
  809.    WEKA [New]
  810.           Web site: lucy.cs.waikato.ac.nz/~ml/
  811.           WEKA (Waikato Environment for Knowledge Analysis) is an
  812.           state-of-the-art facility for applying machine learning
  813.           techniques to practical problems. It is a comprehensive
  814.           software "workbench" that allows people to analyse real-world
  815.           data. It integrates different machine learning tools within a
  816.           common framework and a uniform user interface. It is designed
  817.           to support a "simplicity-first" methodology, which allows users
  818.           to experiment interactively with simple machine learning tools
  819.           before looking for more complex solutions. 
  820.           
  821.    
  822.    
  823.    
  824.    
  825. Connectionism
  826.  
  827.     Connectionism is a technical term for a group of related techniques.
  828.    These techniques include areas such as Artificial Neural Networks,
  829.    Semantic Networks and a few other similar ideas. My present focus is
  830.    on neural networks (though I am looking for resources on the other
  831.    techniques). Neural networks are programs designed to simulate the
  832.    workings of the brain. They consist of a network of small
  833.    mathematical-based nodes, which work together to form patterns of
  834.    information. They have tremendous potential and currently seem to be
  835.    having a great deal of success with image processing and robot
  836.    control. 
  837.    
  838.   Connectionist class/code libraries
  839.   
  840.    These are libraries of code or classes for use in programming within
  841.    the Connectionist field. They are not meant as stand alone
  842.    applications, but rather as tools for building your own applications.
  843.    
  844.    
  845.           
  846.    ANSI-C Neural Networks
  847.           Web site: www.geocities.com/CapeCanaveral/1624/
  848.           This site contains ANSC-C source code for 8 types of neural
  849.           nets, including:
  850.           
  851.           + Adaline Network
  852.           + Backpropagation
  853.           + Hopfield Model
  854.           + (BAM) Bidirectional Associative Memory
  855.           + Boltzmann Machine
  856.           + Counterpropagation
  857.           + (SOM) Self-Organizing Map
  858.           + (ART1) Adaptive Resonance Theory
  859.             
  860.    They were designed to help turn the theory of a particular network
  861.           model into the design for a simulator implementation , and to
  862.           help with embeding an actual application into a particular
  863.           network model.
  864.           
  865.           
  866.           
  867.    BELIEF [New]
  868.           Web site:
  869.           www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/reasonng/
  870.           probabl/belief/0.html
  871.           BELIEF is a Common Lisp implementation of the Dempster and Kong
  872.           fusion and propagation algorithm for Graphical Belief Function
  873.           Models and the Lauritzen and Spiegelhalter algorithm for
  874.           Graphical Probabilistic Models. It includes code for
  875.           manipulating graphical belief models such as Bayes Nets and
  876.           Relevance Diagrams (a subset of Influence Diagrams) using both
  877.           belief functions and probabilities as basic representations of
  878.           uncertainty. It uses the Shenoy and Shafer version of the
  879.           algorithm, so one of its unique features is that it supports
  880.           both probability distributions and belief functions. It also
  881.           has limited support for second order models (probability
  882.           distributions on parameters).
  883.           
  884.           
  885.           
  886.    IDEAL [New]
  887.           Web site: www.rpal.rockwell.com/ideal.html
  888.           
  889.           
  890.           IDEAL is a test bed for work in influence diagrams and Bayesian
  891.           networks. It contains various inference algorithms for belief
  892.           networks and evaluation algorithms for influence diagrams. It
  893.           contains facilities for creating and editing influence diagrams
  894.           and belief networks.
  895.           
  896.           IDEAL is written in pure Common Lisp and so it will run in
  897.           Common Lisp on any platform. The emphasis in writing IDEAL has
  898.           been on code clarity and providing high level programming
  899.           abstractions. It thus is very suitable for experimental
  900.           implementations which need or extend belief network technology.
  901.           
  902.           
  903.           At the highest level, IDEAL can be used as a subroutine library
  904.           which provides belief network inference and influence diagram
  905.           evaluation as a package. The code is documented in a detailed
  906.           manual and so it is also possible to work at a lower level on
  907.           extensions of belief network methods.
  908.           
  909.           IDEAL comes with an optional graphic interface written in CLIM.
  910.           If your Common Lisp also has CLIM, you can run the graphic
  911.           interface. 
  912.           
  913.    Matrix Class
  914.           FTP site: pink.cs.ucla.edu/pub/
  915.           A simple, fast, efficient C++ Matrix class designed for
  916.           scientists and engineers. The Matrix class is well suited for
  917.           applications with complex math algorithms. As an demonstration
  918.           of the Matrix class, it was used to implement the backward
  919.           error propagation algorithm for a multi-layer feed-forward
  920.           artificial neural network.
  921.           
  922.           
  923.           
  924.    Pulcinella
  925.           Web site: iridia.ulb.ac.be/pulcinella/Welcome.html
  926.           Pulcinella is written in CommonLisp, and appears as a library
  927.           of Lisp functions for creating, modifying and evaluating
  928.           valuation systems. Alternatively, the user can choose to
  929.           interact with Pulcinella via a graphical interface (only
  930.           available in Allegro CL). Pulcinella provides primitives to
  931.           build and evaluate uncertainty models according to several
  932.           uncertainty calculi, including probability theory, possibility
  933.           theory, and Dempster-Shafer's theory of belief functions; and
  934.           the possibility theory by Zadeh, Dubois and Prade's. A User's
  935.           Manual is available on request.
  936.           
  937.           
  938.           
  939.    S-ElimBel [New]
  940.           Web site: www.spaces.uci.edu/thiery/elimbel/
  941.           S-ElimBel is an algorithm that computes the belief in a
  942.           Bayesian network, implemented in MIT-Scheme. This algorithm has
  943.           the particularity of being rather easy to understand. Moreover,
  944.           one can apply it to any kind of Bayesian network - it being
  945.           singly connected or muliply connected. It is, however, less
  946.           powerful than the standard algorithm of belief propagation.
  947.           Indeed, the computation has to be reconducted entirely for each
  948.           new evidence added to the network. Also, one needs to run the
  949.           algorithm as many times as one has nodes for which the belief
  950.           is wanted.
  951.           
  952.           
  953.           
  954.    Software for Flexible Bayesian Modeling [New]
  955.           Web site: www.cs.utoronto.ca/~radford/fbm.software.html
  956.           This software implements flexible Bayesian models for
  957.           regression and classification applications that are based on
  958.           multilayer perceptron neural networks or on Gaussian processes.
  959.           The implementation uses Markov chain Monte Carlo methods.
  960.           Software modules that support Markov chain sampling are
  961.           included in the distribution, and may be useful in other
  962.           applications.
  963.           
  964.           
  965.           
  966.    Spiderweb2 [New]
  967.           Web site: 
  968.           A C++ artificial neual net library. Spiderweb2 is a complete
  969.           rewrite of the original Spiderweb library, it has grown into a
  970.           much more flexible and object-oriented system. The biggest
  971.           change is that each neuron object is responsible for its own
  972.           activations and updates, with the network providing only the
  973.           scheduling aspect. This is a very powerful change, and it
  974.           allows easy modification and experimentation with various
  975.           network architectures and neuron types.
  976.           
  977.           There is still a lack of documentation and support for file
  978.           I/O, but that will eventually get done.
  979.           
  980.           
  981.           
  982.    Symbolic Probabilistic Inference (SPI)
  983.           FTP site: ftp.engr.orst.edu/pub/dambrosi/spi/
  984.           Paper (ijar-94.ps): ftp.engr.orst.edu/pub/dambrosi/
  985.           Contains Common Lisp function libraries to implement SPI type
  986.           baysean nets. Documentation is very limited.
  987.           Features:
  988.           
  989.         Probabilities, Local Expression Language Utilities, Explanation,
  990.             Dynamic Models, and a TCL/TK based GUI.
  991.             
  992.    
  993.           
  994.           
  995.           
  996.    TresBel
  997.           FTP site: iridia.ulb.ac.be/pub/hongxu/software/
  998.           Libraries containing (Allegro) Common Lisp code for Belief
  999.           Functions (aka. Dempster-Shafer evidential reasoning) as a
  1000.           representation of uncertainty. Very little documentation. Has a
  1001.           limited GUI.
  1002.           
  1003.           
  1004.           
  1005.    Various (C++) Neural Networks
  1006.           Web site: www.mcs.com/~drt/svbp.html
  1007.           Submitted by: Don Tveter
  1008.           Example neural net codes from the book, The Basis of Artificial
  1009.           Intelligence. These are simple example codes of these various
  1010.           neural nets. They work well as a good starting point for simple
  1011.           experimentation and for learning what the code is like behind
  1012.           the simulators. The types of networks available on this site
  1013.           are: (implemented in C++)
  1014.           
  1015.           + The Backprop Package
  1016.           + The Nearest Neighbor Algorithms
  1017.           + The Interactive Activation Algorithm
  1018.           + The Hopfield and Boltzman machine Algorithms
  1019.           + The Linear Pattern Classifier
  1020.           + ART I
  1021.           + Bi-Directional Associative Memory
  1022.           + The Feedforward Counter-Propagation Network
  1023.             
  1024.    
  1025.           
  1026.           
  1027.           
  1028.    
  1029.    
  1030.    
  1031.    
  1032.   Connectionist software kits/applications
  1033.   
  1034.    These are various applications, software kits, etc. meant for research
  1035.    in the field of Connectionism. Their ease of use will vary, as they
  1036.    were designed to meet some particular research interest more than as
  1037.    an easy to use commercial package.
  1038.    
  1039.    
  1040.           
  1041.    Aspirin/MIGRAINES (am6.tar.Z on ftp site)
  1042.           FTP site:
  1043.           sunsite.unc.edu/pub/academic/computer-science/neural-networks/
  1044.           programs/Aspirin/
  1045.           The software that we are releasing now is for creating, and
  1046.           evaluating, feed-forward networks such as those used with the
  1047.           backpropagation learning algorithm. The software is aimed both
  1048.           at the expert programmer/neural network researcher who may wish
  1049.           to tailor significant portions of the system to his/her precise
  1050.           needs, as well as at casual users who will wish to use the
  1051.           system with an absolute minimum of effort.
  1052.           
  1053.           
  1054.           
  1055.    JavaBayes [New]
  1056.           Web site: www.cs.cmu.edu/People/javabayes/index.html/
  1057.           The JavaBayes system is a set of tools, containing a graphical
  1058.           editor, a core inference engine and a parser. JavaBayes can
  1059.           produce:
  1060.           
  1061.           + the marginal distribution for any variable in a network.
  1062.           + the expectations for univariate functions (for example,
  1063.             expected value for variables).
  1064.           + configurations with maximum a posteriori probability.
  1065.           + configurations with maximum a posteriori expectation for
  1066.             univariate functions.
  1067.             
  1068.    
  1069.           
  1070.           
  1071.           
  1072.    Neureka ANS (nn/xnn)
  1073.           Web site: www.bgif.no/neureka/
  1074.           FTP site: ftp.ii.uib.no/pub/neureka/linux/
  1075.           nn is a high-level neural network specification language. The
  1076.           current version is best suited for feed-forward nets, but
  1077.           recurrent models can and have been implemented, e.g. Hopfield
  1078.           nets, Jordan/Elman nets, etc. In nn, it is easy to change
  1079.           network dynamics. The nn compiler can generate C code or
  1080.           executable programs (so there must be a C compiler available),
  1081.           with a powerful command line interface (but everything may also
  1082.           be controlled via the graphical interface, xnn). It is possible
  1083.           for the user to write C routines that can be called from inside
  1084.           the nn specification, and to use the nn specification as a
  1085.           function that is called from a C program. Please note that no
  1086.           programming is necessary in order to use the network models
  1087.           that come with the system (`netpack').
  1088.           
  1089.           xnn is a graphical front end to networks generated by the nn
  1090.           compiler, and to the compiler itself. The xnn graphical
  1091.           interface is intuitive and easy to use for beginners, yet
  1092.           powerful, with many possibilities for visualizing network data.
  1093.           
  1094.           
  1095.           NOTE: You have to run the install program that comes with this
  1096.           to get the license key installed. It gets put (by default) in
  1097.           /usr/lib. If you (like myself) want to install the package
  1098.           somewhere other than in the /usr directory structure (the
  1099.           install program gives you this option) you will have to set up
  1100.           some environmental variables (NNLIBDIR & NNINCLUDEDIR are
  1101.           required). You can read about these (and a few other optional
  1102.           variables) in appendix A of the documentation (pg 113).
  1103.           
  1104.           
  1105.           
  1106.    PDP++
  1107.           Web site: www.cnbc.cmu.edu/PDP++/
  1108.           FTP site (US): cnbc.cmu.edu/pub/pdp++/
  1109.           FTP site (Europe): unix.hensa.ac.uk/mirrors/pdp++/ 
  1110.           As the field of Connectionist modeling has grown, so has the
  1111.           need for a comprehensive simulation environment for the
  1112.           development and testing of Connectionist models. Our goal in
  1113.           developing PDP++ has been to integrate several powerful
  1114.           software development and user interface tools into a general
  1115.           purpose simulation environment that is both user friendly and
  1116.           user extensible. The simulator is built in the C++ programming
  1117.           language, and incorporates a state of the art script
  1118.           interpreter with the full expressive power of C++. The
  1119.           graphical user interface is built with the Interviews toolkit,
  1120.           and allows full access to the data structures and processing
  1121.           modules out of which the simulator is built. We have
  1122.           constructed several useful graphical modules for easy
  1123.           interaction with the structure and the contents of neural
  1124.           networks, and we've made it possible to change and adapt many
  1125.           things. At the programming level, we have set things up in such
  1126.           a way as to make user extensions as painless as possible. The
  1127.           programmer creates new C++ objects, which might be new kinds of
  1128.           units or new kinds of processes; once compiled and linked into
  1129.           the simulator, these new objects can then be accessed and used
  1130.           like any other.
  1131.           
  1132.           
  1133.           
  1134.    Simple Neural Net (in Python)
  1135.           Web site: starship.skyport.net/crew/amk/unmaintained/
  1136.           Simple neural network code, which implements a class for
  1137.           3-level networks (input, hidden, and output layers). The only
  1138.           learning rule implemented is simple backpropagation. No
  1139.           documentation (or even comments) at all, because this is simply
  1140.           code that I use to experiment with. Includes modules containing
  1141.           sample datasets from Carl G. Looney's NN book. Requires the
  1142.           Numeric extensions.
  1143.           
  1144.           
  1145.           
  1146.    SCNN
  1147.           Web site:
  1148.           apx00.physik.uni-frankfurt.de/e_ag_rt/cnn/SCNN/homepage.html
  1149.           SCNN is an universal simulating system for Cellular Neural
  1150.           Networks (CNN). CNN are analog processing neural networks with
  1151.           regular and local interconnections, governed by a set of
  1152.           nonlinear ordinary differential equations. Due to their local
  1153.           connectivity, CNN are realized as VLSI chips, which operates at
  1154.           very high speed.
  1155.           
  1156.           
  1157.           
  1158.    Semantic Networks in Python
  1159.           Web site: www-acs.ucsd.edu/~jstrout/python/ai/
  1160.           The semnet.py module defines several simple classes for
  1161.           building and using semantic networks. A semantic network is a
  1162.           way of representing knowledge, and it enables the program to do
  1163.           simple reasoning with very little effort on the part of the
  1164.           programmer.
  1165.           
  1166.           The following classes are defined:
  1167.           
  1168.           + _Entity_: This class represents a noun; it is something which
  1169.             can be related to other things, and about which you can store
  1170.             facts.
  1171.           + _Relation_: A Relation is a type of relationship which may
  1172.             exist between two entities. One special relation, "IS_A", is
  1173.             predefined because it has special meaning (a sort of logical
  1174.             inheritance).
  1175.           + _Fact_: A Fact is an assertion that a relationship exists
  1176.             between two entities.
  1177.             
  1178.    
  1179.           
  1180.           With these three object types, you can very quickly define
  1181.           knowledge about a set of objects, and query them for logical
  1182.           conclusions.
  1183.           
  1184.           
  1185.           
  1186.    SNNS
  1187.           Web site:
  1188.           www.informatik.uni-stuttgart.de/ipvr/bv/projekte/snns/snns.htm
  1189.           l
  1190.           FTP site: ftp.informatik.uni-stuttgart.de/pub/SNNS/
  1191.           Stuttgart Neural Net Simulator (version 4.1). An awesome neural
  1192.           net simulator. Better than any commercial simulator I've seen.
  1193.           The simulator kernel is written in C (it's fast!). It supports
  1194.           over 20 different network architectures, has 2D and 3D X-based
  1195.           graphical representations, the 2D GUI has an integrated network
  1196.           editor, and can generate a separate NN program in C.
  1197.           SNNS is very powerful, though a bit difficult to learn at
  1198.           first. To help with this it comes with example networks and
  1199.           tutorials for many of the architectures.
  1200.           ENZO, a supplementary system allows you to evolve your networks
  1201.           with genetic algorithms.
  1202.           
  1203.           The Readme.linux file that comes with this package must be old.
  1204.           It's instructions for building the package are wrong. I've
  1205.           edited it to reflect what I had to do to get the package to
  1206.           compile. Please download SNNS.Readme.linux and use it instead
  1207.           of the Readme.linux file that comes with the distribution.
  1208.           
  1209.           
  1210.           
  1211.    SPRLIB/ANNLIB
  1212.           Web site: www.ph.tn.tudelft.nl/~sprlib/
  1213.           SPRLIB (Statistical Pattern Recognition Library) was developed
  1214.           to support the easy construction and simulation of pattern
  1215.           classifiers. It consist of a library of functions (written in
  1216.           C) that can be called from your own program. Most of the
  1217.           well-known classifiers are present (k-nn, Fisher, Parzen,
  1218.           ....), as well as error estimation and dataset generation
  1219.           routines.
  1220.           
  1221.           ANNLIB (Artificial Neural Networks Library) is a neural network
  1222.           simulation library based on the data architecture laid down by
  1223.           SPRLIB. The library contains numerous functions for creating,
  1224.           training and testing feed-forward networks. Training algorithms
  1225.           include back-propagation, pseudo-Newton, Levenberg-Marquardt,
  1226.           conjugate gradient descent, BFGS.... Furthermore, it is
  1227.           possible - due to the datastructures' general applicability -
  1228.           to build Kohonen maps and other more exotic network
  1229.           architectures using the same data types.
  1230.           
  1231.           
  1232.           
  1233.    
  1234.    
  1235.    
  1236.    
  1237. Evolutionary Computing
  1238.  
  1239.     Evolutionary computing is actually a broad term for a vast array of
  1240.    programming techniques, including genetic algorithms, complex adaptive
  1241.    systems, evolutionary programming, etc. The main thrust of all these
  1242.    techniques is the idea of evolution. The idea that a program can be
  1243.    written that will evolve toward a certain goal. This goal can be
  1244.    anything from solving some engineering problem to winning a game. 
  1245.    
  1246.   EC class/code libraries
  1247.   
  1248.    These are libraries of code or classes for use in programming within
  1249.    the evolutionary computation field. They are not meant as stand alone
  1250.    applications, but rather as tools for building your own applications.
  1251.    
  1252.    
  1253.           
  1254.    FORTRAN GA
  1255.           Web site: www.staff.uiuc.edu/~carroll/ga.html
  1256.           This program is a FORTRAN version of a genetic algorithm
  1257.           driver. This code initializes a random sample of individuals
  1258.           with different parameters to be optimized using the genetic
  1259.           algorithm approach, i.e. evolution via survival of the fittest.
  1260.           The selection scheme used is tournament selection with a
  1261.           shuffling technique for choosing random pairs for mating. The
  1262.           routine includes binary coding for the individuals, jump
  1263.           mutation, creep mutation, and the option for single-point or
  1264.           uniform crossover. Niching (sharing) and an option for the
  1265.           number of children per pair of parents has been added. More
  1266.           recently, an option for the use of a micro-GA has been added.
  1267.           
  1268.           
  1269.           
  1270.    GAGS
  1271.           Web site: kal-el.ugr.es/gags.html
  1272.           FTP site: kal-el.ugr.es/GAGS/
  1273.           Genetic Algorithm application generator and class library
  1274.           written mainly in C++.
  1275.           As a class library, and among other thing, GAGS includes:
  1276.           
  1277.           + A _chromosome hierarchy_ with variable length chromosomes.
  1278.             _Genetic operators_: 2-point crossover, uniform crossover,
  1279.             bit-flip mutation, transposition (gene interchange between 2
  1280.             parts of the chromosome), and variable-length operators:
  1281.             duplication, elimination, and random addition.
  1282.           + _Population level operators_ include steady state, roulette
  1283.             wheel and tournament selection.
  1284.           + _Gnuplot wrapper_: turns gnuplot into a iostreams-like class.
  1285.           + Easy sample file loading and configuration file parsing.
  1286.             
  1287.    As an application generator (written in PERL), you only need to supply
  1288.           it with an ANSI-C or C++ fitness function, and it creates a C++
  1289.           program that uses the above library to 90% capacity, compiles
  1290.           it, and runs it, saving results and presenting fitness thru
  1291.           gnuplot.
  1292.           
  1293.           
  1294.           
  1295.    GAlib: Matthew's Genetic Algorithms Library
  1296.           Web Site: lancet.mit.edu/ga/
  1297.           FTP site: lancet.mit.edu/pub/ga/
  1298.           Register GAlib at: http://lancet.mit.edu/ga/Register.html
  1299.           GAlib contains a set of C++ genetic algorithm objects. The
  1300.           library includes tools for using genetic algorithms to do
  1301.           optimization in any C++ program using any representation and
  1302.           genetic operators. The documentation includes an extensive
  1303.           overview of how to implement a genetic algorithm as well as
  1304.           examples illustrating customizations to the GAlib classes.
  1305.           
  1306.           
  1307.           
  1308.    GALOPPS
  1309.           Web site: GARAGe.cps.msu.edu/software/software-index.html
  1310.           FTP site: garage.cps.msu.edu/pub/GA/galopps/
  1311.           GALOPPS is a flexible, generic GA, in 'C'. It was based upon
  1312.           Goldberg's Simple Genetic Algorithm (SGA) architecture, in
  1313.           order to make it easier for users to learn to use and extend.
  1314.           
  1315.           GALOPPS extends the SGA capabilities several fold:
  1316.           
  1317.           + (optional) A new Graphical User Interface, based on TCL/TK,
  1318.             for Unix users, allowing easy running of GALOPPS 3.2 (single
  1319.             or multiple subpopulations) on one or more processors. GUI
  1320.             writes/reads "standard" GALOPPS input and master files, and
  1321.             displays graphical output (during or after run) of
  1322.             user-selected variables.
  1323.           + 5 selection methods: roulette wheel, stochastic remainder
  1324.             sampling, tournament selection, stochastic universal
  1325.             sampling, linear-ranking-then-SUS.
  1326.           + Random or superuniform initialization of "ordinary"
  1327.             (non-permutation) binary or non-binary chromosomes; random
  1328.             initialization of permutation-based chromosomes; or
  1329.             user-supplied initialization of arbitrary types of
  1330.             chromosomes.
  1331.           + Binary or non-binary alphabetic fields on value-based
  1332.             chromosomes, including different user-definable field sizes.
  1333.           + 3 crossovers for value-based representations: 1-pt, 2-pt, and
  1334.             uniform, all of which operate at field boundaries if a
  1335.             non-binary alphabet is used.
  1336.           + 4 crossovers for order-based reps: PMX, order-based, uniform
  1337.             order-based, and cycle.
  1338.           + 4 mutations: fast bitwise, multiple-field, swap and random
  1339.             sublist scramble.
  1340.           + Fitness scaling: linear scaling, Boltzmann scaling, sigma
  1341.             truncation, window scaling, ranking.
  1342.           + _Plus_ a whole lot more....
  1343.             
  1344.    
  1345.           
  1346.           
  1347.           
  1348.    GAS [New]
  1349.           Web site: starship.skyport.net/crew/gandalf
  1350.           FTP site: ftp.coe.uga.edu/users/jae/ai
  1351.           GAS means "Genetic Algorithms Stuff". GAS is freeware.
  1352.           Purpose of GAS is to explore and exploit artificial evolutions.
  1353.           Primary implementation language of GAS is Python. The GAS
  1354.           software package is meant to be a Python framework for applying
  1355.           genetic algorithms. It contains an example application where it
  1356.           is tried to breed Python program strings. This special problem
  1357.           falls into the category of Genetic Programming (GP), and/or
  1358.           Automatic Programming. Nevertheless, GAS tries to be useful for
  1359.           other applications of Genetic Algorithms as well.
  1360.           
  1361.           
  1362.           
  1363.    GECO
  1364.           FTP site: ftp://ftp.aic.nrl.navy.mil/pub/galist/src/
  1365.           GECO (Genetic Evolution through Combination of Objects), an
  1366.           extendible object-oriented tool-box for constructing genetic
  1367.           algorithms (in Lisp). It provides a set of extensible classes
  1368.           and methods designed for generality. Some simple examples are
  1369.           also provided to illustrate the intended use.
  1370.           
  1371.    _GPdata_
  1372.           FTP site: ftp.cs.bham.ac.uk/pub/authors/W.B.Langdon/gp-code/
  1373.           Documentation (GPdata-icga-95.ps): cs.ucl.ac.uk/genetic/papers/
  1374.           
  1375.           GPdata-3.0.tar.gz (C++) contains a version of Andy Singleton's
  1376.           GP-Quick version 2.1 which has been extensively altered to
  1377.           support:
  1378.           
  1379.           + Indexed memory operation (cf. teller)
  1380.           + multi tree programs
  1381.           + Adfs
  1382.           + parameter changes without recompilation
  1383.           + populations partitioned into demes
  1384.           + (A version of) pareto fitness
  1385.             
  1386.    This ftp site also contains a small C++ program (ntrees.cc) to
  1387.           calculate the number of different there are of a given length
  1388.           and given function and terminal set.
  1389.           
  1390.           
  1391.           
  1392.    gpjpp Genetic Programming in Java
  1393.           Web site: www.turbopower.com/~kimk/gpjpp.asp
  1394.           gpjpp is a Java package I wrote for doing research in genetic
  1395.           programming. It is a port of the gpc++ kernel written by Adam
  1396.           Fraser and Thomas Weinbrenner. Included in the package are four
  1397.           of Koza's standard examples: the artificial ant, the hopping
  1398.           lawnmower, symbolic regression, and the boolean multiplexer.
  1399.           Here is a partial list of its features:
  1400.           
  1401.           + graphic output of expression trees
  1402.           + efficient diversity checking
  1403.           + Koza's greedy over-selection option for large populations
  1404.           + extensible GPRun class that encapsulates most details of a
  1405.             genetic programming test
  1406.           + more robust and efficient streaming code, with automatic
  1407.             checkpoint and restart built into the GPRun class
  1408.           + an explicit complexity limit that can be set on each GP
  1409.           + additional configuration variables to allow more testing
  1410.             without recompilation
  1411.           + support for automatically defined functions (ADFs)
  1412.           + tournament and fitness proportionate selection
  1413.           + demetic grouping
  1414.           + optional steady state population
  1415.           + subtree crossover
  1416.           + swap and shrink mutation
  1417.             
  1418.    
  1419.           
  1420.           
  1421.           
  1422.    GP Kernel
  1423.           Web site: www.emk.e-technik.th-darmstadt.de/~thomasw/gp.html
  1424.           The GP kernel is a C++ class library that can be used to apply
  1425.           genetic programming techniques to all kinds of problems. The
  1426.           library defines a class hierarchy. An integral component is the
  1427.           ability to produce automatically defined functions as found in
  1428.           Koza's "Genetic Programming II".Technical documentation
  1429.           (postscript format) is included. There is also a short
  1430.           introduction into genetic programming.
  1431.           
  1432.           Functionality includes; Automatically defined functions (ADFs),
  1433.           tournament and fitness proportionate selection, demetic
  1434.           grouping, optional steady state genetic programming kernel,
  1435.           subtree crossover, swap and shrink mutation, a way of changing
  1436.           every parameter of the system without recompilation, capacity
  1437.           for multiple populations, loading and saving of populations and
  1438.           genetic programs, standard random number generator, internal
  1439.           parameter checks.
  1440.           
  1441.           
  1442.           
  1443.    lil-gp
  1444.           Web site: isl.msu.edu/GA/software/lil-gp/index.html
  1445.           FTP site: isl.cps.msu.edu/pub/GA/lilgp/ 
  1446.           
  1447.    patched lil-gp * [New]
  1448.           Web site: www.cs.umd.edu/users/seanl/patched-gp
  1449.           lil-gp is a generic 'C' genetic programming tool. It was
  1450.           written with a number of goals in mind: speed, ease of use and
  1451.           support for a number of options including:
  1452.           
  1453.           + Generic 'C' program that runs on UNIX workstations
  1454.           + Support for multiple population experiments, using arbitrary
  1455.             and user settable topologies for exchange, for a single
  1456.             processor (i.e., you can do multiple population gp
  1457.             experiments on your PC).
  1458.           + lil-gp manipulates trees of function pointers which are
  1459.             allocated in single, large memory blocks for speed and to
  1460.             avoid swapping.
  1461.             
  1462.    * The patched lil-gp kernel is strongly-typed, with modifications on
  1463.           multithreading, fixes to some *serious* bugs in lilgp,
  1464.           coevolution, and other tweaks and features.
  1465.           
  1466.           
  1467.           
  1468.    PGAPack Parallel Genetic Algorithm Library
  1469.           Web site: www.mcs.anl.gov/home/levine/PGAPACK/index.html
  1470.           FTP site: ftp.mcs.anl.gov/pub/pgapack/
  1471.           PGAPack is a general-purpose, data-structure-neutral, parallel
  1472.           genetic algorithm library. It is intended to provide most
  1473.           capabilities desired in a genetic algorithm library, in an
  1474.           integrated, seamless, and portable manner. Key features are in
  1475.           PGAPack V1.0 include:
  1476.           
  1477.           + Callable from Fortran or C.
  1478.           + Runs on uniprocessors, parallel computers, and workstation
  1479.             networks.
  1480.           + Binary-, integer-, real-, and character-valued native data
  1481.             types.
  1482.           + Full extensibility to support custom operators and new data
  1483.             types.
  1484.           + Easy-to-use interface for novice and application users.
  1485.           + Multiple levels of access for expert users.
  1486.           + Parameterized population replacement.
  1487.           + Multiple crossover, mutation, and selection operators.
  1488.           + Easy integration of hill-climbing heuristics.
  1489.           + Extensive debugging facilities.
  1490.           + Large set of example problems.
  1491.           + Detailed users guide.
  1492.             
  1493.    
  1494.           
  1495.           
  1496.           
  1497.    Sugal
  1498.           Web site: www.trajan-software.demon.co.uk/sugal.htm
  1499.           Sugal [soo-gall] is the SUnderland Genetic ALgorithm system.
  1500.           The aim of Sugal is to support research and implementation in
  1501.           Genetic Algorithms on a common software platform. As such,
  1502.           Sugal supports a large number of variants of Genetic
  1503.           Algorithms, and has extensive features to support customization
  1504.           and extension.
  1505.           
  1506.           
  1507.           
  1508.    
  1509.    
  1510.   EC software kits/applications
  1511.   
  1512.    These are various applications, software kits, etc. meant for research
  1513.    in the field of evolutionary computing. Their ease of use will vary,
  1514.    as they were designed to meet some particular research interest more
  1515.    than as an easy to use commercial package.
  1516.    
  1517.    
  1518.           
  1519.    ADATE(Automatic Design of Algorithms Through Evolution)
  1520.           Web site: www-ia.hiof.no/~rolando/adate_intro.html
  1521.           ADATE is a system for automatic programming i.e., inductive
  1522.           inference of algorithms, which may be the best way to develop
  1523.           artificial and general intelligence.
  1524.           
  1525.           The ADATE system can automatically generate non-trivial and
  1526.           novel algorithms. Algorithms are generated through large scale
  1527.           combinatorial search that employs sophisticated program
  1528.           transformations and heuristics. The ADATE system is
  1529.           particularly good at synthesizing symbolic, functional programs
  1530.           and has several unique qualities.
  1531.           
  1532.           
  1533.           
  1534.    esep & xesep [New]
  1535.           Web site(esep): www.iit.edu/~linjinl/esep.html Web site(xesep):
  1536.           www.iit.edu/~linjinl/xesep.html
  1537.           This is a new scheduler, called Evolution Scheduler, based on
  1538.           Genetic Algorithms and Evolutionary Programming. It lives with
  1539.           original Linux priority scheduler.This means you don't have to
  1540.           reboot to change the scheduling policy. You may simply use the
  1541.           manager program esep to switch between them at any time, and
  1542.           esep itself is an all-in-one for scheduling status, commands,
  1543.           and administration. We didn't intend to remove the original
  1544.           priority scheduler; instead, at least, esep provides you with
  1545.           another choice to use a more intelligent scheduler, which
  1546.           carries out natural competition in an easy and effective way.
  1547.           
  1548.           Xesep is a graphical user interface to the esep (Evolution
  1549.           Scheduling and Evolving Processes). It's intended to show users
  1550.           how to start, play, and feel the Evolution Scheduling and
  1551.           Evolving Processes, including sub-programs to display system
  1552.           status, evolving process status, queue status, and evolution
  1553.           scheduling status periodically in as small as one mini-second.
  1554.           
  1555.           
  1556.           
  1557.    FSM-Evolver [New]
  1558.           Web site: pages.prodigy.net/czarneckid
  1559.           A Java (jdk-v1.0.2+) code library that is used to evolve finite
  1560.           state machines. The problem included in the package is the
  1561.           Artificial Ant problem. You should be able to compile the .java
  1562.           files and then run: java ArtificialAnt.
  1563.           
  1564.           
  1565.           
  1566.    GPsys [New]
  1567.           Web site: www.cs.ucl.ac.uk/staff/A.Qureshi/gpsys.html
  1568.           GPsys (pronounced gipsys) is a Java (requires Java 1.1 or
  1569.           later) based Genetic Programming system developed by Adil
  1570.           Qureshi. The software includes documentation, source and
  1571.           executables.
  1572.           
  1573.           Feature Summary:
  1574.           
  1575.           + Steady State engine
  1576.           + ADF support
  1577.           + Strongly Typed
  1578.                o supports generic functions and terminals
  1579.                o has many built-in primitives
  1580.                o includes indexed memory
  1581.           + Save/Load feature
  1582.                o can save/load current generation to/from a file
  1583.                o data stored in GZIP compression format to minimise disk
  1584.                  requirements
  1585.                o uses serialisable objects for efficiency
  1586.           + Fully Documented
  1587.           + Example Problems
  1588.                o Lawnmower (including GUI viewer)
  1589.                o Symbolic Regression
  1590.           + Totally Parameterised
  1591.           + Fully Object Oriented and Extensible
  1592.           + High Performance
  1593.           + Memory Efficient
  1594.             
  1595.    
  1596.           
  1597.    
  1598.    
  1599.    
  1600.    
  1601. Alife
  1602.  
  1603.     Alife takes yet another approach to exploring the mysteries of
  1604.    intelligence. It has many aspects similar to EC and Connectionism, but
  1605.    takes these ideas and gives them a meta-level twist. Alife emphasizes
  1606.    the development of intelligence through emergent behavior of complex
  1607.    adaptive systems. Alife stresses the social or group based aspects of
  1608.    intelligence. It seeks to understand life and survival. By studying
  1609.    the behaviors of groups of 'beings' Alife seeks to discover the way
  1610.    intelligence or higher order activity emerges from seemingly simple
  1611.    individuals. Cellular Automata and Conway's Game of Life are probably
  1612.    the most commonly known applications of this field. 
  1613.    
  1614.   Alife class/code libraries
  1615.   
  1616.    These are libraries of code or classes for use in programming within
  1617.    the artificial life field. They are not meant as stand alone
  1618.    applications, but rather as tools for building your own applications.
  1619.    
  1620.    
  1621.    
  1622.    
  1623.           
  1624.    John von Neumann Universal Constructor
  1625.           Web site: alife.santafe.edu/alife/software/jvn.html
  1626.           FTP site: alife.santafe.edu/pub/SOFTWARE/jvn/
  1627.           The universal constructor of John von Neumann is an extension
  1628.           of the logical concept of universal computing machine. In the
  1629.           cellular environment proposed by von Neumann both computing and
  1630.           constructive universality can be achieved. Von Neumann proved
  1631.           that in his cellular lattice both a Turing machine and a
  1632.           machine capable of producing any other cell assembly, when fed
  1633.           with a suitable program, can be embedded. He called the latter
  1634.           machine a "universal constructor" and showed that, when
  1635.           provided with a program containing its own description, this is
  1636.           capable of self-reproducing.
  1637.           
  1638.           
  1639.           
  1640.    Swarm
  1641.           Web site: www.santafe.edu/projects/swarm
  1642.           FTP site: ftp.santafe.edu/pub/swarm
  1643.           The swarm Alife simulation kit. Swarm is a simulation
  1644.           environment which facilitates development and experimentation
  1645.           with simulations involving a large number of agents behaving
  1646.           and interacting within a dynamic environment. It consists of a
  1647.           collection of classes and libraries written in Objective-C and
  1648.           allows great flexibility in creating simulations and analyzing
  1649.           their results. It comes with three demos and good
  1650.           documentation.
  1651.           
  1652.           Swarm 1.0 is out. It requires _libtclobjc_ and _BLT 2.1_ (both
  1653.           available at the swarm site).
  1654.           
  1655.           
  1656.           
  1657.    
  1658.    
  1659.    
  1660.    
  1661.   Alife software kits, applications, etc.
  1662.   
  1663.    These are various applications, software kits, etc. meant for research
  1664.    in the field of artificial life. Their ease of use will vary, as they
  1665.    were designed to meet some particular research interest more than as
  1666.    an easy to use commercial package.
  1667.    
  1668.    
  1669.           
  1670.    BugsX
  1671.           FTP site:
  1672.           ftp.Germany.EU.net/pub/research/softcomp/Alife/packages/bugsx/
  1673.           
  1674.           Display and evolve biomorphs. It is a program which draws the
  1675.           biomorphs based on parametric plots of Fourier sine and cosine
  1676.           series and let's you play with them using the genetic
  1677.           algorithm.
  1678.           
  1679.           
  1680.           
  1681.    The Cellular Automata Simulation System
  1682.           Web site: www.cs.runet.edu/~dana/ca/cellular.html
  1683.           The system consists of a compiler for the Cellang cellular
  1684.           automata programming language, along with the corresponding
  1685.           documentation, viewer, and various tools. Cellang has been
  1686.           undergoing refinement for the last several years (1991-1995),
  1687.           with corresponding upgrades to the compiler. Postscript
  1688.           versions of the tutorial and language reference manual are
  1689.           available for those wanting more detailed information. The most
  1690.           important distinguishing features of Cellang, include support
  1691.           for:
  1692.           
  1693.           + any number of dimensions;
  1694.           + compile time specification of each dimensions size; cell
  1695.             neighborhoods of any size (though bounded at compile time)
  1696.             and shape;
  1697.           + positional and time dependent neighborhoods;
  1698.           + associating multiple values (fields), including arrays, with
  1699.             each cell;
  1700.           + associating a potentially unbounded number of mobile agents [
  1701.             Agents are mobile entities based on a mechanism of the same
  1702.             name in the Creatures system, developed by Ian Stephenson
  1703.             (ian@ohm.york.ac.uk).] with each cell; and
  1704.           + local interactions only, since it is impossible to construct
  1705.             automata that contain any global control or references to
  1706.             global variables.
  1707.             
  1708.    
  1709.           
  1710.           
  1711.           
  1712.    dblife & dblifelib
  1713.           FTP site: ftp.cc.gatech.edu/ac121/linux/games/amusements/life/
  1714.           _dblife:_ Sources for a fancy Game of Life program for X11 (and
  1715.           curses). It is not meant to be incredibly fast (use xlife for
  1716.           that:-). But it IS meant to allow the easy editing and viewing
  1717.           of Life objects and has some powerful features. The related
  1718.           dblifelib package is a library of Life objects to use with the
  1719.           program.
  1720.           
  1721.           _dblifelib:_ This is a library of interesting Life objects,
  1722.           including oscillators, spaceships, puffers, and other weird
  1723.           things. The related dblife package contains a Life program
  1724.           which can read the objects in the Library.
  1725.           
  1726.           
  1727.           
  1728.    Drone
  1729.           Web site: pscs.physics.lsa.umich.edu/Software/Drone/
  1730.           Drone is a tool for automatically running batch jobs of a
  1731.           simulation program. It allows sweeps over arbitrary sets of
  1732.           parameters, as well as multiple runs for each parameter set,
  1733.           with a separate random seed for each run. The runs may be
  1734.           executed either on a single computer or over the Internet on a
  1735.           set of remote hosts. Drone is written in Expect (an extension
  1736.           to the Tcl scripting language) and runs under Unix. It was
  1737.           originally designed for use with the Swarm agent-based
  1738.           simulation framework, but Drone can be used with any simulation
  1739.           program that reads parameters from the command line or from an
  1740.           input file.
  1741.           
  1742.           
  1743.           
  1744.    EcoLab [New]
  1745.           Web site: parallel.acsu.unsw.edu.au/rks/ecolab.html
  1746.           EcoLab is a system that implements an abstract ecology model.
  1747.           It is written as a set of Tcl/Tk commands so that the model
  1748.           parameters can easily be changed on the fly by means of editing
  1749.           a script. The model itself is written in C++.
  1750.           
  1751.           
  1752.           
  1753.    Game Of Life (GOL) [New]
  1754.           Web site: www.arrakeen.demon.co.uk/downloads.html
  1755.           FTP site: sunsite.unc.edu/pub/Linux/science/ai/life
  1756.           GOL is a simulator for conway's game of life (a simple cellular
  1757.           automata), and other simple rule sets. The emphasis here is on
  1758.           speed and scale, in other words you can setup large and fast
  1759.           simulations.
  1760.           
  1761.           
  1762.           
  1763.    LEE
  1764.           Web site: www-cse.ucsd.edu/users/fil/lee/lee.html
  1765.           FTP site: cs.ucsd.edu/pub/LEE/
  1766.           LEE (Latent Energy Environments) is both an Alife model and a
  1767.           software tool to be used for simulations within the framework
  1768.           of that model. We hope that LEE will help understand a broad
  1769.           range of issues in theoretical, behavioral, and evolutionary
  1770.           biology. The LEE tool described here consists of approximately
  1771.           7,000 lines of C code and runs in both Unix and Macintosh
  1772.           platforms.
  1773.           
  1774.           
  1775.           
  1776.    Net-Life & ZooLife
  1777.           Web site:www.geocities.com/SiliconValley/Heights/1051**
  1778.           FTP site: ftp.coe.uga.edu/users/jae/alife/
  1779.           *(netlife-2.0.tar.gz contains both Net-Life and ZooLife)
  1780.           
  1781.           _Net-Life_ is a simulation of artificial-life, with neural
  1782.           "brains" generated via slightly random techniques. Net-Life
  1783.           uses artificial neural nets and evolutionary algorithms to
  1784.           breed artificial organisms that are similar to single cell
  1785.           organisms. Net-life uses asexual reproduction of its fittest
  1786.           individuals with a chance of mutation after each round to
  1787.           eventually evolve successful life-forms.
  1788.           
  1789.           _ZooLife_ is a simulation of artificial-life. ZooLife uses
  1790.           probabilistic methods and evolutionary algorithms to breed
  1791.           artificial organisms that are similar to plant/animal zoo
  1792.           organisms. ZooLife uses asexual reproduction with a chance of
  1793.           mutation.
  1794.           
  1795.           
  1796.           
  1797.    Primordial Soup
  1798.           Web site: alife.santafe.edu/alife/software/psoup.html
  1799.           Primordial Soup is an artificial life program. Organisms in the
  1800.           form of computer software loops live in a shared memory space
  1801.           (the "soup") and self-reproduce. The organisms mutate and
  1802.           evolve, behaving in accordance with the principles of Darwinian
  1803.           evolution.
  1804.           
  1805.           The program may be started with one or more organisms seeding
  1806.           the soup. Alternatively, the system may be started "sterile",
  1807.           with no organisms present. Spontaneous generation of
  1808.           self-reproducing organisms has been observed after runs as
  1809.           short as 15 minutes.
  1810.           
  1811.           
  1812.           
  1813.    Tierra
  1814.           Web site: www.hip.atr.co.jp/~ray/tierra/tierra.html
  1815.           FTP site: alife.santafe.edu/pub/SOFTWARE/Tierra/
  1816.           Alternate FTP site:
  1817.           ftp.cc.gatech.edu/ac121/linux/science/biology/
  1818.           Tierra's written in the C programming language. This source
  1819.           code creates a virtual computer and its operating system, whose
  1820.           architecture has been designed in such a way that the
  1821.           executable machine codes are evolvable. This means that the
  1822.           machine code can be mutated (by flipping bits at random) or
  1823.           recombined (by swapping segments of code between algorithms),
  1824.           and the resulting code remains functional enough of the time
  1825.           for natural (or presumably artificial) selection to be able to
  1826.           improve the code over time.
  1827.           
  1828.           
  1829.           
  1830.    TIN
  1831.           FTP site: ftp.coe.uga.edu/users/jae/alife/
  1832.           This program simulates primitive life-forms, equipped with some
  1833.           basic instincts and abilities, in a 2D environment consisting
  1834.           of cells. By mutation new generations can prove their success,
  1835.           and thus passing on "good family values".
  1836.           
  1837.           The brain of a TIN can be seen as a collection of processes,
  1838.           each representing drives or impulses to behave a certain way,
  1839.           depending on the state/perception of the environment ( e.g.
  1840.           presence of food, walls, neighbors, scent traces) These
  1841.           behavior process currently are : eating, moving, mating,
  1842.           relaxing, tracing others, gathering food and killing. The
  1843.           process with the highest impulse value takes control, or in
  1844.           other words: the tin will act according to its most urgent
  1845.           need.
  1846.           
  1847.           
  1848.           
  1849.    XLIFE
  1850.           FTP site: ftp.cc.gatech.edu/ac121/linux/games/amusements/life/
  1851.           This program will evolve patterns for John Horton Conway's game
  1852.           of Life. It will also handle general cellular automata with the
  1853.           orthogonal neighborhood and up to 8 states (it's possible to
  1854.           recompile for more states, but very expensive in memory).
  1855.           Transition rules and sample patterns are provided for the
  1856.           8-state automaton of E. F. Codd, the Wireworld automaton, and a
  1857.           whole class of `Prisoner's Dilemma' games. 
  1858.           
  1859.    
  1860.    
  1861.    
  1862.    
  1863. Autonomous Agents
  1864.  
  1865.     Also known as intelligent software agents or just agents, this area
  1866.    of AI research deals with simple applications of small programs that
  1867.    aid the user in his/her work. They can be mobile (able to stop their
  1868.    execution on one machine and resume it on another) or static (live in
  1869.    one machine). They are usually specific to the task (and therefore
  1870.    fairly simple) and meant to help the user much as an assistant would.
  1871.    The most popular (ie. widely known) use of this type of application to
  1872.    date are the web robots that many of the indexing engines (eg.
  1873.    webcrawler) use.
  1874.    
  1875.    
  1876.    
  1877.    
  1878.           
  1879.    AgentK
  1880.           FTP site: ftp.csd.abdn.ac.uk/pub/wdavies/agentk
  1881.           This package synthesizes two well-known agent paradigms:
  1882.           Agent-Oriented Programming, Shoham (1990), and the Knowledge
  1883.           Query & Manipulation Language, Finin (1993). The initial
  1884.           implementation of AOP, Agent-0, is a simple language for
  1885.           specifying agent behaviour. KQML provides a standard language
  1886.           for inter-agent communication. Our integration (which we have
  1887.           called Agent-K) demonstrates that Agent-0 and KQML are highly
  1888.           compatible. Agent-K provides the possibility of inter-operable
  1889.           (or open) software agents, that can communicate via KQML and
  1890.           which are programmed using the AOP approach.
  1891.           
  1892.           
  1893.           
  1894.    Agent, the Perl5 Module
  1895.           FTP site: ftp.hawk.igs.net/pub/users/jduncan/modules/Agent/
  1896.           The Agent is a prototype for an Information Agent system. It is
  1897.           both platform and language independent, as it stores contained
  1898.           information in simple packed strings. It can be packed and
  1899.           shipped across any network with any format, as it freezes
  1900.           itself in its current state.
  1901.           
  1902.           
  1903.           
  1904.    AGENT TCL
  1905.           Web site: www.cs.dartmouth.edu/~agent/
  1906.           FTP site: ftp.cs.dartmouth.edu/pub/agents/
  1907.           A transportable agent is a program that can migrate from
  1908.           machine to machine in a heterogeneous network. The program
  1909.           chooses when and where to migrate. It can suspend its execution
  1910.           at an arbitrary point, transport to another machine and resume
  1911.           execution on the new machine. For example, an agent carrying a
  1912.           mail message migrates first to a router and then to the
  1913.           recipient's mailbox. The agent can perform arbitrarily complex
  1914.           processing at each machine in order to ensure that the message
  1915.           reaches the intended recipient.
  1916.           
  1917.           
  1918.           
  1919.    Aglets Workbench
  1920.           Web site: www.trl.ibm.co.jp/aglets/
  1921.           An aglet is a Java object that can move from one host on the
  1922.           Internet to another. That is, an aglet that executes on one
  1923.           host can suddenly halt execution, dispatch to a remote host,
  1924.           and resume execution there. When the aglet moves, it takes
  1925.           along its program code as well as its state (data). A built-in
  1926.           security mechanism makes it safe for a computer to host
  1927.           untrusted aglets. The Java Aglet API (J-AAPI) is a proposed
  1928.           public standard for interfacing aglets and their environment.
  1929.           J-AAPI contains methods for initializing an aglet, message
  1930.           handling, and dispatching, retracting, deactivating/activating,
  1931.           cloning, and disposing of the aglet. J-AAPI is simple,
  1932.           flexible, and stable. Application developers can write
  1933.           platform-independent aglets and expect them to run on any host
  1934.           that supports J-AAPI.
  1935.           
  1936.           
  1937.           
  1938.    Ara
  1939.           Web site: www.uni-kl.de/AG-Nehmer/Ara/
  1940.           Ara is a platform for the portable and secure execution of
  1941.           mobile agents in heterogeneous networks. Mobile agents in this
  1942.           sense are programs with the ability to change their host
  1943.           machine during execution while preserving their internal state.
  1944.           This enables them to handle interactions locally which
  1945.           otherwise had to be performed remotely. Ara's specific aim in
  1946.           comparison to similar platforms is to provide full mobile agent
  1947.           functionality while retaining as much as possible of
  1948.           established programming models and languages.
  1949.           
  1950.           
  1951.           
  1952.    JAFMAS [New]
  1953.           Web site: www.ececs.uc.edu/~abaker/JAFMAS
  1954.           JAFMAS provides a framework to guide the coherent development
  1955.           of multiagent systems along with a set of classes for agent
  1956.           deployment in Java. The framework is intended to help beginning
  1957.           and expert developers structure their ideas into concrete agent
  1958.           applications. It directs development from a speech-act
  1959.           perspective and supports multicast and directed communication,
  1960.           KQML or other speech-act performatives and analysis of
  1961.           multiagent system coherency and consistency.
  1962.           
  1963.           Only four of the provided Java classes must be extended for any
  1964.           application. Provided examples of the N-Queens and Supply Chain
  1965.           Integration use only 567 and 1276 lines of additional code
  1966.           respectively for implementation.
  1967.           
  1968.           
  1969.           
  1970.    JATLite
  1971.           Web site: java.stanford.edu/java_agent/html/
  1972.           JATLite is providing a set of java packages which makes easy to
  1973.           build multi-agent systems using Java. JATLite provides only
  1974.           light-weight, small set of packages so that the developers can
  1975.           handle all the packages with little efforts. For flexibility
  1976.           JATLite provides four different layers from abstract to Router
  1977.           implementation. A user can access any layer we are providing.
  1978.           Each layer has a different set of assumptions. The user can
  1979.           choose an appropriate layer according to the assumptions on the
  1980.           layer and user's application. The introduction page contains
  1981.           JATLite features and the set of assumptions for each layer.
  1982.           
  1983.           
  1984.           
  1985.    Java(tm) Agent Template
  1986.           Web site: cdr.stanford.edu/ABE/JavaAgent.html
  1987.           The JAT provides a fully functional template, written entirely
  1988.           in the Java language, for constructing software agents which
  1989.           communicate peer-to-peer with a community of other agents
  1990.           distributed over the Internet. Although portions of the code
  1991.           which define each agent are portable, JAT agents are not
  1992.           migratory but rather have a static existence on a single host.
  1993.           This behavior is in contrast to many other "agent"
  1994.           technologies. (However, using the Java RMI, JAT agents could
  1995.           dynamically migrate to a foreign host via an agent resident on
  1996.           that host). Currently, all agent messages use KQML as a
  1997.           top-level protocol or message wrapper. The JAT includes
  1998.           functionality for dynamically exchanging "Resources", which can
  1999.           include Java classes (e.g. new languages and interpreters,
  2000.           remote services, etc.), data files and information inlined into
  2001.           the KQML messages.
  2002.           
  2003.           
  2004.           
  2005.    Java-To-Go
  2006.           Web site: ptolemy.eecs.berkeley.edu/dgm/javatools/java-to-go/
  2007.           Java-To-Go is an experimental infrastructure that assists in
  2008.           the development and experimentation of mobile agents and
  2009.           agent-based applications for itinerative computing (itinerative
  2010.           computing: the set of applications that requires site-to-site
  2011.           computations. The main emphasis here is on a easy-to-setup
  2012.           environment that promotes quick experimentation on mobile
  2013.           agents.
  2014.           
  2015.           
  2016.           
  2017.    Kafka [New]
  2018.           Web site: www.fujitsu.co.jp/hypertext/free/kafka/
  2019.           Kafka is yet another agent library designed for constructing
  2020.           multi-agent based distributed applications. Kafka is a
  2021.           flexible, extendable, and easy-to-use java class library for
  2022.           programmers who are familiar with distributed programming. It
  2023.           is based on Java's RMI and has the following added features:
  2024.           
  2025.         Runtime Reflection:
  2026.                 Agents can modify their behaviour (program codes) at
  2027.                 runtime. The behaviour of the agent is represented by an
  2028.                 abstract class Action. It is useful for remote
  2029.                 maintenance or installation services.
  2030.                 
  2031.         Remote Evaluation:
  2032.                 Agents can receive and evaluate program codes (classes)
  2033.                 with or without the serialized object. Remote evaluation
  2034.                 is a fundamental function of a mobile agent and is
  2035.                 thought to be a push model of service delivery.
  2036.                 
  2037.         Distributed Name Service:
  2038.                 Agents have any number of logical names that don't
  2039.                 contain the host name. These names can be managed by the
  2040.                 distributed directories.
  2041.                 
  2042.         Customizable security policy
  2043.                 a very flexible, customizable, 3-layered security model
  2044.                 is implemented in Kafka.
  2045.                 
  2046.         100% Java and RMI compatible:
  2047.                 Kafka is written completely in Java. Agent is a Java RMI
  2048.                 server object itself. So, agents can directly communicate
  2049.                 with other RMI objects.
  2050.                 
  2051.    
  2052.           
  2053.           
  2054.           
  2055.    Khepera Simulator
  2056.           Web site: diwww.epfl.ch/lami/team/michel/khep-sim/
  2057.           Khepera Simulator is a public domain software package written
  2058.           by Olivier MICHEL during the preparation of his Ph.D. thesis,
  2059.           at the Laboratoire I3S, URA 1376 of CNRS and University of
  2060.           Nice-Sophia Antipolis, France. It allows to write your own
  2061.           controller for the mobile robot Khepera using C or C++
  2062.           languages, to test them in a simulated environment and features
  2063.           a nice colorful X11 graphical interface. Moreover, if you own a
  2064.           Khepera robot, it can drive the real robot using the same
  2065.           control algorithm. It is mainly oriented toward to researchers
  2066.           studying autonomous agents.
  2067.           
  2068.           
  2069.           
  2070.    Mole
  2071.           Web site:
  2072.           www.informatik.uni-stuttgart.de/ipvr/vs/projekte/mole.html
  2073.           Mole is an agent system supporting mobile agents programmed in
  2074.           Java. Mole's agents consist of a cluster of objects, which have
  2075.           no references to the outside, and as a whole work on tasks
  2076.           given by the user or another agent. They have the ability to
  2077.           roam a network of "locations" autonomously. These "locations"
  2078.           are an abstraction of real, existing nodes in the underlying
  2079.           network. They can use location-specific resources by
  2080.           communicating with dedicated agents representing these
  2081.           services. Agents are able to use services provided by other
  2082.           agents and to provide services as well.
  2083.           
  2084.           
  2085.           
  2086.    Odyssey
  2087.           Web site: www.genmagic.com/agents/
  2088.           Odyssey is General Magic's initial implementation of mobile
  2089.           agents in 100% pure Java. The Odyssey class libraries enable
  2090.           you to develop your own mobile agent applications. Use mobile
  2091.           agents to access data, make decisions and notify users. Your
  2092.           agent-enabled applications may also take full advantage of the
  2093.           Java platform and use other third party libraries, for example,
  2094.           to access remote CORBA objects or to access relational
  2095.           databases using JDBC. To see how it's done, take a look at the
  2096.           sample applications included as part of the Odyssey download.
  2097.           
  2098.           
  2099.           
  2100.    Penguin!
  2101.           
  2102.           FTP site:
  2103.           www.perl.org/CPAN/modules/by-category/23_Miscellaneous_Modules
  2104.           /Penguin/FSG/
  2105.           Penguin is a Perl 5 module. It provides you with a set of
  2106.           functions which allow you to:
  2107.           
  2108.           + send encrypted, digitally signed Perl code to a remote
  2109.             machine to be executed.
  2110.           + receive code and, depending on who signed it, execute it in
  2111.             an arbitrarily secure, limited compartment.
  2112.             
  2113.    The combination of these functions enable direct Perl coding of
  2114.           algorithms to handle safe internet commerce, mobile
  2115.           information-gathering agents, "live content" web browser helper
  2116.           apps, distributed load-balanced computation, remote software
  2117.           update, distance machine administration, content-based
  2118.           information propagation, Internet-wide shared-data
  2119.           applications, network application builders, and so on.
  2120.           
  2121.           
  2122.           
  2123.    SimRobot
  2124.           Web site: www.informatik.uni-bremen.de/~simrobot/
  2125.           FTP site: ftp.uni-bremen.de/pub/ZKW/INFORM/simrobot/
  2126.           SimRobot is a program for simulation of sensor based robots in
  2127.           a 3D environment. It is written in C++, runs under UNIX and X11
  2128.           and needs the graphics toolkit XView.
  2129.           
  2130.           + Simulation of robot kinematics
  2131.           + Hierarchically built scene definition via a simple definition
  2132.             language
  2133.           + Various sensors built in: camera, facette eye, distance
  2134.             measurement, light sensor, etc.
  2135.           + Objects defined as polyeders
  2136.           + Emitter abstractly defined; can be interpreted e.g. as light
  2137.             or sound
  2138.           + Camera images computed according to the raytracing or
  2139.             Z-buffer algorithms known from computer graphics
  2140.           + Specific sensor/motor software interface for communicating
  2141.             with the simulation
  2142.           + Texture mapping onto the object surfaces: bitmaps in various
  2143.             formats
  2144.           + Comprehensive visualization of the scene: wire frame w/o
  2145.             hidden lines, sensor and actor values
  2146.           + Interactive as well as batch driven control of the agents and
  2147.             operation in the environment
  2148.           + Collision detection
  2149.           + Extendability with user defined object types
  2150.           + Possible socket communication to e.g. the Khoros image
  2151.             processing software
  2152.             
  2153.    
  2154.           
  2155.           
  2156.           
  2157.    TclRobots
  2158.           FTP site: ftp.neosoft.com/pub/tcl/sorted/games/tclrobots-2.0/
  2159.           Redhat Patch:
  2160.           ftp.coe.uga.edu/users/jae/ai/tclrobots-redhat.patch
  2161.           RPMs: ftp://ftp.redhat.com/contrib/
  2162.           TclRobots is a programming game, similar to 'Core War'. To play
  2163.           TclRobots, you must write a Tcl program that controls a robot.
  2164.           The robot's mission is to survive a battle with other robots.
  2165.           Two, three, or four robots compete during a battle, each
  2166.           running different programs (or possibly the same program in
  2167.           different robots.) Each robot is equipped with a scanner,
  2168.           cannon, drive mechanism. A single match continues until one
  2169.           robot is left running. Robots may compete individually, or
  2170.           combine in a team oriented battle. A tournament can be run with
  2171.           any number of robot programs, each robot playing every other in
  2172.           a round-robin fashion, one-on-one. A battle simulator is
  2173.           available to help debug robot programs.
  2174.           
  2175.           The TclRobots program provides a physical environment, imposing
  2176.           certain game parameters to which all robots must adhere.
  2177.           TclRobots also provides a view on a battle, and a controlling
  2178.           user interface. TclRobots requirements: a wish interpreter
  2179.           built from Tcl 7.4 and Tk 4.0.
  2180.           
  2181.           
  2182.           
  2183.    The Tocoma Project
  2184.           Web site: www.cs.uit.no/DOS/Tacoma/index.html
  2185.           An agent is a process that may migrate through a computer
  2186.           network in order to satisfy requests made by clients. Agents
  2187.           are an attractive way to describe network-wide computations.
  2188.           
  2189.           The TACOMA project focuses on operating system support for
  2190.           agents and how agents can be used to solve problems
  2191.           traditionally addressed by operating systems. We have
  2192.           implemented a series of prototype systems to support agents.
  2193.           
  2194.           TACOMA Version 1.2 is based on UNIX and TCP. The system
  2195.           supports agents written in C, Tcl/Tk, Perl, Python, and Scheme
  2196.           (Elk). It is implemented in C. This TACOMA version has been in
  2197.           public domain since April 1996.
  2198.           
  2199.           We are currently focusing on heterogeneity, fault-tolerance,
  2200.           security and management issues. Also, several TACOMA
  2201.           applications are under construction. We implemented StormCast
  2202.           4.0, a wide-area network weather monitoring system accessible
  2203.           over the internet, using TACOMA and Java. We are now in the
  2204.           process of evaluating this application, and plan to build a new
  2205.           StormCast version to be completed by June 1997.
  2206.           
  2207.           
  2208.           
  2209.    Virtual Secretary Project (ViSe) (Tcl/Tk) [New]
  2210.           Web site: www.cs.uit.no/DOS/Virt_Sec
  2211.           The motivation of the Virtual Secretary project is to construct
  2212.           user-model-based intelligent software agents, which could in
  2213.           most cases replace human for secretarial tasks, based on modern
  2214.           mobile computing and computer network. The project includes two
  2215.           different phases: the first phase (ViSe1) focuses on
  2216.           information filtering and process migration, its goal is to
  2217.           create a secure environment for software agents using the
  2218.           concept of user models; the second phase (ViSe2) concentrates
  2219.           on agents' intelligent and efficient cooperation in a
  2220.           distributed environment, its goal is to construct cooperative
  2221.           agents for achieving high intelligence. (Implemented in
  2222.           Tcl/TclX/Tix/Tk)
  2223.           
  2224.           
  2225.           
  2226.    VWORLD
  2227.           Web site: www.ai.uga.edu/~jae/projects.html#vworld
  2228.           Vworld is a simulated environment for research with autonomous
  2229.           agents written in prolog. It is currently in something of an
  2230.           beta stage. It works well with SWI-prolog, but should work with
  2231.           Quitnus-prolog with only a few changes. It is being designed to
  2232.           serve as an educational tool for class projects dealing with
  2233.           prolog and autonomous agents. It comes with three demo worlds
  2234.           or environments, along with sample agents for them.
  2235.           There are two versions now. One written for SWI-prolog and one
  2236.           written for LPA-prolog. Documentation is roughly done (with a
  2237.           student/professor framework in mind), and a graphical interface
  2238.           is planned.
  2239.           
  2240.           
  2241.           
  2242.    WebMate
  2243.           Web site: www.cs.cmu.edu/~softagents/webmate/
  2244.           WebMate is a personal agent for World-Wide Web browsing and
  2245.           searching. It accompanies you when you travel on the internet
  2246.           and provides you what you want.
  2247.           Features include:
  2248.           
  2249.           + Searching enhancement, including parallel search, searching
  2250.             keywords refinement using our relevant keywords extraction
  2251.             technology, relevant feedback, etc.
  2252.           + Browsing assistant, including learning your current
  2253.             interesting, recommending you new URLs according to your
  2254.             profile and selected resources, monitoring bookmarks of
  2255.             Netscape or IE, sending the current browsing page to your
  2256.             friends, etc.
  2257.           + Offline browsing, including downloading the following pages
  2258.             from the current page for offline browsing.
  2259.           + Filtering HTTP header, including recording http header and
  2260.             all the transactions between your browser and WWW servers,
  2261.             etc.
  2262.           + Checking the HTML page to find the errors or dead links, etc.
  2263.           + Programming in Java, independent of operating system, runing
  2264.             in multi-thread.
  2265.             
  2266.    
  2267.           
  2268.           
  2269.           
  2270.    
  2271.    
  2272.    
  2273.    
  2274. AI & Alife related newsgroups
  2275.  
  2276.    These newsgroups are not Linux specific. But they are good resources
  2277.    for anyone working in artificial intelligence or artificial life. If
  2278.    you can't access these newsgroups, many of their FAQs are available
  2279.    at:
  2280.    http://www.cis.ohio-state.edu/hypertext/faq/bngusenet/comp/ai/top.html
  2281.      * comp.ai
  2282.      * comp.ai.edu
  2283.      * comp.ai.genetic
  2284.      * comp.ai.neural-nets
  2285.      * comp.ai.vision
  2286.      * comp.ai.fuzzy
  2287.      * comp.ai.games
  2288.      * comp.ai.jair.announce
  2289.      * comp.ai.jair.papers
  2290.      * comp.ai.nat-lang
  2291.      * comp.ai.nlang-know-rep
  2292.      * comp.ai.philosophy
  2293.      * comp.ai.shells
  2294.      * comp.ai.alife
  2295.      * comp.ai.doc-analysis.misc
  2296.      * comp.ai.doc-analysis.ocr
  2297.      * comp.lang.prolog
  2298.      * comp.lang.lisp
  2299.      * alt.irc.bots
  2300.        
  2301.    
  2302.    
  2303. AI & Alife resource links
  2304.  
  2305.    These are a few of the many AI and Alife sites out there. These sites
  2306.    are good places to start hunting for more information or for finding
  2307.    software. I'll be adding more links to this list soon, as well as
  2308.    organizing it better. These links are not Linux specific, but I wanted
  2309.    to include them to provide a jump off point to the huge amount of info
  2310.    related to these topics located on the web.
  2311.    
  2312.    
  2313.    
  2314.   AI/Alife Archives, Research, Bibliographies, etc.
  2315.    All Catagories
  2316.         
  2317.           + SAL.KachinaTech.COM/Z/3/-Scientific Applications for Linux's
  2318.             AI page
  2319.           + www.cs.cmu.edu/Web/Groups/AI/html/repository.html-CMU
  2320.             Artificial Intelligence Repository
  2321.           + liinwww.ira.uka.de/bibliography/Ai/index.html -Bibliographies
  2322.             on Artificial Intelligence [New]
  2323.    Traditional AI
  2324.           + www.mcs.net/~jorn/html/ai.html-Outsider's Guide to AI
  2325.           +
  2326.             www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/cl
  2327.             tl/clm/clm.html-Common Lisp Book
  2328.           + www.elwoodcorp.com/alu/table/contents.htm-The Association of
  2329.             Lisp Users
  2330.           + www.cs.indiana.edu/scheme-repository/home.html-Scheme
  2331.             repository
  2332.           + www.aic.nrl.navy.mil/-Navy Center for Applied Research in
  2333.             Artificial Intelligence
  2334.           + intranet.ca/~sshah/waste/waste.html-WASTE (AI Contest)
  2335.           + www.cs.washington.edu/research/jair/home.html-Journal of
  2336.             Artificial Intelligence Research
  2337.           + www.cs.ucl.ac.uk/misc/ai/-University of London's AI Resource
  2338.             Page
  2339.           + www.cris.com/~swoodcoc/ai.html -Artificial Intelligence in
  2340.             Games
  2341.           + strips.lboro.ac.uk/bib/ -An Online Bibliography on Planning
  2342.             and Scheduling
  2343.    Connectionism
  2344.           +
  2345.             www.neuronet.ph.kcl.ac.uk/neuronet/software/software.html-NEur
  2346.             oNet - ANN software
  2347.    Evolutionary Computing
  2348.           + ftp://ftp.mad-scientist.com/pub/genetic-programming/-John
  2349.             Koza's Genetic Programming archive.
  2350.           + www.cpsc.ucalgary.ca/~jacob/Evolvica/ -Tutorial: Evolutionary
  2351.             Algorithms in Action
  2352.           + alife.santafe.edu/~joke/encore/-ENCORE-The Hitch-Hikers Guide
  2353.             to Evolutionary Computation
  2354.           + gal4.ge.uiuc.edu/illigal.home.html-IlliGAL Home Page (GA's)
  2355.           + isl.msu.edu/GA/-MSU GARAGe Home Page (GA's)
  2356.           + www.aracnet.com/~wwir/NovaGenetica/-Nova Genetica (GA's)
  2357.    Artifical Life
  2358.           + alife.santafe.edu/~joke/zooland/-ZooLand Artificial Life
  2359.             Resources
  2360.           + alife.santafe.edu-Santafe's Alife page
  2361.           + www.krl.caltech.edu/~brown/alife/-Alife FAQ
  2362.           +
  2363.             www.cogs.susx.ac.uk/users/ezequiel/alife-page/alife.html-ALife
  2364.             Bibliography
  2365.           + complex.csu.edu.au/complex/-Complex Systems Information
  2366.             Network
  2367.           + www.geneticprogramming.com/-The Genetic Programming Notebook
  2368.           + gracco.irmkant.rm.cnr.it/luigi/lupa_algames.html-The
  2369.             Artificial Life Games Homepage
  2370.           + www.krl.caltech.edu/~charles/alife-game/-Project: Von Neumann
  2371.    Agents & Bots
  2372.           + agents.www.media.mit.edu/groups/agents/-MIT Media Lab,
  2373.             Autonomous Agents Group
  2374.           + www.cs.umbc.edu/agents/agentnews/-AgentNews Webletter
  2375.           + www.cs.umbc.edu/agents-UMBC AgentWeb (includes KQML info)
  2376.             [New]
  2377.           + www.agent.org-Agent Society Home Page
  2378.           + www.botspot.com/main.html-The BotSpot (a software agent
  2379.             resource page) [New]
  2380.           + www.cselt.it/fipa/-FIPA Foundation for Intelligent Physical
  2381.             Agents
  2382.           + www.robotmag.com/-Robot Magazine
  2383.           + www.geocities.com/SiliconValley/3086/robots/index2.htm-Intro
  2384.             to Indexing Bots (aka spiders) [New]
  2385.           + luz.cs.nmt.edu/~rtlinux-Real time linux (for robotics, etc)
  2386.             
  2387.    
  2388.