home *** CD-ROM | disk | FTP | other *** search
/ ftp.pasteur.org/FAQ/ / ftp-pasteur-org-FAQ.zip / FAQ / ai-faq / general / part6 < prev   
Encoding:
Internet Message Format  |  2003-08-02  |  83.3 KB

  1. Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!news2.wam.umd.edu!cadig2.usna.navy.mil!crab.cs.usna.edu!not-for-mail
  2. From: crabbe@usna.edu (Ric Crabbe and Amit Dubey)
  3. Newsgroups: comp.ai,news.answers,comp.answers
  4. Subject: Artificial Intelligence FAQ:6/6 AI Software [Monthly posting]
  5. Followup-To: comp.ai
  6. Date: Sat, 2 Aug 2003 04:12:10 +0000 (UTC)
  7. Organization: United States Naval Academy
  8. Lines: 1777
  9. Approved: news-answers-request@MIT.EDU
  10. Expires: 3 AUG 2003 21:54:49 GMT
  11. Message-ID: <bgfdmq$k8f$1@crab.cs.usna.edu>
  12. Reply-To: crabbe@usna.edu, adubey@coli.uni-sb.de
  13. NNTP-Posting-Host: crab.cs.usna.edu
  14. X-Trace: news.usna.navy.mil 1059797491 20131 131.122.89.100 (2 Aug 2003 04:11:31 GMT)
  15. X-Complaints-To: news@usna.navy.mil
  16. NNTP-Posting-Date: 2 Aug 2003 04:11:31 GMT
  17. Summary: FTP Resources for AI
  18. Xref: senator-bedfellow.mit.edu comp.ai:68345 news.answers:255307 comp.answers:54388
  19.  
  20. Archive-name: ai-faq/general/part6
  21. Posting-Frequency: monthly
  22. Version: 2.1
  23. Maintainer: Ric Crabbe <crabbe@usna.edu> and Amit Dubey <adubey@coli.uni-sb.de>
  24. URL: http://www.faqs.org/faqs/ai-faq/general/part6/preamble.html
  25. Size: 82158 bytes, 1700 lines
  26.  
  27. ;;; ****************************************************************
  28. ;;; Answers to Questions about Artificial Intelligence *************
  29. ;;; ****************************************************************
  30. ;;; Written by Amit Dubey, Ric Crabbe, and Mark Kantrowitz
  31. ;;; ai_6.faq 
  32.  
  33. If you think of questions that are appropriate for this FAQ, or would
  34. like to improve an answer, please send email to the maintainers.
  35.  
  36. Part 6 (AI Open-Source and Other Software by Sub-field)
  37.   [6-1] Languages
  38.   [6-2] General AI Software
  39.   [6-3] Well-known Classics
  40.  
  41.   the rest of the sections are an alphabetical listing by topic:
  42.  
  43.   [6-4] Agent Modelling, Artificial Life
  44.   [6-5] Blackboard Architectures, Case Based Reasoning, Chatbots,
  45.   Chess,  Constraint Programming
  46.   [6-6] Data Mining, Defeasible Reasoning, Expert Systems
  47.   [6-7] Frame Systems, Fuzzy Logic, Games, General, Genetic Algorithms, ICOT
  48.   [6-8] Knowledge Representation, Machine Learning, Medical
  49.   [6-9] Natural Language Processing
  50.   [6-9a] Speech
  51.   [6-10] Neural Networks
  52.   [6-11] Organizations, Pedegogy, Probability, Planning, Qualitative Reasoning
  53.   [6-12] Robotics
  54.   [6-13] Temporal Reasoning, Theorem Proving, Truth Maintenance
  55.   [6-14] Search, Simulated Annealing
  56.  
  57.   the following are commercial AI software.
  58.  
  59.   [6-15] Constraint Satisfaction
  60.  
  61. Search for [#] to get to question number # quickly.
  62.  
  63. --------------------------------------------------------------------
  64. Subject: [6-1] Languages
  65.  
  66.    Its assumed that you can find your way to common languages like
  67.    LISP, C++ or Prolog by doing a web search; what are listed here are
  68.    some other languages that AI researchers may find
  69.    interesting. [Because I had trouble finding a good prolog recently,
  70.    I've added some prolog listings here.]
  71.  
  72.    XSB Prolog:
  73.  
  74.    XSB is a Logic Programming and Deductive Database system for Unix
  75.    and Windows. It is being developed at The Computer Science
  76.    Department, Stony Brook University, in collaboration with
  77.    Katholieke Universiteit Leuven, Universidade Nova de Lisboa, and
  78.    Uppsala Universitet.  http://xsb.sourceforge.net/
  79.  
  80.    Amzi! Prolog + Logic Server:
  81.  
  82.    "Embed Prolog rule-based components in C/C++, Java, Delphi, Visual
  83.    Basic, Web Servers and more. Develop Unicode and/or ASCII
  84.    logic-bases using the Windows interactive development environment
  85.    (IDE). Integrate them with ODBC databases. Deploy them with the
  86.    Logic Server Libraries. Extend Amzi! Prolog with your own
  87.    functions/libraries. For Windows, Linux, Solaris, HP/UX. Available
  88.    on any other platform with a custom port (see below). Royalty-free
  89.    runtime"  http://www.amzi.com/products/prolog_products.htm
  90.    Free Academic, Personal & Evaluation License.
  91.  
  92.    Mozart:
  93.  
  94.    Mozart is an advanced development platform for intelligent,
  95.    distributed applications.  The system is the result of a decade of
  96.    research in programming language design and implementation,
  97.    constraint-based inferencing, distributed computing, and
  98.    human-computer interfaces.
  99.    
  100.  
  101.    JEOPS - The Java Embedded Object Production System:
  102.  
  103.    It's a project intended to give Java the power of production
  104.    systems. JEOPS adds forward chaining, first-order production rules
  105.    to Java through a set of classes designed to provide this language
  106.    with some kind of declarative programming. With that, the
  107.    development of intelligent applications, such as software agents or
  108.    expert systems is facilitated.
  109.    http://www.di.ufpe.br/~csff/jeops/
  110.  
  111.    KIEV:
  112.  
  113.    Kiev is a backwards-compatible extension of Java that includes support
  114.    for (amount other things) lambda-calculus closures (ie functional
  115.    programming) and Prolog-like logic programming.  Please see
  116.    http://www.forestro.com/kiev/index.html
  117.  
  118.    LAMBDA-CALCULUS-BASED LANGUAGES:
  119.  
  120.    LISP's theoretical origins lie in Church's lambda calculus.  A number of
  121.    new languages that fix some shortcomings of LISP's implementation of the
  122.    lambda calculus are Scheme (simpler and fully tail recursive), ML
  123.    (support for types using the typed lambda calculus;
  124.    cm.bell-labs.com/cm/cs/what/smlnj/sml97.html) and Hashell (like ML but
  125.    it implements lazy evaluation properly; www.haskell.org).
  126.  
  127.    POPLOG:
  128.    
  129.    POPLOG is a multi-language software development environment
  130.    providing incremental compilers for a number of interactive
  131.    programming languages, notably: Pop-11, Prolog, and Common Lisp.  
  132.    http://www.cs.bham.ac.uk/research/poplog/poplog.info.html
  133.  
  134.    CLIPS:
  135.  
  136.    CLIPS is a productive development and delivery expert system tool
  137.    which provides a complete environment for the construction of rule
  138.    and/or object based expert systems. CLIPS is used throughout the
  139.    public and private community including: all NASA sites and branches
  140.    of the military, numerous federal bureaus, government contractors,
  141.    universities, and many companies.  The CLIPS home page is:
  142.    http://www.ghgcorp.com/clips/CLIPS.html 
  143.  
  144.    SCREAMER:
  145.  
  146.    Screamer is an extension of Common Lisp that adds support for
  147.    nondeterministic programming.  Screamer consists of two levels.  The
  148.    basic nondeterministic level adds support for backtracking and
  149.    undoable side effects.  On top of this nondeterministic substrate,
  150.    Screamer provides a comprehensive constraint programming language in
  151.    which one can formulate and solve mixed systems of numeric and
  152.    symbolic constraints.  Together, these two levels augment Common Lisp
  153.    with practically all of the functionality of both Prolog and
  154.    constraint logic programming languages such as CHiP and CLP(R).
  155.    Furthermore, Screamer is fully integrated with Common Lisp. Screamer
  156.    programs can coexist and interoperate with other extensions to Common
  157.    Lisp such as CLOS, CLIM and Iterate.
  158.  
  159.    In several ways Screamer is more efficient than other implementations
  160.    of backtracking languages.  First, Screamer code is transformed into
  161.    Common Lisp which can be compiled by the underlying Common Lisp
  162.    system.  Many competing implementations of nondeterministic Lisp are
  163.    interpreters and thus are far less efficient than Screamer.  Second,
  164.    the backtracking primitives require fairly low overhead in Screamer.
  165.    Finally, this overhead to support backtracking is only paid for those
  166.    portions of the program which use the backtracking primitives.
  167.    Deterministic portions of user programs pass through the Screamer to
  168.    Common Lisp transformation unchanged.  Since in practise, only small
  169.    portions of typical programs utilize the backtracking primitives,
  170.    Screamer can produce more efficient code than compilers for languages
  171.    in which backtracking is more pervasive.
  172.  
  173.    Screamer is fairly portable across most Common Lisp implementations.
  174.    It currently runs under Genera 8.1.1 and 8.3 on both Symbolics 36xx
  175.    and Ivory machines, under Lucid 4.0.2 and 4.1 on Sun SPARC machines,
  176.    under MCL 2.0 and 2.0p2 on Apple Macintosh machines, and under Poplog
  177.    Common Lisp on Sun SPARC machines.  It should run under any
  178.    implementation of Common Lisp which is compliant with CLtL2 and with
  179.    minor revision could be made to run under implementations compliant
  180.    with CLtL1 or dpANS.
  181.  
  182.    Screamer is available by anonymous FTP from 
  183.  
  184.       ftp.cis.upenn.edu:/pub/screamer.tar.Z
  185.  
  186.    Contact Jeffrey Mark Siskind <Qobi@research.nj.nec.com> or David McAllester
  187.    <dmac@research.att.com> for more information.
  188.  
  189.    The Screamer Tool Repository, a collection of user-contributed
  190.    Screamer code, is available by anonymous ftp from
  191.  
  192.       ftp.cis.upenn.edu:/pub/screamer-tools/
  193.  
  194.    or by WWW from
  195.  
  196.       http://www.cis.upenn.edu/~screamer-tools/home.html
  197.  
  198.    Please direct all inquires about the repository to
  199.    screamer-repository@cis.upenn.edu. 
  200.  
  201. --------------------------------------------------------------------
  202. Subject: [6-2] General AI Software
  203.  
  204.    "AGLETS"
  205.  
  206.    IBM has created a software package for creating internet agents using
  207.    Java applets.  It's an interesting concept, and worth a look.  See
  208.    http://www.trl.ibm.co.jp/aglets/
  209.  
  210.  
  211. --------------------------------------------------------------------
  212. Subject: [6-3] Well-known Classics
  213.  
  214.    For a large collection of Eliza programs, see
  215.  
  216.       ftp.cs.cmu.edu:/user/ai/areas/classics/
  217.  
  218.    The software from Peter Norvig's book "Paradigms of AI Programming" is
  219.    available by anonymous ftp from unix.sri.com:/pub/norvig/ and on disk in
  220.    Macintosh or DOS format from the publisher, Morgan Kaufmann. The
  221.    software includes Common Lisp implementations of: Eliza and pattern
  222.    matchers, Emycin, Othello, Parsers, Scheme interpreters and compilers,
  223.    Unification and a prolog interpreter and compiler, Waltz
  224.    line-labelling, implementation of GPS, macsyma, and random number
  225.    generators.  For more information, write to Morgan Kaufmann, Dept. P1,
  226.    2929 Campus Drive, Suite 260, San Mateo CA 94403, call 800-745-7323,
  227.    or fax 415-578-0672. (Mac ISBN 1-55860-227-5; DOS 3.5" ISBN
  228.    1-55860-228-3; or DOS 5.25" ISBN 1-55860-229-1).
  229.  
  230.    The doctor.el is an implementation of Eliza for GNU-Emacs
  231.    emacs-lisp. Invoke it with "Meta-X doctor".
  232.  
  233.    The original Parry (in MLISP for a PDP-10) is available in
  234.    labrea.stanford.edu:/pub/parry.tar.Z.
  235.  
  236.    RACTER is *not* public domain.  It costs $50 for MS-DOS and Macintosh
  237.    versions, the Inrac compiler is $200 (MS-DOS only), and the Inrac
  238.    manual alone is $25. Racter is available from John Owens, INRAC
  239.    Corp./Nickers International Ltd., 12 Schubert Street, Staten Island,
  240.    NY 10305, Tel: 718-448-6283, or Fax: 718-448-6298.  Racter was
  241.    published in 1984, and written in compiled BASIC. To read some of
  242.    RACTER's work, see "The Policeman's Beard is Half Constructed",
  243.    Computer Prose and Poetry by Racter, Warner Books, 1984.  ISBN
  244.    0-446-38051-2 (paperback). Written by William Chamberlain and Thomas
  245.    Etter. Some discussion of RACTER appears in A.K. Dewdney's book, "The
  246.    Armchair Universe". The Macintosh version runs only on SEs and Pluses
  247.    (it comes on a single-sided 400k copy-protected disk, with an old
  248.    version of the system). Racter is also sold by the following
  249.    mail-order software retailer: Mindware, 1803 Mission Street, Suite
  250.    414, Santa Cruz, CA 95060-5292, phone 800-447-0477 (408-427-9455),
  251.    fax 408-429-5302.  Mindware sells a variety of similar programs for
  252.    MS-DOS and Windows, including Joseph Weintraub's PC Therapist.
  253.  
  254.    You can nab a copy of Terry Winograd's seminal SHRDLU from
  255.    ftp://ftp.cc.utexas.edu/pub/AI_ATTIC/Programs/Classic/Shrdlu
  256.  
  257.  
  258. --------------------------------------------------------------------
  259. Subject: [6-4] Agent Modelling - Artificial Life
  260.  
  261. In addition to programs available free by anonymous ftp, we've
  262. included some programs which are available by contacting the authors,
  263. and some programs which charge a nominal fee.
  264.  
  265. Agent Modelling:
  266.  
  267.    ANIMALS is a simulation system written by Toby Tyrrell,
  268.    <toby@castle.ed.ac.uk>, for his PhD thesis.  The thesis examines the
  269.    problem of action selection when dealing with realistic, animal-like
  270.    situations: how to choose, at each moment in time, the most
  271.    appropriate out of a repertoire of possible actions.  It includes a
  272.    description is given of a simulated environment which is an extensive
  273.    and detailed simulation of the problem of action selection for
  274.    animals.  This simulated environment is used to investigate the
  275.    adequacy of several theories of action selection (from both ethology
  276.    and artificial intelligence) such as the drive model, Lorenz's
  277.    psycho-hydraulic model and Maes' spreading activation network, and
  278.    outlines deficiencies in each mechanism. Finally, it proposes a new
  279.    approach to action selection is developed which determines the most
  280.    appropriate action in a principled way, and which does not suffer from
  281.    the inherent shortcomings found in other methods. The thesis includes
  282.    a review and bibliography of existing work on action selection. The
  283.    thesis is available by anonymous ftp from 
  284.  
  285.       ftp.ed.ac.uk:/pub/lrtt/ [129.215.146.5]
  286.  
  287.    as the files as.1.ps.Z, as.2.ps.Z, ..., and as.7.ps.Z.
  288.    The simulation software is also available from the same site, as the
  289.    file se.tar.Z. The simulation software was written in Suntools rather
  290.    than Xtools.  It can be run only from SunView or OpenWindows.  The
  291.    action selection problem modelled by the simulated environment
  292.    comprises 15 different `sub-problems' (getting food, reproducing, not
  293.    getting lost, being vigilant for predators, etc), many internal and
  294.    external stimuli, and 35 different low-level actions to select
  295.    between.
  296.  
  297.    ***ViewGen SCHEDULED TO BE DELETED FROM THE FAQ***
  298.  
  299.    ViewGen (Viewpoint Generator) is a Prolog program that implements a
  300.    "Belief Ascription Algorithm" as described in Ballim and Wilks (see the
  301.    bibliography section on User Modelling).  This can be seen as a form of
  302.    agent modelling tool, which allows for the generation of arbitrarily deep
  303.    nested belief spaces based on the system's own beliefs, and on beliefs 
  304.    that are typically held by groups of agents.  ViewGen is available by
  305.    anonymous ftp from 
  306.  
  307.       crl.nmsu.edu:/pub/non-lexical/ViewFinder [128.123.1.18] (user anonymous)
  308.       ftp.ims.uni-stuttgart.de:/pub/ballim    [141.58.127.8] (user ftp)
  309.  
  310.    as the file ViewGen.tar.Z. The theory of belief ascription upon which
  311.    it is based is described in detail in Ballim and Wilks, and a general
  312.    framework for attributing and maintaining nested propositional
  313.    attitudes is described in Afzal Ballim's dissertation which is
  314.    archived with the Viewgen program (in the files 
  315.  
  316.       ViewFinder-{A4/A5/US}.tar.Z, 
  317.  
  318.    the variable part indicating the format of the PostScript file).
  319.    The inheritance reasoner is in the file vf-hetis.tar.Z.
  320.    Implemented in Sicstus prolog, and hence easily convertible to
  321.    any Edinburgh-style prolog. Contact Afzal Ballim <afzal@divsun.unige.ch>
  322.    for more information. 
  323.  
  324.    http://www.cl.cam.ac.uk/users/rwab1/agents.html
  325.    Ralph.Becket@cl.cam.ac.uk
  326.  
  327.    http://www.cs.bham.ac.uk/~amw/agents/index.html
  328.    [Interface Agents]
  329.    Andy Wood <amw@cs.bham.ac.uk>
  330.    
  331.    http://www.cs.umbc.edu/agents/
  332.    [Tim Finin's Software Agents Page]
  333.  
  334. Artificial Life:
  335.  
  336.    http://alife.santafe.edu/
  337.    One of the major institutions do Artificial Life research, The
  338.    Santa Fe Institute's web page has lots  of information.
  339.  
  340.    Swarm is a software package for multi-agent simulation of complex
  341.    systems, originally developed at the Santa Fe Institute. Swarm is
  342.    intended to be a useful tool for researchers in a variety of
  343.    disciplines. The basic architecture of Swarm is the simulation of
  344.    collections of concurrently interacting agents: with this
  345.    architecture, we can implement a large variety of agent based models.
  346.    See: http://www.swarm.org/
  347.  
  348.    Tierra is an artificial life system for studying the evolution of
  349.    digital organisms. Tierra consists of a virtual computer and its
  350.    operating system, whose architecture has been designed in such a way
  351.    that the executable machine codes are evolvable.  This means that the
  352.    machine code can be mutated (by flipping bits at random) or recombined
  353.    (by swapping segments of code between algorithms), and the resulting
  354.    code remains functional enough of the time for natural (or presumably
  355.    artificial) selection to be able to improve the code over time.
  356.    Tierra runs on Unix, Win32, the Amiga and MS-DOS. Tierra's homepage is at:
  357.  
  358.       http://www.isd.atr.co.jp/~ray/tierra/
  359.  
  360.    The software can be downloaded from
  361.  
  362.       alife.santafe.edu:/pub/SOFTWARE/Tierra [192.12.12.130]
  363.  
  364.    To be added to the tierra-announce mailing list, send an email to
  365.    Tom Ray (the author of Tierra as well as the list administrator) at
  366.    ray@santafe.edu.  Send bug reports or questions about the code or
  367.    installation to tierra-bug@life.slhs.udel.edu.
  368.  
  369.    For those without access to anonymous ftp, the Tierra software may be
  370.    obtained on disk for $50 ($20 for upgrades) from Virtual Life c/o Tom Ray,
  371.    ATR HIP Labs, 2-2 Hikaridai Seika-cho Soraku-gun Kyoto 619-02 Japan.  The
  372.    software ships on PC formatted disks, but contains the source for all
  373.    versions.
  374.  
  375. ------------------------------------------------------------------
  376. Subject: [6-5] Blackboard Architectures - Constraint Programming
  377.  
  378. Blackboard Architectures:
  379.  
  380.    ***GBB SCHEDULED TO BE DELETED FROM THE FAQ***
  381.    GBB (PD Version) -- ftp.cs.umass.edu:/gbb/
  382.  
  383. Case-based Reasoning:
  384.  
  385.    ***CL-Protos SCHEDULED TO BE DELETED FROM THE FAQ***
  386.    CL-Protos   -- ftp.cs.utexas.edu:/pub/porter/
  387.           (Get the README file for more information)
  388.                   Contact: Bruce W. Porter <porter@cs.utexas.edu>
  389.                            Ray Bareiss <bareiss@ils.nwu.edu>
  390.                            Erik Eilerts <eilerts@cs.utexas.edu>
  391.                            Dan Dvorak 
  392.  
  393.    ***MICRO-xxx SCHEDULED TO BE DELETED FROM THE FAQ***
  394.    MICRO-xxx  -- ftp.cs.umd.edu:/pub/schank/icbr/
  395.                  Contact: waander@cs.umd.edu
  396.                  The directory /pub/schank/icbr/ contains the complete
  397.                  code for "Inside Case-Based Reasoning" by
  398.                  Riesbeck and Schank, 1989. This includes code
  399.                  for an instructional version of CHEF by Kristian Hammond.
  400.  
  401. Chatbots:
  402.    
  403.     AI:
  404.     There is a much maligned chatbot at the Warner Brothers page on
  405.     the AI movie.
  406.     http://aimovie.warnerbros.com
  407.  
  408.     Alice: 
  409.     A.L.I.C.E. (Artificial Linguistic Internet Computer Entity) is an
  410.     award-winning open source natural language artificial intelligence
  411.     chat robot. The software used to create A.L.I.C.E. is available as
  412.     free open source Alicebot and AIML software.  Winner of the 2000
  413.     Loebner Prize.  See:
  414.     http://www.alicebot.org
  415.  
  416.     Mind:
  417.     Free public-domain source code of a learning chat-bot based on
  418.     "Chomskyan linguistics and the neural feature extraction of Hubel
  419.     and Wiesel."  The bot starts out knowing little, and tries to learn
  420.     to chat with the user.  Theory, documentation and source code are
  421.     available from:
  422.         http://sourceforge.net/projects/mind/
  423.     and the JavaScript Mind runs immediately when one clicks on
  424.         http://mind.sourceforge.net
  425.     while using the Microsoft Internet Explorer browser.
  426.  
  427.     Hippie:
  428.     A C-based version of Alice:
  429.     http://hippie.alicebot.com/
  430.  
  431. Chess:
  432.  
  433.    ***SAN Kit SCHEDULED TO BE DELETED FROM THE FAQ***
  434.  
  435.    The SAN Kit chess programming C source toolkit provides common routines
  436.    for move notation I/O, move generation, move execution, etc. Only search
  437.    routines and an evaluation function need be added to obtain a working
  438.    chess program. It runs on Apple Macintosh (Think C 5.0),
  439.    Commodore Amiga (SAS C), MS-DOS, and Unix. It is available by
  440.    anonymous ftp from
  441.  
  442.       raven.alaska.edu:/pub/coherent/sources32/ [137.229.10.39] in the
  443.       chess.lm.com:/pub/chess/Unix/
  444.  
  445.    as the compressed tar file SAN.tar.Z or SAN.tar.gz.
  446.    Contact Steven J. Edwards <sje@world.std.com> for more information.
  447.   
  448. Constraint Programming and Non-determinism:
  449.  
  450.    Dragonbreath http://www.ai-center.com/projects/dragonbreath/ is an
  451.    optimization engine based on constraint programming and local
  452.    search.  The engine is built to solve search problems, i.e.,
  453.    problems for which you don't really know how to construct a
  454.    solution but can describe what potential parts a solution can
  455.    consist of and which restrictions must be satisfied by the parts /
  456.    the parts' constellation.  Parts can be variables as well as
  457.    structural components. In addition, you can specify a preference
  458.    between different solutions, i.e., solve optimization problems.
  459.  
  460.    JACK is a new library providing constraint programming and search for Java. 
  461.    JACK consists of three components: 
  462.    - JCHR: Java Constraint Handling Rules 
  463.        A high-level language to write constraint solvers 
  464.    - JASE: Java Abstract Search Engine
  465.        A generic search engine for JCHR to solve constraint problems 
  466.    - VisualCHR:
  467.        An interactive tool to visualize JCHR computations
  468.    JACK and its documentation are available for browser use and for download at:
  469.      http://www.pms.informatik.uni-muenchen.de/software/jack/
  470.  
  471.  
  472. ---------------------------------------------
  473. Subject: [6-6] Data Mining - Expert Systems
  474.  
  475. Data Mining and Knowledge Discovery in Databases:
  476.  
  477.    ***Explora SCHEDULED TO BE DELETED FROM THE FAQ***
  478.    Explora is a data mining package written in Lisp for the Macintosh. It
  479.    includes a natural language hypertext-type interface for presentation
  480.    of dicoveries. It is available at:
  481.       http://orgwis.gmd.de:80/explora/
  482.    
  483.    Data Mine
  484.    http://www.cs.bham.ac.uk/~anp/TheDataMine.html
  485.    [Bibliographies, On-line papers, Software, and Other Resources]
  486.    Andy Pryke <anp@cs.bham.ac.uk>
  487.  
  488. Defeasible Reasoning:
  489.  
  490.    An implementation of J. Paris and A. Vencovska's model of belief is
  491.    available by anonymous ftp from
  492.  
  493.       ftp.cs.cmu.edu:/user/ai/areas/reasonng/defeasbl/belief/
  494.  
  495.    Paris and Vencovska's paper (Artificial Intelligence, 64(2), December
  496.    1993) provides a mathematical model of an agent's belief in an event
  497.    by identifying it with his ability to imagine the event within the
  498.    context of his previous experience.  This approach leads to beliefs
  499.    having properties different from those normally ascribed to it. The
  500.    implementation was written by Ian Pratt <ipratt@cs.man.ac.uk> and Jens
  501.    Doerpmund <dorpmunj@cs.man.ac.uk> and runs in Common Lisp.
  502.  
  503.  
  504. Expert Systems:
  505.  
  506.    Free ftpable expert system shells are listed in the Expert Systems
  507.    Shells FAQ, which is available by anonymous ftp from
  508.  
  509.       ftp.cs.cmu.edu:/user/ai/pubs/faqs/ai/expert_1.faq
  510.  
  511.    http://www-ksl.stanford.edu/knowledge-sharing/agents.html
  512.    [Interactive expert systems and "agents". Includes nice model of
  513.    space shuttle engines.]
  514.  
  515. ------------------------------------
  516. Subject: [6-7] Frame Systems - ICOT
  517.  
  518. Frame Systems:
  519.  
  520.      FrameWork   -- ftp.cs.cmu.edu:/user/ai/areas/kr/frames/framework/
  521.  
  522.      Theo        -- Contact: Tom.Mitchell@cs.cmu.edu
  523.  
  524.      FrameKit    -- Contact: Eric.Nyberg@cs.cmu.edu
  525.  
  526.      KR          -- Contact: Brad.Myers@cs.cmu.edu
  527.  
  528.      PARKA       -- Contact: spector@cs.umd.edu
  529.                     Frames for the CM
  530.  
  531.      PARMENIDES (Frulekit) -- Contact: Peter.Shell@cs.cmu.edu 
  532.  
  533.      FROBS       -- cs.utah.edu:/pub/frobs.tar.Z
  534.                     Contact: Robert Kessler <kessler@cs.utah.edu>
  535.  
  536.      PFC         -- linc.cis.upenn.edu: ??
  537.  
  538.      YAK         -- Contact: Enrico Franconi <franconi@irst.it>
  539.  
  540. Fuzzy Logic:
  541.  
  542.    FLIE    -- ural.ethz.ch:/robo/flie/   [129.132.104.194]
  543.               Contact: vestli@ifr.ethz.ch
  544.               Fuzzy Logic Inference Engine, Institute of Robotics, ETH.
  545.  
  546.    RICE (Routines for Implementing C Expert systems) is a fuzzy/MV logic
  547.    inference engine written in C. A C++ front-end with classes is provided.
  548.    Tested with Borland C/C++ 3.1, Microsoft C/C++ 7.00 and GCC 2.4.5;
  549.    examples are included. Documentation is available in WP 5.1 format and 
  550.    PostScript. Available by anonymous ftp from ntia.its.bldrdoc.gov and 
  551.    ftp.cs.cmu.edu. For more info contact Rene' Jager, <R.Jager@ET.TUDelft.NL>.
  552.  
  553.    FuNeGen 1.0 is a fuzzy neural system capable of generating fuzzy
  554.    classification systems (as C-code) from sample data.
  555.    FuNeGen 1.0 and the papers/reports describing the application and the 
  556.    theoretical background can be obtained by anonymous ftp from
  557.  
  558.       obelix.microelectronic.e-technik.th-darmstadt.de:/pub/neurofuzzy/
  559.  
  560. Game Playing:
  561.  
  562.    METAGAME is a game-playing workbench for developing and playing
  563.    metagame programs. It includes a generator for symmetric chess-like
  564.    games; definitions of chess, checkers, chinese chess, shogi, lose
  565.    chess, lose checkers, french checkers, and tic tac toe translated into
  566.    symmetric chess-like games; a legal move generator; and a variety of
  567.    player programs, from simple through sophisticated.  The METAGAME
  568.    Workbench runs in Quintus or Sictus Prolog.  Available by anonymous
  569.    ftp from 
  570.       ftp.cl.cam.ac.uk:/users/bdp/metagame3a.tar.Z [128.232.0.56]
  571.    For more information, contact Barney Pell <bdp@cl.cam.ac.uk> of the
  572.    University of Cambridge Computer Laboratory.
  573.  
  574. General AI:
  575.  
  576.    Generation5: Artificial Intelligence Repository.
  577.    http://library.advanced.org/18242/index.shtml
  578.    A repository of AI information and code, plus interviews with
  579.    famous AI people.
  580.  
  581.    National Research Council of Canada's complete reseource page:
  582.    http://ai.iit.nrc.ca/ai_top.html
  583.  
  584. Genetic Algorithms:
  585.  
  586.    SCS (Simple Classifier System) is a C port of the system from
  587.    Appendix D of "Genetic Algorithms in Search, Optimization, and Machine
  588.    Learning" by David E. Goldberg. It was ported to C by Erik Mayer
  589.    <emayer@uoft02.utoledo.edu>. For more information, contact the author.
  590.  
  591.    SCS-C is another port to C of Goldberg's Simple Classifier System.
  592.    It includes some extensions, and runs on Sun 10/30 and Atari ST. SCS-C
  593.    is available via anonymous ftp as scs-c-0.98j.tar.Z from
  594.    lumpi.informatik.uni-dortmund.de:/pub/LCS/src/ [129.217.36.140].  The
  595.    documentation alone is available as scs-c-doc.tar.Z in the directory
  596.    /pub/LCS/docs/.  For more information, contact Joerg Heitkoetter
  597.    <joke@ls11.informatik.uni-dortmund.de>, c/o Systems Analysis Group,
  598.    LSXI, Department of Computer Science, University of Dortmund, D-44221
  599.    Dortmund, Germany.
  600.  
  601.    GENITOR is available by anonymous ftp from the Colorado State
  602.    University Computer Science Department in 
  603.       beethoven.cs.colostate.edu:/pub/GENITOR.tar [129.82.102.183]
  604.    For further information, contact starkwea@cs.colostate.edu or
  605.    mathiask@cs.colostate.edu. If these fail to work, contact
  606.    whitley@cs.colostate.edu.
  607.  
  608.    Other packages are described in detail in Nici Schraudolph's survey
  609.    of free and commercial GA software (see the Genetic Algorithms
  610.    Repository in [5-1]). Some of the free ones from Nici's list are
  611.    summarized below. Many are available from the GA Repository.
  612.  
  613.      GAucsd      Genetic algorithms software 
  614.                  cs.ucsd.edu:/pub/GAucsd/GAucsd14.ps.Z [132.239.51.3]
  615.                  Contact GAucsd-request@cs.ucsd.edu
  616.                  To be put on a mailing list of GAucsd users, send
  617.                  the message "add GAucsd" to listserv@cs.ucsd.edu.
  618.  
  619.      GAbench     Genetic algorithms benchmarks and test problems  
  620.                  cs.ucsd.edu:/pub/GAbench/
  621.                  Thomas Kammeyer (tkammeye@cs.ucsd.edu)
  622.  
  623.      EM          Evolution Machine (EM)
  624.                  ftp-bionik.fb10.tu-berlin.de:/pub/software/Evolution-Machine/
  625.                      [130.149.192.50]
  626.                      em_tc.exe (EM for Turbo C)
  627.                      em_tcp.exe (EM for Turbo C++)
  628.                      em_man.exe (the manual)
  629.                  Joachim Born <born@max.fb10.tu-berlin.de>
  630.  
  631.      Genie       GA-based modeling/forecasting system
  632.                  Lance Chambers <P_Stampoul@fennel.cc.uwa.oz.au>
  633.  
  634.      GENOCOP     GEnetic algorithm for Numerical Optimization for
  635.                  COnstrained Problems. Optimizes function with any
  636.                  number of linear constraints (equalities and inequalities)
  637.      Genetic-2   Optimization package for the linear transportation problem.
  638.      Genetic-2N  Optimization package for the nonlinear transportation problem.
  639.                  All three were developed by Zbigniew Michalewicz and are
  640.                  described in detail in his book "Genetic Algorithms + Data
  641.                  Structures = Evolution Programs", Springer Verlag,
  642.                  August 1992.
  643.                     unccsun.uncc.edu:/coe/evol/ [152.15.10.88]
  644.                     (also known as ftp.uncc.edu)
  645.                  Zbigniew Michalewicz <zbyszek@unccvax.uncc.edu>
  646.  
  647.      WOLF        Simulator for G/SPLINES algorithm (genetic spline models)
  648.                  ftp://riacs.edu/pub/wolf-4.0.tar.Z
  649.  
  650.      GAC, GAL    GA written in C/Lisp. Similar to John Grefenstette's Genesis.
  651.                  Bill Spears <spears@aic.nrl.navy.mil>
  652.  
  653.      ESCaPaDE    Experiments with evolutionary algorithsm.
  654.                  Frank Hoffmeister <iwan@ls11.informatik.uni-dortmund.de>
  655.                  (Send mail with subject line "help" or "get ESCaPaDE")
  656.  
  657.      mGA1.0      Common Lisp implementation of a messy GA as described in
  658.                  TCGA report 90004.
  659.      SGA-C       C-language port and extension of the original Pascal
  660.                  SGA code presented in Goldberg's book "Genetic
  661.                  Algorithms in Search, Optimization & Machine
  662.                  Learning", Addison Wesley, 1989. See TCGA report 91002.
  663.      SGA-Cube    Goldberg's SGA code modified for nCUBE 2 hypercube
  664.                  parallel computer.
  665.                  All three are available by e-mail from 
  666.                  Robert Elliott Smith <rob@comec4.mh.ua.edu>.
  667.  
  668.      BUGS        Demonstrates genetic algorithms.
  669.                     santafe.edu:/pub/misc/BUGS/
  670.                  Joshua Smith <jrs@santafe.edu>
  671.  
  672.      SGPC        Simple Genetic Programming in C
  673.                     sfi.santafe.edu:/pub/Users/tackett/
  674.                  Walter Alden Tackett and Aviram Carmi (gpc@ipld01.hac.com)
  675.  
  676.      GENEsYs     lumpi.informatik.uni-dortmund.de:/pub/GA/src/ [129.217.36.140]
  677.                  Use "ftp" as user name, e-mail address as password.
  678.                  Thomas Baeck <baeck@ls11.informatik.uni-dortmund.de>
  679.  
  680.      GAGA        Jon Crowcroft <jon@cs.ucl.ac.uk>. cs.ucl.ac.uk:darpa/gaga.shar
  681.      Splicer     Steve Bayer <bayer@galileo.jsc.nasa.gov>
  682.      PARAGENESIS GA-Repository/e-mail Michael van Lent <vanlent@cs.utk.edu>
  683.      GENESIS     GA-Repository/e-mail John Grefenstette <gref@aic.nrl.navy.mil>
  684.      OOGA        GA-Repository/e-mail John Grefenstette <gref@aic.nrl.navy.mil>
  685.      DGENESIS    Erick Cantu <ecantu@babbage.rhon.itam.mx> or 
  686.                              <ecantu@itamvms1.bitnet>.
  687.  
  688.      PGA         Parallel Genetic Algorithms testbed
  689.                  ftp.dai.ed.ac.uk:/pub/pga-2.4/pga-2.4.tar.Z (192.41.104.152)
  690.                  Peter Ross, peter@aisb.ed.ac.uk
  691.  
  692.      ANT         PC Version of 'John Muir Trail' experiment.
  693.                  ftp.std.com:/pub/pbrennan
  694.                  Patrick M Brennan <pbrennan@world.std.com>
  695.  
  696.    GPQUICK is a simple GP system implemented in C++.  It features an
  697.    elegant object architecture with function (Function), program
  698.    (Chrome), GA (Pop) and problem (Problem) classes.  The Problem class
  699.    is proposed as a portable representation for problems that would be
  700.    source compatible with a variety of other GP systems.  GPQUICK uses a
  701.    steady state GA, tournament selection, one type of mutation, and
  702.    subtree crossover.  It uses a fast, compact linear representation for
  703.    S-expressions. It includes documentation from the associated magazine
  704.    article (Byte, "Some Assembly Required", February 1994). GPQUICK is
  705.    available by anonymous ftp from
  706.       ftp.cc.utexas.edu:/pub/genetic-programming/code/
  707.    as the files gpquick.tar (unix version, tested with CC and g++) and
  708.    gpquick.zip (PC/ANSI C version, tested with Borland 3.1).
  709.    For more information, write to Andrew Singleton <p00396@psilink.com>.
  710.  
  711.    GENlib is a library of functions for genetic algorithms together with
  712.    two applications of the library to train neural networks. The library
  713.    is available by anonymous ftp from
  714.       ftp.neuro.informatik.uni-kassel.de:/pub/NeuralNets/GA-and-NN/
  715.    for academic research and educational purposes only. Commercial uses
  716.  
  717. ICOT:
  718.  
  719.    Japan's Institute for New Generation Computer Technology (ICOT) has
  720.    made their software available to the public free of charge.  The
  721.    collection includes a variety of prolog-based programs in symbol
  722.    processing, knowledge representation, reasoning and problem solving,
  723.    natural language processing. All programs are available by anonymous
  724.    ftp from ftp.icot.or.jp.  Note that most of the programs are written
  725.    for the PSI machines, and very few have been ported to Unix-based
  726.    emulators.  For further information, send email to ifs@icot.or.jp, or
  727.    write to ICOT Free Software Desk, Institute for New Generation
  728.    Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
  729.    1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-4456-1618.
  730.  
  731. -------------------------------------------------------
  732. Subject: [6-8] Knowledge Representation - Medical
  733.  
  734. Knowledge Representation:
  735.  
  736.    OpenCyc -- OpenCyc is the open source version of the Cyc(r)
  737.           technology, the world's largest and most complete
  738.           general knowledge base and commonsense reasoning
  739.           engine. OpenCyc can be used as the basis for a wide
  740.           variety of intelligent applications.  
  741.  
  742.           web site: http://www.opencyc.org
  743.           documentation: http://www.opencyc.org/doc
  744.           download: http://sourceforge.net/projects/opencyc
  745.  
  746.    KNOWBEL -- ai.toronto.edu:/pub/kr/ as the files knowbel.tar.Z and
  747.               manual.txt.tar.Z 
  748.               Contact: Bryan M. Kramer, <kramer@ai.toronto.edu>
  749.               Telos temporal/sorted logic system.
  750.  
  751.    SB-ONE  -- Contact: kobsa@inf-wiss.uni-konstanz.de
  752.               KL-ONE family. Currently undergoing revision and will be
  753.               renamed KN-PART+.
  754.    KRIS    -- Contact: baader@dfki.uni-kl.de
  755.               KL-ONE family (Symbolics only)
  756.    BACK    -- Contact: back@cs.tu-berlin.de
  757.               ftp.cs.tu-berlin.de:/pub/doc/reports/tu-berlin.de/kit/Back52
  758.                  Files are BACK_V52.intro and Back52.tar.Z
  759.                  Tar file includes Tutorial/Manual in postscript format
  760.                  and installation instructions.
  761.               KL-ONE family
  762.    CLASSIC -- Contact: dlm@research.att.com
  763.               KL-ONE family
  764.    MOTEL   -- Contact: hustadt@mpi-sb.mpg.de
  765.               mpi-sb.mpg.de:/pub/tools/motel.tar.Z [139.19.1.1]
  766.               Modal KL-ONE (contains KRIS as a kernel). 
  767.               Implemented in Prolog.
  768.  
  769.    FOL GETFOL -- Contact: fausto@irst.it
  770.               Weyrauch's FOL system
  771.  
  772.    COLAB/RELFUN  -- Contact: boley@informatik.uni-kl.de
  773.                     Logic Programming
  774.    COLAB/FORWARD -- Contact: hinkelma@dfki.uni-kl.de
  775.                     Logic Programming
  776.    COLAB/CONTAX  -- Contact: meyer@dfki.uni-kl.de
  777.                     Constraint System for Weighted Constraints over
  778.                     Hierarchically Structured Finite Domains.
  779.    COLAB/TAXON   -- Contact: hanschke@dfki.uni-kl.de
  780.                     Terminological Knowl. Rep. w/Concrete Domains
  781.  
  782.    SNePS (Semantic Network Processing System) is the implementation of a
  783.    fully intensional theory of propositional knowledge representation and
  784.    reasoning. SNePS includes a module for creating and accessing
  785.    propositional semantic networks, path-based inference, node-based
  786.    inference based on SWM (a relevance logic with quantification) that
  787.    uses natural deduction and can deal with recursive rules, forward,
  788.    backward and bi-directional inference, nonstandard logical connectives
  789.    and quantifiers, an assumption based TMS for belief revision (SNeBR), a
  790.    morphological analyzer and a generalized ATN (GATN) parser for parsing
  791.    and generating natural language, SNePSLOG, a predicate-logic-style
  792.    interface to SNePS, XGinseng, an X-based graphics interface for
  793.    displaying, creating and editing SNePS networks, SNACTor, a
  794.    preliminary version of the SNePS Acting component, and SNIP 2.2, a new
  795.    implementation of the SNePS Inference Package that uses rule shadowing
  796.    and knowledge migration to speed up inference.  SNeRE (the SNePS
  797.    Rational Engine), which is part of Deepak Kumar's dissertation about
  798.    the integration of inference and acting, will replace the current
  799.    implementation of SNACTor.  SNePS is written in Common Lisp, and has
  800.    been tested in Allegro CL 4.1, Lucid CL 4.0, TI Common Lisp, CLISP
  801.    May-93, and CMU CL 17b. It should also run in Symbolics CL, AKCL 1.600
  802.    and higher, VAX Common Lisp, and MCL. The XGinseng interface is built
  803.    on top of Garnet.  SNePS 2.1 is free according to the GNU General
  804.    Public License version 2. The SNePS distribution is available by
  805.    anonymous ftp from 
  806.  
  807.       ftp.cs.buffalo.edu:/pub/sneps/  [128.205.32.9] 
  808.  
  809.    as the file rel-x-yyy.tar.Z, where 'x-yyy' is the version. The other
  810.    files in the directory are included in the distribution; they are
  811.    duplicated to let you get them without unpacking the full distribution
  812.    if you just want the bibliography or manual. If you use SNePS, please
  813.    send a short message to shapiro@cs.buffalo.edu and
  814.    snwiz@cs.buffalo.edu. Please also let them know whether you'd like to
  815.    be added to the SNUG (SNePS Users Group) mailing list. 
  816.  
  817.    URANUS is a logic-based knowledge representation language. Uranus is
  818.    an extension of Prolog written in Common Lisp and using the syntax of
  819.    Lisp. Uranus extends Prolog with a multiple world mechanism for
  820.    knowledge representation and term descriptions to provide
  821.    functional programming within the framework of logic programming.
  822.    It is available free by anonymous ftp from 
  823.  
  824.       etlport.etl.go.jp:/pub/uranus/ftp/ [192.31.197.99]
  825.  
  826.    for research purposes only.  For more information contact the author, 
  827.    Hideyuki Nakashima <nakashim@etl.go.jp>.
  828.  
  829. Machine Learning:
  830.  
  831.    The prudsys XELOPES library (eXtEnded Library fOr Prudsys Embedded
  832.    Solutions) is an open platform-independent and
  833.    data-source-independent library for Embedded Data Mining. It was
  834.    developed in close cooperation with the Russian MDA specialist
  835.    ZSoft Ltd. XELOPES is CWM-compatible, supports the relevant Data
  836.    Mining standards and can be combined with all prudsys products.
  837.    http://www.prudsys.com/Produkte/Algorithmen/Xelopes
  838.  
  839.    RFCT is a tool based on C4.5 and written in Java. It uses C4.5 to
  840.    discover temporal and causal rules, and has the following features:
  841.     *) Has a graphical user interface.
  842.     *) Handles temporal data, both in input and output.
  843.     *) Can function in an unsupervised manne.r
  844.     *) Outputs temporal/causal rules in a useful manner, so the user can
  845.        have a good understanding of what influences the result.
  846.     *) handles continous values (can discretize real-valued variables).
  847.     *) Can output rules in Prolog, thus the rules are readily
  848.        executable.
  849.     The package, including full source code, example files, and online
  850.     help, is available freely from
  851.     http://www.cs.uregina.ca/~karimi/downloads.html.
  852.  
  853.  
  854.    LIBSVM -- a support vector machines (SVM) library for
  855.                classification problems by Chih-Chung Chang and
  856.                Chih-Jen Lin. See:
  857.                http://www.csie.ntu.edu.tw/~cjlin/libsvm
  858.  
  859.    Weka     -- a GPLed Java machine learning toolkit
  860.            http://www.cs.waikato.ac.nz/ml/weka/
  861.            Is associated with an ML book.  See:
  862.            http://www.cs.waikato.ac.nz/~ml/weka/book.html
  863.  
  864.    COBWEB/3 -- Contact: cobweb@ptolemy.arc.nasa.gov
  865.  
  866.    IND      -- Contact: NASA COSMIC, <service@cossack.cosmic.uga.edu>
  867.                Tel: 706-542-3265 (ask for customer support)
  868.                Fax: 706-542-4807
  869.                IND is a C program for the creation and manipulation of
  870.                decision trees from data, integrating the CART,
  871.                ID3/C4.5, Buntine's smoothing and option trees, Wallace
  872.                and Patrick's MML method, and Oliver and Wallace's MML
  873.                decision graphs which extend the tree representation to
  874.                graphs. Written by Wray Buntine, <wray@kronos.arc.nasa.gov>.
  875.  
  876.    AUTOCLASS -- Contact: taylor@ptolemy.arc.nasa.gov
  877.                AutoClass is an unsupervised Bayesian classification system for
  878.                independent data. 
  879.  
  880.    FOIL     -- ftp.cs.su.oz.au:/pub/ [129.78.8.208] 
  881.                as the files foil4.sh, foil5.sh, and foil6.sh.
  882.                Each shell archive contains source, a brief manual,
  883.                and several sample datasets. FOIL2 should be available
  884.                from sumex-aim.stanford.edu:/pub/FOIL.sh. FOIL 6.0 now uses
  885.            ANSI C.
  886.                Contact: J. Ross Quinlan <quinlan@cs.su.oz.au>
  887.                         Mike Cameron-Jones <mcj@cs.su.oz.au>
  888.  
  889.    RWM      -- Contact: H. Altay Guvenir <guvenir@trbilun.bitnet>
  890.                RWM is a program for learning problem solving strategies,
  891.                written in Common Lisp (tested on Suns and NeXT).
  892.  
  893.  
  894.    MOBAL is a system for developing operational models of application
  895.    domains in a first order logic representation. It integrates a manual
  896.    knowledge acquisition and inspection environment, an inference engine,
  897.    machine learning methods for automated knowledge acquisition, and a
  898.    knowledge revision tool.  By using MOBAL's knowledge acquisition
  899.    environment, you can incrementally develop a model of your domain in
  900.    terms of logical facts and rules.  You can inspect the knowledge you
  901.    have entered in text or graphics windows, augment the knowledge, or
  902.    change it at any time. The built-in inference engine can immediately
  903.    execute the rules you have entered to show you the consequences of
  904.    your inputs, or answer queries about the current knowledge. MOBAL also
  905.    builds a dynamic sort taxonomy from your inputs. If you wish, you can
  906.    use several machine learning methods to automatically discover
  907.    additional rules based on the facts that you have entered, or to form
  908.    new concepts. If there are contradictions in the knowledge base due to
  909.    incorrect rules or facts, there is a knowledge revision tool to help
  910.    you locate the problem and fix it.  MOBAL (release 3.0b) is available
  911.    free for non-commercial academic use by anonymous ftp from
  912.  
  913.       ftp.gmd.de:/gmd/mlt/Mobal/
  914.  
  915.    The system runs on Sun SparcStations, SunOS 4.1, and includes a
  916.    graphical interface implemented using Tcl/TK.
  917.  
  918.    PEBLS (Parallel Exemplar-Based Learning System) is a nearest-neighbor
  919.    learning system designed for applications where the instances have
  920.    symbolic feature values.  PEBLS has been applied to the prediction of
  921.    protein secondary structure and to the identification of DNA promoter
  922.    sequences. PEBLS 3.0 is written in ANSI C and is available by
  923.    anonymous ftp from blaze.cs.jhu.edu:/pub/pebls/pebls.tar.Z
  924.    [128.220.13.50] for research purposes only. For more information,
  925.    contact Steven Salzberg <salzberg@cs.jhu.edu>.
  926.  
  927.    OC1 (Oblique Classifier 1) is a multivariate decision tree induction
  928.    system designed for applications where the instances have numeric
  929.    feature values.  OC1 builds decision trees that contain linear
  930.    combinations of one or more attributes at each internal node; these
  931.    trees then partition the space of examples with both oblique and
  932.    axis-parallel hyperplanes.  OC1 has been used for classification of
  933.    data from several real world domains, such as astronomy and cancer
  934.    diagnosis.  A technical decription of the algorithm can be found in
  935.    the AAAI-93 paper by Sreerama K. Murthy, Simon Kasif, Steven Salzberg
  936.    and Richard Beigel.  A postscript version of this paper is included in
  937.    the distribution. OC1 is a written entirely in ANSI C. OC1 is
  938.    available by anonymous ftp from  
  939.  
  940.       blaze.cs.jhu.edu:/pub/oc1/ [128.220.13.50]
  941.  
  942.    This distribution is provided for non-commercial purposes only. For
  943.    more information, contact Sreerama K. Murthy <murthy@cs.jhu.edu>
  944.    (primary contact), Steven Salzberg <salzberg@cs.jhu.edu>, or Simon
  945.    Kasif <kasif@cs.jhu.edu>, Department of Computer Science, The Johns
  946.    Hopkins University, Baltimore, MD 21218.
  947.  
  948.    Set-Enumeration (SE) Trees for Induction/Classification. Significant
  949.    research in Machine Learning, and in Statistics, has been devoted to
  950.    the induction and use of decision trees as classifiers.  An induction
  951.    framework which generalizes decision trees using a Set-Enumeration
  952.    (SE) tree is outlined in  
  953.  
  954.       Rymon, R. (1993), An SE-tree-based Characterization of the Induction
  955.       Problem. In Proc. of the Tenth International Conference on Machine
  956.       Learning, Amherst MA, pp. 268-275.
  957.  
  958.    In this framework, called SE-Learn, rather than splitting according to
  959.    a single attribute, one recursively branches on all (or most) relevant
  960.    attributes. An induced SE-tree can be shown to economically embed many
  961.    decision trees, thereby supporting a more expressive hypothesis
  962.    representation. Also, by branching on many attributes, SE-Learn
  963.    removes much of the algorithm-dependent search bias. Implementations
  964.    of SE-Learn can benefit from many techniques developed for decision
  965.    trees (e.g., attribute-selection and pruning measures). In particular,
  966.    SE-Learn can be tailored to start off with one's favorite decision
  967.    tree, and then improve upon it by further exploring the SE-tree. This
  968.    hill-climbing algorithm allows trading time/space for added accuracy.
  969.    Current studies (yet unpublished) show that SE-trees are particularly
  970.    advantageous in domains where (relatively) few examples are available
  971.    for training, and in noisy domains. Finally, SE-trees can provide a
  972.    unified framework for combining induced knowledge with knowledge
  973.    available from other sources (Rymon, 1994).  
  974.  
  975.       Rymon, R. (1994), On Kernel Rules and Prime Implicants. To appear in
  976.       Proc. of the Twelfth National Conference on Artificial Intelligence,
  977.       Seattle WA.
  978.  
  979.    A Lisp implementation of SE-Learn is available from Ron Rymon
  980.    <Rymon@ISP.Pitt.edu>. A commercial version in C is currently under
  981.    development.
  982.  
  983.    MLC++ is a Machine Learning library of C++ classes being developed at
  984.    Stanford.  More information about the library can be obtained at URL
  985.  
  986.       http://robotics.stanford.edu:/users/ronnyk/mlc.html
  987.  
  988.    The utilities are available by anonymous ftp from
  989.  
  990.       starry.stanford.edu:/pub/ronnyk/mlc/util/
  991.  
  992.    They are currently provided only as object code for Sun, but source code
  993.    will be distributed to sites that wish to port the code to other compilers.
  994.    For more information write to Ronny Kohavi <ronnyk@CS.Stanford.EDU>.
  995.  
  996. Medical Reasoning:
  997.  
  998.    TMYCIN -- sumex-aix.stanford.edu:/tmycin  
  999.  
  1000. ------------------------------------------------------------------------
  1001. Subject: [6-9] Natural Language Processing
  1002.  
  1003. Natural Language Processing:
  1004.  
  1005.  * ALE (Attribute Logic Engine) is a freeware system written in Prolog
  1006.    that integrates phase-structred parsing, semantic-head-driven generalization 
  1007.    and constraint logic programming with typed features such as terms.
  1008.    You can find ALE at http://www.sfs.nphil.uni-tuebingen.de/~gpenn/ale.html
  1009.    The site http://www.ltg.hcrc.ed.ac.uk/projects/ledtools/ale-hpsg/ details
  1010.    how to build an NLP grammar using a head-driven phase structured grammar
  1011.    (HPSG) and ALE.
  1012.  
  1013.  * Eric Brill's trainable rule-based part of speech tagger (version 1.0.2)
  1014.    is available by anonymous ftp from 
  1015.  
  1016.       ftp.cs.jhu.edu:/pub/BRILL/Programs/
  1017.  
  1018.    This tagger is based on transformation-based error-driven learning, a
  1019.    technique that has been effective in a number of natural language
  1020.    applications, including part of speech and word sense tagging,
  1021.    prepositional phrase attachment, and syntactic parsing.  For more
  1022.    information, you can obtain relevant papers in 
  1023.  
  1024.       ftp.cs.jhu.edu:/pub/BRILL/Papers/
  1025.  
  1026.    If you do download the tagger and wish to be on the mailing list for
  1027.    future releases, bug reports, etc, please send mail to Eric Brill
  1028.    <brill@cs.jhu.edu> or <brill@goldilocks.lcs.mit.edu>.
  1029.  
  1030.  * Hdrug is an environment to develop logic grammars, parsers, and
  1031.    generators for natural languages.  The package comes with a number of
  1032.    example grammars, including a Categorial Grammar, a Tree Adjoining
  1033.    Grammar, a Unification Grammar in the spirit of Head-driven Phrase
  1034.    Structure Grammar, an Extraposition Grammar, a Definite Clause
  1035.    Grammar, and a port of the HPSG grammar from Bob Carpenter's ALE
  1036.    system. Each of the grammars comes with a set of parsers, such as 
  1037.    Earley-like chart parsers, left-corner parsers and head-driven
  1038.    parsers. Some grammars come with variants of the head-driven
  1039.    generator. The package allows easy comparison of different
  1040.    parsers/generators, extensive possibilities of compiling feature
  1041.    equations into Prolog terms, graphical (Tk), LaTeX and ordinary Prolog
  1042.    output of trees, feature structures and Prolog terms, and plotted
  1043.    graphs and tables of statistical information. Hdrug runs in Sicstus
  1044.    Prolog and requires ProTcl and Tcl/Tk. It is available by anonymous
  1045.    FTP from
  1046.  
  1047.       tyr.let.rug.nl:/pub/prolog-app/Hdrug/
  1048.  
  1049.    or by WWW from
  1050.  
  1051.       http://tyr.let.rug.nl/~vannoord/prolog-app/Hdrug/
  1052.  
  1053.    For more information, write to Gertjan van Noord <vannoord@let.rug.nl>.
  1054.  
  1055.  * NLBean(tm) version 2: a natural language interface to databases. 
  1056.    It is an example of conversion of natural language from a limit domain
  1057.    to SQL querries for database access.  Go to http://www.markwatson.com
  1058.  
  1059.  * Grok is a project dedicated to developing a large collection of
  1060.    basic tools for NLP.  See more at
  1061.  
  1062.       http://grok.sourceforge.net
  1063.  
  1064. ------------------------------------------------------------------------
  1065. Subject: [6-9a] Speech
  1066.  
  1067.  * The ISIP project at Mississippi State University is a public-domain
  1068.    speech-to-text system currently in an Alpha release.  See
  1069.  
  1070.       http://www.isip.msstate.edu/projects/speech/
  1071.  
  1072.  * CMU's Sphinx system is available from
  1073.  
  1074.       http:// www.speech.cs.cmu.edu/sphinx/Sphinx.html
  1075.  
  1076.  * RECNET is a complete speech recognition system for the DARPA TIMIT and
  1077.    Resource Management tasks.  It uses recurrent networks to estimate phone
  1078.    probabilities and Markov models to find the most probable sequence of
  1079.    phones or words.  The system is a snapshot of evolving research code.
  1080.    There is no documentation other than published research papers.  It is
  1081.    configured for the two specific databases and is unlikely to be of use as
  1082.    a complete system for other tasks. It is available by anonymous ftp from
  1083.  
  1084.       svr-ftp.eng.cam.ac.uk:/misc/recnet-1.3.tar.Z
  1085.  
  1086.    Related publications can be found in 
  1087.  
  1088.       svr-ftp.eng.cam.ac.uk:/reports/ (see the ABSTRACT file first).
  1089.  
  1090.    You will need the relevant CDROMs, 150MByte of free space for TIMIT and
  1091.    300MByte for RM. If you use the code, the author would appreciate an
  1092.    email message so that he can keep you informed of new releases. Write to
  1093.    Tony Robinson, <ajr@eng.cam.ac.uk>, for more information.
  1094.  
  1095.  * CELP 3.2a is available from super.org:/pub/celp_3.2a.tar.Z
  1096.    [192.31.192.1] with copies available on
  1097.    svr-ftp.eng.cam.ac.uk:/comp.speech/sources/ The code (C, FORTRAN,
  1098.    diskio) all has been built and tested on a Sun4 under SunOS4.1.3.  If
  1099.    you want to run it somewhere else, then you may have to do a bit of
  1100.    work.  (A Solaris 2.x-compatible release is planned soon.) Written by
  1101.    Joe Campbell <jpcampb@afterlife.ncsc.mil> of the Department of
  1102.    Defense. Distribution facilitated by Craig F. Reese
  1103.    <cfreese@super.org>, IDA/Supercomputing Research Center.
  1104.  
  1105.  * The OGI Speech Tools are set of speech data manipulation tools
  1106.    developed at the Center for Spoken Language Understanding (CSLU) at
  1107.    the Oregon Graduate Institute of Science and Technology (Portland
  1108.    Oregon). The tools can be used to compute and display signal
  1109.    representations, label speech at different levels (e.g., phonetic,
  1110.    phonemic and word), train neural network classifiers, and display the
  1111.    output of classification or recognition algorithms time-aligned with
  1112.    the speech. The OGI Speech Tools were written in ANSI C.  The OGI
  1113.    Speech Tools are available by anonymous ftp from
  1114.  
  1115.       speech.cse.ogi.edu:/pub/tools/ 
  1116.  
  1117.    as ogitools.v1.0.tar.Z. For more information, write to Johan Schalkwyk
  1118.    <tools@cse.ogi.edu>. If you're using the tools, please let Johan know
  1119.    by sending him a mail message.
  1120.  
  1121.  * PC Convolution is a educational software package that graphically
  1122.    demonstrates the convolution operation.  It runs on IBM PC compatibles
  1123.    using DOS 4.0 or later. A demo version is available by anonymous ftp
  1124.    from 
  1125.  
  1126.       ee.umr.edu:/pub/ [131.151.4.11]
  1127.  
  1128.    as pc_conv.*.  University instructors may obtain a free, fully
  1129.    operational version by contacting Dr. Kurt Kosbar <kk@ee.umr.edu> at
  1130.    117 Electrical Engineering Building, University of Missouri/Rolla,
  1131.    Rolla, Missouri, 65401, phone 314-341-4894.
  1132.  
  1133.    http://mambo.ucsc.edu/psl/speech.html
  1134.  
  1135.  * Online Speech Synthesizer using the RSYNTH package
  1136.       http://www_tios.cs.utwente.nl/say/  (prefered URL)
  1137.    Axel.Belinfante@cs.utwente.nl
  1138.  
  1139.  * AsTeR (Audio System For Technical Readings) is a computing system that
  1140.    orally renders technical documents marked up in LaTeX. An interactive
  1141.    demo is accessible via the URL
  1142.       http://www.cs.cornell.edu/Info/People/raman/aster/demo.html
  1143.    This document presents a collection of math examples rendered in
  1144.    audio by AsTeR and in Postscript by LaTeX/DVIPS from the same original
  1145.    LaTeX source. A version of the demo that uses inline images can be
  1146.    found in the URL
  1147.       http://www.cs.cornell.edu/Info/People/raman/aster/aster-toplevel.html
  1148.    For more information, write to T.V. Raman <raman@crl.dec.com>,
  1149.       http://www.cs.cornell.edu/Info/People/raman/raman.html
  1150.    If you download a copy of his thesis, please send him a short email message.
  1151.  
  1152.    http://ophale.icp.grenet.fr/esca/esca.html
  1153.    [European Speech Communication Association (ESCA)]
  1154.    Christian Benoit, <benoit@icp.grenet.fr> or <esca@icp.grenet.fr>
  1155.  
  1156.    http://www.cs.bham.ac.uk/~jpi/synth/museum.html
  1157.    [Examples of speech synthesis from different systems.]
  1158.    Jon Iles <j.p.iles@cs.bham.ac.uk> or http://www.cs.bham.ac.uk/~jpi/
  1159.  
  1160.    http://faculty.washington.edu/~dillon/PhonResources.html
  1161.    [Archive of resources for studying speech sounds, primarily English.
  1162.    Includes symbols and samples of English phones/phonemes, both
  1163.    American and British; tips, tutorials, basic walk-throughs of
  1164.    waveform analysis; and examples and links to TTS synthesizers,
  1165.    mainly in Europe.]
  1166.    George Dillon <dillon@u.washington.edu>
  1167.  
  1168.  
  1169. ------------------------------------------------------------------------
  1170. Subject: [6-10] Neural Networks
  1171. (see ftp://ftp.sas.com/pub/neural/FAQ5.html for a more complete list)
  1172.  
  1173. Neural Network Toolkits:
  1174.  
  1175.    The Stuttgart Neural Network Simulator supports a number of different
  1176.    kinds of neural networks.  It's build on a C kernel, and has an X-Windows
  1177.    GUI interface to "create, manipulate and visualize nets in various ways."
  1178.    You can find out more from http://www-ra.informatik/uni-tuebingen.de/SNNS 
  1179.  
  1180. Neural Systems (Biological Simulation):
  1181.  
  1182.    BIOSIM is a biologically-oriented neural network simulator.  It
  1183.    implements four neuron models: a simple model only switching ion
  1184.    channels on and off, the original Hodgkin-Huxley model, the SWIM model
  1185.    (a modified HH model) and the Golowasch-Buchholz model (the most
  1186.    enhanced model). Dendrites consist of a chain of segments without
  1187.    bifurcation.  It is in the public domain and runs on Unix workstations
  1188.    (a less-powerful PC version is also available). BIOSIM includes a
  1189.    graphical user interface and was designed for research and teaching.
  1190.    It is available by anonymous ftp from
  1191.  
  1192.       ftp.uni-kl.de:/pub/bio/neurobio [131.246.9.95]
  1193.  
  1194.    For more information, write to Stefan Bergdoll <bergdoll@zxa.basf-ag.de>.
  1195.  
  1196.     GENESIS (short for GEneral NEural SImulation System) is a general
  1197.     purpose simulation platform which was developed to support the
  1198.     simulation of neural systems ranging from complex models of single
  1199.     neurons to simulations of large networks made up of more abstract
  1200.     neuronal components. GENESIS has provided the basis for laboratory
  1201.     courses in neural simulation at both Caltech and the Marine
  1202.     Biological Laboratory in Woods Hole, MA, as well as many other
  1203.     institutions. Most current GENESIS applications involve realistic
  1204.     simulations of biological neural systems. Although the software
  1205.     can also model more abstract networks, other simulators are more
  1206.     suitable for backpropagation and similar connectionist modeling.
  1207.     The homepage is located at:    http://www.genesis-sim.org/GENESIS/
  1208.  
  1209. ------------------------------------------------------------------------
  1210. Subject: [6-11] Organizations - Qualitative Reasoning
  1211.  
  1212. Organizations:
  1213.    AAAI, the American Association of Artificial Intelligence homepage:
  1214.    http://www.aaai.org/
  1215.  
  1216.    IJCAI, the International Joint Conference on Artificial
  1217.    Intelligence home page: http://ijcai.org/
  1218.  
  1219.    The Association for Computational Linguistics homepage:
  1220.    http://www.aclweb.org/ 
  1221.  
  1222. Pedagogy:
  1223.  
  1224.    Temple University's page on teaching AI:
  1225.    http://yoda.cis.temple.edu:8080/IIIA/ai.html
  1226.  
  1227. Probabilistic Reasoning:
  1228.  
  1229.    BELIEF is a Common Lisp implementation of the Dempster and Kong fusion
  1230.    and propagation algorithm for Graphical Belief Function Models and the
  1231.    Lauritzen and Spiegelhalter algorithm for Graphical Probabilistic
  1232.    Models. It includes code for manipulating graphical belief models such
  1233.    as Bayes Nets and Relevance Diagrams (a subset of Influence Diagrams)
  1234.    using both belief functions and probabilities as basic representations
  1235.    of uncertainty. It is available by anonymous ftp from
  1236.  
  1237.       ftp.stat.washington.edu [128.95.17.34]
  1238.  
  1239.    and by email from the author, Russell Almond <almond@stat.washington.edu>.
  1240.    Contact the author at almond@statsci.com for information about a
  1241.    commercial version GRAPHICAL-BELIEF currently in the prototype stages.
  1242.  
  1243.    IDEAL is a LISP system developed for building and evaluating influence
  1244.    diagrams and Bayesian networks.  It is accompanied with a graphical
  1245.    user interface (CLIM-based) for constructing, editing, and solving
  1246.    belief networks and influence diagrams. For more information, write
  1247.    to srinivas@rpal.rockwell.com.
  1248.  
  1249. Planning:
  1250.  
  1251.    St. Amant's NCSU AI Planning Resources-
  1252.    http://www.csc.ncsu.edu/faculty/stamant/planning-resources.html 
  1253.    A List of links to planning sites all over the world.
  1254.  
  1255.    NONLIN   --  http://www.cs.bham.ac.uk/research/poplog/nonlin/
  1256.         http://www.aiai.ed.ac.uk/~bat/bat.html about the
  1257.         author.
  1258.  
  1259.    RHETORICAL -- ftp.cs.rochester.edu:/pub/packages/knowledge-tools
  1260.                Contact: Brad Miller <miller@cs.rochester.edu>
  1261.  
  1262.    SNLP     -- cs.washington.edu:/pub/snlp.tar.Z
  1263.                Contact: weld@cs.washington.edu
  1264.                Nonlinear planner.
  1265.  
  1266.    IDM      -- sauquoit.gsfc.nasa.gov (128.183.101.29)
  1267.                Contact: idm-users@chelmsford.gsfc.nasa.gov
  1268.                STRIPS-like planning.
  1269.  
  1270.    PRODIGY  -- Contact: prodigy@cs.cmu.edu
  1271.                Integrated Planning and Learning System
  1272.  
  1273.    SOAR     -- http://bigfoot.eecs.umich.edu/~soar/
  1274.                Contact: soar-request@cs.cmu.edu
  1275.                Integrated Agent Architecture. 
  1276.                Supports learning through chunking.
  1277.  
  1278.    CLIPS    -- CLIPS Expert System Shell
  1279.            http://www.jsc.nasa.gov/~clips/CLIPS.html
  1280.            Executable and Documentation directory:
  1281.            http://www.ghgcorp.com/clips/download/
  1282.            There are also some DLLs for CLIPS. 
  1283.            http://www.intelliwise.com/links.htm
  1284.            (Thanks Sergio Navega)
  1285.            Java variant: :http://herzberg.ca.sandia.gov/jess
  1286.  
  1287. Qualitative Reasoning/Qualitative Physics:
  1288.  
  1289.    QSIM     -- cs.utexas.edu:/pub/qsim
  1290.                Contact: Ben Kuipers <kuipers@cs.utexas.edu>
  1291.  
  1292.    QPE      -- multivac.ils.nwu.edu:/pub/QPE
  1293.                contact: Prof. Kenneth D. Forbus <forbus@ils.nwu.edu>
  1294.                Qualitative Process Engine (an implementation of QP theory)
  1295.  
  1296. ---------------------------------------------------
  1297. Subject: [6-12] Robotics
  1298.  
  1299. Robotics:
  1300.  
  1301.    A list of pointers to sources of robotics information on the Internet. 
  1302.       http://cs.indiana.edu/robotics/world.html
  1303.  
  1304.    http://piglet.cs.umass.edu:4321/robotics.html
  1305.    [Robotics Internet Resources Page]
  1306.  
  1307. Robotic Simulation (Planning Testbeds and Simulators):
  1308.  
  1309.  * See Steve Hanks, Martha E. Pollack, and Paul R. Cohen, "Benchmarks,
  1310.    Test Beds, Controlled Experimentation, and the Design of Agent
  1311.    Architectures", AI Magazine 14(4):17-42, Winter 1993.
  1312.  
  1313.  * The ARS MAGNA abstract robot simulator provides an abstract world in
  1314.    which a planner controls a mobile robot. This abstract world is more
  1315.    realistic than typical blocks worlds, in which micro-world simplifying
  1316.    assumptions do not hold. Experiments may be controlled by varying
  1317.    global world parameters, such as perceptual noise, as well as building
  1318.    specific environments in order to exercise particular planner
  1319.    features. The world is also extensible to allow new experimental
  1320.    designs that were not thought of originally. The simulator also
  1321.    includes a simple graphical user-interface which uses the CLX
  1322.    interface to the X window system. ARS MAGNA can be obtained by
  1323.    anonymous ftp from 
  1324.  
  1325.       ftp.cs.yale.edu:/pub/nisp 
  1326.  
  1327.    as the file ars-magna.tar.Z. Installation instructions are in the file
  1328.    Installation.readme. The simulator is written in Nisp, a macro-package
  1329.    for Common Lisp. Nisp can be retrieved in the same way as the
  1330.    simulator. Version 1.0 of the ARS MAGNA simulator is documented in
  1331.    Yale Technical Report YALEU/DCS/RR #928, "ARS MAGNA: The Abstract
  1332.    Robot Simulator". This report is available in the distribution as a
  1333.    PostScript file. Comments should be directed to Sean Philip
  1334.    Engelson <engelson@cs.yale.edu>.
  1335.  
  1336.  * Erratic, a mobile robot simulator and controller by konolige@ai.sri.com is
  1337.    available by anonymous ftp from
  1338.  
  1339.       ftp.ai.sri.com:pub/konolige/erratic-ver1.tar.Z
  1340.  
  1341.  * The Michigan Intelligent Coordination Experiment (MICE) testbed is a
  1342.    tool for experimenting with coordination between intelligent systems
  1343.    under a variety of conditions.  MICE simulates a two-dimensional
  1344.    grid-world in which agents may move, communicate, and affect their
  1345.    environment.  MICE is essentially a discrete-event simulator that
  1346.    helps control the domain and a graphical representation, but provides
  1347.    relatively few constraints on the form of the domain and the agents'
  1348.    abilities.  Users may specify the time required by various activities,
  1349.    the constraints on an agents' sensors, the configuration of the domain
  1350.    and its properties, etc.  MICE runs under XWindows on Un*x boxes, on
  1351.    Macs, and on TI Explorers, with relatively consistent graphical
  1352.    displays.  Source code, documentation, and examples are available via
  1353.    anonymous ftp to ftp.eecs.umich.edu:/software/Mice/Mice.tar.Z.  MICE was
  1354.    produced by the University of Michigan's Distributed Intelligent Agent
  1355.    Group (UM DIAG).  For further information, write to
  1356.    umdiagmice@caen.engin.umich.edu.
  1357.  
  1358.  * RSIM, a SGI-based simulator from the University of Melbourne, with very
  1359.    nice graphics, is available by anonymous ftp from
  1360.  
  1361.       krang.vis.citri.edu.au:/pub/robot
  1362.  
  1363.    Write to cdillon@vis.citri.edu.au for more information.
  1364.    
  1365.  * Simderella is a robot simulator consisting of three programs: CONNEL
  1366.    (the controller), SIMMEL (the robot simulator), and BEMMEL (the
  1367.    X-windows oriented graphics back-end). SIMMEL performs a few matrix
  1368.    multiplications, based on the Denavit Hartenberg method, calculates
  1369.    velocities with the Newton-Euler scheme, and communicates with the
  1370.    other two programs.  BEMMEL only displays the robot.  CONNEL is the
  1371.    controller, which must be designed by the user (in the distributed
  1372.    version, CONNEL is a simple inverse kinematics routine.)  The programs
  1373.    use Unix sockets for communication, so you must have sockets, but you
  1374.    can run the programs on different machines.  The software is available
  1375.    by anonymous ftp from
  1376.  
  1377.       galba.mbfys.kun.nl:/pub/neuro-software/pd/ [131.174.82.73]
  1378.  
  1379.    as the file simderella.2.0.tar.gz. The software has been compiled using
  1380.    gcc on SunOS running under X11R4/5 on Sun3, Sun4, Sun Sparc 1, 2, and
  1381.    10, DEC Alpha, HP700, 386/486 (Linux), and Silicon Graphics
  1382.    architectures. For more information, send email to Patrick van der
  1383.    Smagt, <smagt@fwi.uva.nl>. 
  1384.  
  1385.  * RP1 is a Java-based robot simulator.  It allows applications to build
  1386.    arbitrary landscapes and a data-configurable robot which can interact with
  1387.    a simulated environment or solve a virtual maze.  The system provides
  1388.    abstract features that model real-world objects such as walls, light
  1389.    sources, and goals.  For more information, see:
  1390.  
  1391.       http://rossum.sourceforge.net
  1392.  
  1393.    TILEWORLD -- cs.washington.edu:/new-tileworld.tar.Z
  1394.                Planning testbed
  1395.  
  1396.  
  1397. -----------------------------------------------------
  1398. Subject: [6-13] Temporal Reasoning - Truth Maintenance
  1399.  
  1400. Temporal Reasoning:
  1401.  
  1402.    See also KNOWBEL above.
  1403.  
  1404.    MATS     -- Metric/Allen Time System
  1405.                Contact: Henry Kautz <kautz@research.att.com>
  1406.                MATS is a Common Lisp program which solves temporal
  1407.                constraint problems.  Input constraints are either
  1408.                difference inequalities or Allen-style qualitative constraints.
  1409.  
  1410.    TMM      -- New implementation of Dean & McDermott's Temporal Map
  1411.                Manager system written in Common Lisp.  
  1412.                See SIGART Bulletin 4(3), July 1993.
  1413.                Contact: carciofi@src.honeywell.com
  1414.  
  1415.    MTMM     -- Modified version of Dean & McDermott's TMM written in
  1416.                MCL.  Available on diskette.
  1417.                Contact: Eckehard Gross <gross@gmd.de>
  1418.  
  1419.    TimeGraph-- Metric and Qualitative temporal reasoning system which
  1420.                handles (<, =, >) point relations, bounds on absolute
  1421.                calendar/clock times, and bounds on durations. Data entry
  1422.                and retrieval is through interval or point relations.
  1423.                The system is scalable in the sense that storage
  1424.                remains linear in the number of relations added.
  1425.                Efficient retrieval is achieved through a simple 
  1426.                timepoint numbering scheme and metagraph structure.
  1427.                See SIGART Bulletin 4 (3), pp. 21-25, July 1993.
  1428.                Contact: Lenhart Schubert (schubert@cs.rochester.edu)
  1429.  
  1430.    TimeGraph II (TG-II) handles the set of the relations of the Point
  1431.    Algebra and of the Pointizable Interval Algebra (also called Simple
  1432.    Interval Algebra by P. van Beek). Temporal relations are represented
  1433.    through a "timegraph", a graph partitioned into a collection of "time
  1434.    chains" which are automatically structured for efficiency. The system
  1435.    is scalable, in the sense that the storage tends to remain linear in
  1436.    the number of relations asserted. Efficient query handling is achieved
  1437.    through a time point numbering scheme and a "metagraph" data
  1438.    structure. TG-II is written in Common Lisp.  For a description of the
  1439.    theory underlying the system see:
  1440.  
  1441.       [1] Alfonso Gerevini and Lenhart Schubert, "Efficient Temporal
  1442.       Reasoning through Timegraphs", in Proceedings of IJCAI-93.
  1443.       [2] Alfonso Gerevini and Lenhart Schubert, "Temporal Reasoning in 
  1444.       TimeGraph I-II", SIGART Bulletin 4(3), July 1993.
  1445.       [3] Alfonso Gerevini and Lenhart Schubert, "Efficient Algorithms 
  1446.       for Qualitative Reasoning about Time", Artificial Intelligece, 
  1447.       to appear. Also available as IRST Technical Report 9307-44, 
  1448.       IRST 38050 Povo, TN Italy; or Tech. report 496, Computer Science 
  1449.       Department, University of Rochester, Rochester 14627 NY, USA.
  1450.  
  1451.    TimeGraph II is available by anonymous ftp from
  1452.  
  1453.       ftp.cs.rochester.edu:/pub/packages/knowledge-tools/
  1454.  
  1455.    as the files tg-ii.readme and tg-ii-1.tar.gz. If you retrieve a copy
  1456.    of TimeGraph II by anonymous ftp, please let them know that you've
  1457.    retrieved a copy by sending a message to 
  1458.  
  1459.       bug-tg2-request@cs.rochester.edu
  1460.  
  1461.    For more information, contact Alfonso Gerevini <gerevini@irst.it> or
  1462.    Lenhart Schubert <schubert@cs.rochester.edu>.
  1463.  
  1464.    Tachyon  -- Performs constraint satisfaction for point-based metric
  1465.                reasoning.  Qualitative constraints are also handled by
  1466.                translation into quantitative ones.  Written in C++. 
  1467.                See SIGART Bulletin 4(3), July 1993.
  1468.                Contact: Richard Arthur (arthurr@crd.ge.com)
  1469.                
  1470.    TimeLogic-- The TimeLogic system is an interval-based forward
  1471.                chaining inference engine and database manager of
  1472.                temporal constraints.  Relational constraints,
  1473.                indicating relative order between intervals, are based
  1474.                on Allen's interval logic.  The TimeLogic system also
  1475.                supports durational constraints, indicating relative
  1476.                magnitude between intervals, and reference links, used
  1477.                for the explicit or automatic construction of interval
  1478.                hierarchies.  Constraints are posed and propagated in
  1479.                user-defined contexts with inheritance. Supports relative
  1480.                metric constraints but no absolute dates or times.
  1481.                Written in Common Lisp.
  1482.                Contact: Peggy Meeker (timelogic-request@cs.rochester.edu)
  1483.  
  1484.    TemPro   -- A temporal constraint system that uses both interval
  1485.                algebra and point-based algebra. Written in Common Lisp.
  1486.                Contact: J-P Haton <jph@loria.fr> or
  1487.                         F. Charpillet <charp@loria.fr>
  1488.  
  1489.    TIE      -- Temporal Inference Engine.  Written in Common Lisp.
  1490.                Contact: E. Tsang (Essex University, UK)
  1491.  
  1492.    TCNM (Temporal Constraint Network Manager) manages non-disjunctive
  1493.    metric constraints on time-points and on durations in an integrated
  1494.    way. These constraints allow us express absolute, qualitative and
  1495.    metric constraints on time-points and on durations, which are managed
  1496.    in an integrated way. In the updating processes, a non-redundant and
  1497.    global consistent Temporal Constraint Network is always maintained by
  1498.    means of an efficient and complete propagation method, with a O(n**2)
  1499.    temporal complexity. Sound and complete retrieval processes have a
  1500.    constant cost. Written in Common Lisp.  For more information, contact
  1501.    Federico A. Barber <fbarber@dsic.upv.es>.  See also SIGART Bulletin
  1502.    4(3), July 1993.
  1503.  
  1504. Theorem Proving/Automated Reasoning:
  1505.  
  1506.    Coq is the Calculus of Inductive Constructions. It runs in 
  1507.    Caml-Light and is available by anonymous ftp from
  1508.  
  1509.       ftp.inria.fr:/INRIA/coq/V5.8.3 (unix version)
  1510.       ftp.inria.fr:/INRIA/coq/V5.8.2 (mac version)
  1511.  
  1512.    The Mac version is standalone, not requiring Caml-Light. The unix
  1513.    version requires Caml-Light, however, which is available from
  1514.  
  1515.       ftp.inria.fr:/lang/caml-light
  1516.  
  1517.    Documentation is included in the distribution. Questions and comments
  1518.    should be directed to the Coq hotline <coq@pauillac.inria.fr>. 
  1519.  
  1520.    DTP is a general first-order theorem prover incorporating
  1521.    intelligent backtracking and subgoal caching, as well as a trace
  1522.    facility that can display proof spaces graphically.  It is
  1523.    implemented in (CLtL2) Common Lisp, and is available on the web at
  1524.      http://don.geddis.org/dtp/
  1525.  
  1526.    Elf implements the LF Logical Framework (based on the theory of
  1527.    dependent types) and gives it a logic programming interpretation in
  1528.    order to support search and the implementation of other algorithms (e.g.
  1529.    evaluation or compilation in programming languages).  It comes with a
  1530.    number of examples from logic and the theory of programming languages
  1531.    such as the Church Rosser theorem for the untyped lambda-calculus and
  1532.    type soundness for Mini-ML.  It is written in Standard ML and includes
  1533.    some support code for editing and interaction in gnu-emacs. It is
  1534.    available by anonymous ftp from 
  1535.  
  1536.       ftp.cs.cmu.edu:/afs/cs/user/fp/public/
  1537.  
  1538.    as the files README (general information), elf-04.tar.Z (Version 0.4
  1539.    of Elf, 1 Jul 1993), elf-examples.tar.Z (Version 0.4 of Elf examples,
  1540.    unchanged from Version 0.3), and elf-papers/ (DVI files for papers
  1541.    related to LF and Elf, including a "tutorial" and a bibliography). For
  1542.    more information, contact Frank Pfenning <fp+@cs.cmu.edu>,
  1543.    Department of Computer Science, Carnegie Mellon University.
  1544.  
  1545.    FRAPPS (Framework for Resolution-based Automated Proof Procedures) is
  1546.    a portable resolution theorem-prover written in Common Lisp. It is
  1547.    available via anonymous ftp from a.cs.uiuc.edu:/pub/frapps [128.174.252.1].
  1548.    If you take a copy of FRAPPS, please send a short note to Prof.
  1549.    Alan M. Frisch <frisch@cs.uiuc.edu>.
  1550.  
  1551.    Gazer is a sequent calculus based system for first order logic with a
  1552.    novel inference rule, gazing, that enables the system to determine
  1553.    which of a possibly large number of definitions and lemmas should be
  1554.    used at any point in a proof. Available from the authors, Dave
  1555.    Barker-Plummer <plummer@cs.swarthmore.edu> and Alex Rothenberg
  1556.    <alex@cs.swarthmore.edu>. 
  1557.  
  1558.    ISABELLE-93. Isabelle is a highly automated generic theorem prover
  1559.    written in Standard ML.  New logics are introduced by specifying their
  1560.    syntax and rules of inference.  Proof procedures can be expressed
  1561.    using tactics and tacticals. Isabelle comes with 8 different logics,
  1562.    including LCF, some modal logics, first-order logic, Zermelo-Fraenkel
  1563.    set theory, and higher-order logic. Isabelle-93 is not upwardly
  1564.    compatible with its predecessor, but comes with advice on converting
  1565.    to the new simplifier.  Isabelle-93 is available by anonymous ftp from
  1566.    the University of Cambridge,
  1567.  
  1568.       ftp.cl.cam.ac.uk:/ml/ [128.232.0.56]
  1569.  
  1570.    as Isabelle93.tar.gz. It is also available from the Technical
  1571.    University of Munich, 
  1572.  
  1573.       ftp.informatik.tu-muenchen.de:/lehrstuhl/nipkow/ [131.159.0.198]
  1574.  
  1575.    The distribution includes extensive documentation, including a 71-page
  1576.    introduction, an 85-page reference manual, and a 166-page description of
  1577.    the various logics supplied with Isabelle. For more information, write
  1578.    to Larry.Paulson@cl.cam.ac.uk and Tobias.Nipkow@informatik.tu-muenchen.de.
  1579.    An Emacs-Lisp package for Isabelle by David.Aspinall@dcs.ed.ac.uk
  1580.    is available from  
  1581.  
  1582.       ftp.dcs.ed.ac.uk:/pub/da/isa-mode.tar.gz
  1583.  
  1584.    The users mailing list is isabelle-users@cl.cam.ac.uk and is moderated.
  1585.  
  1586.    KEIM is a collection of software modules, written in Common Lisp with
  1587.    CLOS, designed to be used in the production of theorem proving
  1588.    systems.  KEIM is intended to be used by those who want to build or
  1589.    use deduction systems (such as resolution theorem provers) without
  1590.    having to write the entire framework. KEIM is also suitable for
  1591.    embedding a reasoning component into another Common Lisp program.
  1592.    KEIM offers a range of datatypes implementing a logical language of
  1593.    type theory (higher order logic), in which first order logic can be
  1594.    embedded.  KEIM's datatypes and algorithms include: types; terms
  1595.    (symbols, applications, abstractions), environments (e.g., associating
  1596.    symbols with types); unification and substitutions; proofs, including
  1597.    resolution and natural deduction style. KEIM also provides
  1598.    functionality for the pretty-printing, error handling, formula parsing
  1599.    and user interface facilities which form a large part of any theorem
  1600.    prover. Implementing with KEIM thus allows the programmer to avoid a
  1601.    great deal of drudgery.  KEIM has been tested in Allegro CL 4.1 and
  1602.    Lucid CL 4.0 on Sun 4 workstations.  KEIM is available for
  1603.    noncommercial use via anonymous FTP from
  1604.  
  1605.       js-sfbsun.cs.uni-sb.de:/pub/keim/keim*
  1606.  
  1607.    For more information contact Dan Nesmith, Fachbereich Informatik/AG
  1608.    Siekmann, Universitaet des Saarlandes, Postfach 1150, D-66041
  1609.    Saarbruecken, Germany, or send email to keim@cs.uni-sb.de.  A mailing
  1610.    list for KEIM users is also being set up.  Send mail to
  1611.    keim-users-request@cs.uni-sb.de to be put on the list.
  1612.  
  1613.    MVL      -- t.uoregon.edu:/mvl/mvl.tar.Z [128.223.56.46]
  1614.                Contact: ginsberg@t.stanford.edu
  1615.                Multi-valued logics
  1616.  
  1617.    Boyer-Moore -- ftp.cli.com:/pub/nqthm/nqthm.tar.Z
  1618.                   rascal.ics.utexas.edu:/pub/nqthm   128.83.138.20
  1619.    See also the pub/proof-checker/ subdirectory, which contains Matt
  1620.    Kaufmann's proof checking enhancements to nqthm. 
  1621.  
  1622.    Nqthm-1992 is the Boyer-Moore theorem prover. The 1992 version of the
  1623.    theorem prover is upwardly compatible with the previous (1987)
  1624.    version. Included in the distribution are thousands of Nqthm-checked
  1625.    theorems formulated by Bevier, Boyer, Brock, Bronstein, Cowles,
  1626.    Flatau, Hunt, Kaufmann, Kunen, Moore, Nagayama, Russinoff, Shankar,
  1627.    Talcott, Wilding, Yu, and others. The release of Nqthm-1992 includes
  1628.    three revised chapters of the book `A Computational Logic Handbook',
  1629.    including Chapter 4, on the formal logic for which the system is a
  1630.    prover, and Chapter 12, the reference guide to user commands.  Nqthm
  1631.    runs in Common Lisp, and has been tested in AKCL, CMU CL, Allegro CL,
  1632.    Lucid CL, MCL, and Symbolics CL. Nqthm-1992 is available by anonymous
  1633.    ftp from
  1634.  
  1635.       ftp.cli.com:/pub/nqthm/nqthm-1992/  [192.31.85.129]
  1636.  
  1637.    as the file nqthm-1992.tar.Z. See the file README in the same
  1638.    directory for instructions on retrieving nqthm.  See also the 
  1639.  
  1640.       /pub/pc-nqthm/pc-nqthm-1992/
  1641.  
  1642.    directory (files README-pc and pc-nqthm-1992.tar.Z), which contains
  1643.    Matt Kaufmann's interactive proof-checking enhancements to Nqthm-1992.
  1644.    For more information, contact Robert S. Boyer <boyer@cli.com>, J.
  1645.    Strother Moore <moore@cli.com>, or Matt Kaufmann <kaufmann@cli.com>,
  1646.    Computational Logic Inc., 1717 West 6th Street, Suite 290, Austin, TX
  1647.    78703-4776.  Send mail to nqthm-users-request@cli.com to be added to
  1648.    the mailing list.
  1649.  
  1650.    The Nuprl Proof Development System is available by anonymous ftp
  1651.    from ftp.cs.cornell.edu:/pub/n/. Nuprl should run in any Common
  1652.    Lisp with CLX. There are also (obsolete) interfaces for Symbolics Lisp
  1653.    machines and Suns running the SunView window system. Nuprl has been
  1654.    tested with Allegro, Lucid, AKCL. For further information, contact
  1655.    Elizabeth Maxwell, <maxwell@cs.cornell.edu>, Nuprl Distribution
  1656.    Coordinator, Department of Computer Science, Upson Hall, Cornell
  1657.    University, Ithaca, NY 14853.
  1658.  
  1659.    Otter         -- info.mcs.anl.gov:/pub/Otter/Otter-2.2/otter22.tar.Z
  1660.                     anagram.mcs.anl.gov:/pub/Otter/
  1661.                     Contact: otter@mcs.anl.gov
  1662.                     Resolution-based theorem prover.
  1663.  
  1664.    RRL       -- herky.cs.uiowa.edu:/public/rrl [128.255.28.100]
  1665.                 Rewrite Rule Laboratory
  1666.  
  1667.    See SEQUEL entry in the Lisp FAQ, part 6. 
  1668.  
  1669.    SETHEO        -- flop.informatik.tu-muenchen.de:/pub/fki/ [131.159.8.35]
  1670.                     Get the files setheo.info and setheo.tar.Z.
  1671.                     SETHEO (SEquential THEOrem prover) is an automated
  1672.                     theorem prover for formulae of predicate logic. 
  1673.                     SETHEO is based on the calculus of ``connection
  1674.                     tableaux''. SETHEO runs on Sun SPARCs only.  
  1675.                     Contact: setheo@informatik.tu-muenchen.de
  1676.                                 
  1677.    XPNet (X Proof Net) is a graphical interface to proof nets with an
  1678.    efficient proof checker. It is available by anonymous ftp to
  1679.    ftp.cis.upenn.edu:/pub/xpnet.tar.Z [130.91.6.8]. For further
  1680.    information, write to Jawahar Chirimar <chirimar@saul.cis.upenn.edu>, 
  1681.    Carl A. Gunter <gunter@saul.cis.upenn.edu>, or Myra VanInwegen
  1682.    <myra@saul.cis.upenn.edu>.
  1683.  
  1684. Theorem Proving/Automated Reasoning (Problems):
  1685.  
  1686.    ATP Problems  -- anagram.mcs.anl.gov:/pub/ATP_Problems/*
  1687.                     Collection of ATP problems from Otter, CADE, and JAR.
  1688.                     The problems include algebra, analysis, circuits,
  1689.                     geometry, logic problems, Pelletier's problem set,
  1690.                     program verification, puzzles, set theory, and topology.
  1691.  
  1692.    The TPTP (Thousands of Problems for Theorem Provers) Problem Library
  1693.    is a collection of test problems for automated theorem provers (ATPs),
  1694.    using the clausal normal form of 1st order predicate logic.  The goal
  1695.    of the TPTP is to provide a firm basis for the testing, evaluation,
  1696.    and comparison of ATP systems through a comprehensive library of ATP
  1697.    test problems in a general purpose format. The TPTP includes tools to
  1698.    convert the problems to existing ATP formats, such as the OTTER, MGTP,
  1699.    PTTP, SETHEO, and SPRFN formats.  Each problem includes a list of
  1700.    references and other relevant information.  The TPTP also aims to
  1701.    supply general guidelines outlining the requirements for ATP system
  1702.    evaluation. The TPTP can be obtained by anonymous ftp from either the
  1703.    Department of Computer Science, James Cook University, Australia,
  1704.  
  1705.       coral.cs.jcu.edu.au:/pub/research/tptp-library/   [137.219.17.4]
  1706.  
  1707.    or the Institut fuer Informatik, TU Muenchen, Germany,
  1708.  
  1709.       flop.informatik.tu-muenchen.de:/pub/tptp-library/ [131.159.8.35]
  1710.  
  1711.    as the files ReadMe (general information about the library),
  1712.         TPTP-v1.1.0.tar.gz (the library itself), and
  1713.         TR-v1.0.0.ps.gz (a postscript technical report about the TPTP).
  1714.    The TPTP is also accessible through WWW using either of the URLs
  1715.  
  1716.       ftp://coral.cs.jcu.edu.au/users/GSutcliffe/WWW/TPTP.HTML
  1717.       http://wwwjessen.informatik.tu-muenchen.de/~suttner/tptp.html
  1718.  
  1719.    Additions and corrections may be sent to Geoff Sutcliffe
  1720.    <geoff@cs.jcu.edu.au> (Fax: +61-77-814029) or Christian Suttner
  1721.    <suttner@informatik.tu-muenchen.de> (Fax: +49-89-526502).  If you
  1722.    would like to be kept informed of new versions of the TPTP, please
  1723.    send email to either of them.
  1724.  
  1725. Truth Maintenance:
  1726.  
  1727.    The truth maintenance system and problem solver implementations
  1728.    described in the book "Building Problem Solvers" by Ken Forbus and
  1729.    Johan de Kleer are available by anonymous ftp from
  1730.  
  1731.           multivac.ils.nwu.edu:/pub/BPS/
  1732.     parcftp.xerox.com:/pub/bps/ 
  1733.  
  1734.    For more information send mail to Johan de Kleer <deKleer@parc.xerox.com>.
  1735.    Send bug reports to bug-bps@ils.nwu.edu.
  1736.  
  1737. -----------------------------------------------------
  1738. Subject: [6-14] Search
  1739.  
  1740. Search:
  1741.  
  1742.    AISEARCH is a C++ class library for search algorithms implemented by 
  1743.    Peter Bouthoorn <peter@icce.rug.nl>. It includes implementations of
  1744.    DFS, BFS, uniform cost, best-first, bidirectional DFS/BFS, and AND/OR
  1745.    DFS/BFS search algorithms. It is available by anonymous ftp from
  1746.    obelix.icce.rug.nl:/pub/peter/ as aisearch.zip or aisearch.tar.Z.
  1747.  
  1748. Simulated Annealing:
  1749.  
  1750.    ASA (Adaptive Simulated Annealing) is a powerful global optimization
  1751.    C-code algorithm especially useful for nonlinear and/or stochastic
  1752.    systems. Most current copies can be obtained by anonymous ftp from
  1753.  
  1754.       ftp.alumni.caltech.edu:/pub/ingber/ASA.tar.gz [131.215.48.62]
  1755.  
  1756.    an uncompressed version, asa, also is in that archive.  There are several
  1757.    related (p)reprints in the Caltech archive, including sa_pvt93.ps.Z,
  1758.    "Simulated annealing: Practice versus theory." The first VFSR code was
  1759.    developed by Lester Ingber in 1987, and the reprint of that paper is
  1760.    vfsr89.ps.Z, "Very fast simulated re-annealing".  If you cannot use
  1761.    ftp or ftpmail, then copies of the code are also available by email
  1762.    from the author at ingber@alumni.caltech.edu. To be added to the
  1763.    mailing list, send mail to asa-request@alumni.caltech.edu.
  1764.  
  1765.    The VFSR code was made publicly available in 1992 under the GNU GPL, by
  1766.    Lester Ingber and Bruce Rosen.  The last version of that code before
  1767.    the introduction of ASA is available via anonymous ftp from
  1768.    ringer.cs.utsa.edu:/pub/rosen/vfsr.tar.Z.  Bruce Rosen has a comparison
  1769.    study, "Function Optimization based on Advanced Simulated Annealing,"
  1770.    which is available via anonymous ftp from
  1771.    archive.cis.ohio-state.edu:/pub/neuroprose/rosen.advsim.ps.Z.
  1772.    [VFSR is no longer supported, but ASA is. --mk]
  1773.  
  1774.  
  1775. ________________________________________________________
  1776. Subject: [6-14] Constraint Satisfaction
  1777.    
  1778.    COMERCIAL PRODUCT COMERCIAL PRODUCT COMERCIAL PRODUCT 
  1779.  
  1780.    Koalog Constraint Solver. Koalog Constraint Solver is a
  1781.    constraint solver written in the JavaTMprogramming language.
  1782.  
  1783.    It provides technology for solving satisfaction and optimization
  1784.    problems, including:
  1785.  
  1786.     * scheduling;
  1787.     * time-tabling;
  1788.     * resource-allocation;
  1789.     * configuration:
  1790.  
  1791.    COMERCIAL PRODUCT COMERCIAL PRODUCT COMERCIAL PRODUCT 
  1792.  
  1793. ---
  1794. [ comp.ai is moderated.  To submit, just post and be patient, or if ]
  1795. [ that fails mail your article to <comp-ai@moderators.isc.org>, and ]
  1796. [ ask your news administrator to fix the problems with your system. ]
  1797.