home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / answers / ai-faq / part4 < prev    next >
Text File  |  1993-12-12  |  62KB  |  1,211 lines
  1. Newsgroups: comp.ai,news.answers,comp.answers
  2. Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!news.kei.com!eff!news.umbc.edu!europa.eng.gtefsd.com!fs7.ece.cmu.edu!honeydew.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!mkant
  3. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  4. Subject: FAQ: Artificial Intelligence FTP Resources 4/6 [Monthly posting]
  5. Message-ID: <ai_4.faq_755770399@cs.cmu.edu>
  6. Followup-To: poster
  7. Summary: FTP Resources for AI
  8. Sender: news@cs.cmu.edu (Usenet News System)
  9. Supersedes: <ai_4.faq_753178068@cs.cmu.edu>
  10. Nntp-Posting-Host: a.gp.cs.cmu.edu
  11. Reply-To: mkant+ai-faq@cs.cmu.edu
  12. Organization: School of Computer Science, Carnegie Mellon University
  13. Date: Mon, 13 Dec 1993 08:13:55 GMT
  14. Approved: news-answers-request@MIT.Edu
  15. Expires: Mon, 24 Jan 1994 08:13:19 GMT
  16. Lines: 1192
  17. Xref: senator-bedfellow.mit.edu comp.ai:19791 news.answers:15729 comp.answers:2981
  18.  
  19. Archive-name: ai-faq/part4
  20. Last-Modified: Mon Nov 15 15:57:08 1993 by Mark Kantrowitz
  21. Version: 1.14
  22.  
  23. ;;; ****************************************************************
  24. ;;; Answers to Questions about Artificial Intelligence *************
  25. ;;; ****************************************************************
  26. ;;; Written by Mark Kantrowitz
  27. ;;; ai_4.faq -- 60806 bytes
  28.  
  29. If you think of questions that are appropriate for this FAQ, or would
  30. like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  31.  
  32. Please note that the FTP Resources are now split across parts 4 and 5
  33. of the AI FAQ.
  34.  
  35. Part 4 (FTP Resources):
  36.   [4-0]  General Information about FTP Resources for AI
  37.   [4-1]  FTP Repositories
  38.   [4-2a] FTP and Other Resources: Agents -- Planning
  39.   [4-2b] FTP and Other Resources: Qualitative Reasoning -- Theorem Proving
  40.  
  41. Note: Question [4-2] is split across parts 4 and 5.
  42.  
  43. Search for [#] to get to question number # quickly.
  44.  
  45. ----------------------------------------------------------------
  46. Subject: [4-0]  General Information about FTP Resources for AI
  47.  
  48. Remember, when ftping compressed or compacted files (.Z, .z, .arc, .fit,
  49. etc.) to use binary mode for retrieving the files.
  50.  
  51. Files that end with a .z suffix were compressed with the patent-free
  52. gzip (no relation to zip). Source for gzip is available from:
  53.   prep.ai.mit.edu:pub/gnu/{gzip-1.2.3.shar,gzip-1.2.3.tar,gzip-1.2.3.msdos.exe}
  54.  
  55. If you do not have ftp access, you can FTP files by E-mail. Send a
  56. message with the word "help" in the body to ftpmail@decwrl.dec.com.
  57.  
  58. In general, see the Lisp FAQ for Lisp-related software and the Prolog
  59. Resource Guide and the Prolog FAQ for Prolog-related software. If a
  60. Lisp-based or Prolog-based system is listed here, only the ftp site
  61. and directory will be listed; for a more detailed description, see the
  62. Lisp FAQ and the Prolog Resource Guide. For information on obtaining
  63. the Lisp FAQ or the Prolog Resource Guide see [1-0].
  64.  
  65. When referring to software, "alpha" indicates an internal early
  66. release, "beta" indicates an external early release, and "omega"
  67. indicates an external "finished" release. Generally an "alpha" release
  68. means the creator hasn't yet tested for bugs.
  69.  
  70. ----------------------------------------------------------------
  71. Subject: [4-1]  FTP Repositories
  72.  
  73. CMU AI Repository:
  74.  
  75.    Construction of the repository is taking longer than expected. (You
  76.    don't realize how slow ftp is until you try ftping several hundred
  77.    megabytes at a time.) We're about 90% done collecting materials,
  78.    and are currently reorganizing the contents. It should become available
  79.    within a week or two, the end of August at the latest. An announcement
  80.    will be made to all relevant newsgroups and mailing lists when the
  81.    repository is ready.
  82.  
  83. Ada Repository:
  84.  
  85.    The Ada Repository on wsmr-simtel20.army.mil (mailing list
  86.    ada-sw@wsmr-simtel20.army.mil) contains a directory of AI programs in
  87.    PD2:<ADA.AI>*.*. A somewhat easier to access copy of the archives is
  88.    available as wuarchive.wustl.edu:/mirrors/ada/ai.
  89.  
  90. UCLA Artificial Life Depository:
  91.  
  92.    ftp.cognet.ucla.edu:~ftp/pub/alife [128.97.8.19]
  93.  
  94.    Repository of papers, articles, tech reports, software and other items of
  95.    interest to Artificial Life researchers. It includes an archive of
  96.    past postings to the alife mailing list, alife@cognet.ucla.edu (send
  97.    mail to alife-request@cognet.ucla.edu to be added to the list).
  98.  
  99.    (Other artificial life information is available from santafe.edu
  100.     or ftp.santafe.edu [192.12.12.1] in the directory
  101.     pub/Artificial-Life-III.) 
  102.  
  103. Consortium for Lexical Research:
  104.    clr.nmsu.edu [128.123.1.12]
  105.    equivalently, lexical.nmsu.edu [128.123.1.12]
  106.  
  107.    Archive containing a variety of programs and data files related to
  108.    natural language processing research, with a particular focus on
  109.    lexical research. See the file catalog-short for a quick listing of
  110.    the contents of the archive. Long descriptions are in the info/
  111.    subdirectory. Publicly available materials are in the pub/
  112.    subdirectory (see pub/catalog). Materials for paid-up members of the
  113.    Consortium are in the members-only/ subdirectory.  Public materials
  114.    include the Alvey Natural Language Tools, Sowa's Conceptual Graph
  115.    parser implemented in YACC by Maurice Pagnucco, a morphological
  116.    parsing lexicon of English, a phonological rule compiler for PC-KIMMO,
  117.    C source code for the NIST SGML parser, PC-KIMMO sources, the 1911
  118.    Roget Thesaurus, and a variety of word lists (including English,
  119.    Dutch, and male/female/last names).  Comments and questions may be
  120.    directed to lexical@nmsu.edu.
  121.  
  122. FJ Repository:
  123.  
  124.    The FJ Repository contains freeware from Japan (FJ = "From Japan"). 
  125.    The fj.sources subdirectory is a good place to look for free
  126.    software from Japan. Some files in the repository may contain
  127.    Kana and Kanji characters. The repository is available by
  128.    anonymous ftp from 
  129.       utsun.s.u-tokyo.ac.jp:fj/fj.sources [133.11.11.11]
  130.    The file Index contains an index of all the files in each volume.
  131.    Files of particular interest include:
  132.       v07/786:  Portable Prolog for Common Lisp
  133.       v25/2577: General-Purpose Fuzzy Inference Library Ver. 3.0 (1/1)
  134.  
  135. Fuzzy Logic Repositories:
  136.  
  137.    ntia.its.bldrdoc.gov:pub/fuzzy [132.163.64.201] contains information
  138.    concerning fuzzy logic, including bibliographies (bib/), product 
  139.    descriptions and demo versions (com/), machine readable published
  140.    papers (lit/), miscellaneous information, documents and reports (txt/), 
  141.    and programs, code and compilers (prog/). You may download new items 
  142.    into the new/ subdirectory. If you deposit anything in new/, please 
  143.    inform fuzzy@its.bldrdoc.gov. The repository is maintained by 
  144.    Timothy Butler, tim@its.bldrdoc.gov. The Fuzzy Logic Repository is also 
  145.    accessible through a mail server, rnalib@its.bldrdoc.gov. For help on 
  146.    using the server, send mail to the server with the following line in 
  147.    the body of the message:
  148.      @@ help
  149.    Other commands available include index, list, find, send, and credits.
  150.  
  151.    Ostfold Regional College in Norway recently started a ftp site
  152.    for material related to fuzzy logic, ftp.dhhalden.no:pub/Fuzzy/ 
  153.    [158.36.33.11]. Material to be included in the archive (e.g., 
  154.    papers and code) may be placed in the upload/ directory. Now holds the 
  155.    files from Togai's mail-server, and other files from Timothy Butler's 
  156.    site ntia.its.bldrdoc.gov. It also includes some demo programs. Send
  157.    email to Asgeir Osterhus, <asgeiro@dhhalden.no>.
  158.  
  159.    Togai InfraLogic, Inc. (TIL) also runs a fuzzy logic email server
  160.    which contains demo versions of some of their software, fuzzy logic
  161.    bibliographies, conference announcements, a short introduction to
  162.    fuzzy logic, copies of the company newsletter, archives of
  163.    comp.ai.fuzzy, and so on. See the entry in the answer to question
  164.    [1-8] for more information on the company. To get started with the
  165.    fuzzy logic email server, send a message with NO SUBJECT LINE to
  166.    fuzzy-server@til.com, containing just the word "help" in the message
  167.    body.  The server will reply with a set of instructions.     Please
  168.    address any comments, questions or requests to either erik@til.com or
  169.    tanaka@til.com. Most of the contents of the TIL server is mirrored at
  170.    Tim Butler's fuzzy logic ftp repository at ntia.its.bldrdoc.gov and at
  171.    Ostfold ftp repository at ftp.dhhalden.no.  For more information,
  172.    write to Togai InfraLogic, Inc., 5 Vanderbilt, Irvine, CA 92718 or
  173.    call 714-975-8522.
  174.  
  175.    The Aptronix FuzzyNet files are available through an email
  176.    server. Send email to fuzzynet@aptronix.com with "help"
  177.    in the message body to get instructions on how to retrieve files.
  178.    "catalog" or "index" will get you a listing of available files.
  179.    (You can also connect to the FuzzyNet repository by modem to Aptronix
  180.    FuzzyNet 408-428-1883 N/8/1 1200-19,200 baud.) Files on the server
  181.    include descriptions of fuzzy logic applications (e.g., washing
  182.    machines, camera focusing, air conditioning), introductory materials,
  183.    Fide related information, archives of comp.ai.fuzzy, etc.     If you'd
  184.    like to have a file included in the FuzzyNet server (e.g., moderate
  185.    length technical reports), send email to Scott Irwin
  186.    <irwin@aptronix.com>.
  187.  
  188. Genetic Algorithms:
  189.  
  190.    The Genetic Algorithms Repository is located at ftp.aic.nrl.navy.mil. It
  191.    includes past copies of the genetic algorithms digest in /pub/galist/, a
  192.    copy of Nici Schraudolph's survey of free and commercial GA software in
  193.    /pub/galist/information/ga-software-survey.txt (send email to
  194.    <schraudo@cs.ucsd.edu> to add to the list), and some software, including
  195.    GAC (a simple GA written in C), GAL (a simple GA written in Common Lisp),
  196.    GAucsd, GECO (a Common Lisp toolbox for constructing genetic algorithms),
  197.    GENESIS, GENOCOP, Paragenesis (a parallel version of GENESIS that runs on
  198.    the CM-200), SGA-C (a C implementation/extension of Goldberg's SGA 
  199.    system).
  200.  
  201. Genetic Programming:
  202.  
  203.    The Genetic Programming Repository is located at
  204.    ftp.cc.utexas.edu:pub/genetic-programming/ [128.83.186.13]. It
  205.    contains the archives of the genetic programming mailing list
  206.    (including the GP FAQ posting), papers and source code. The source
  207.    code includes the GP implementation from Koza's book and some related
  208.    systems.
  209.  
  210. UC/Irvine (UCI) AI/Machine Learning Repository:
  211.  
  212.    ftp.ics.uci.edu has a variety of AI-related materials, with a special
  213.    focus on machine learning. The directory pub/machine-learning-databases
  214.    contains over 80 benchmark data sets for classifier systems (30mb).
  215.  
  216.    Files may also be retrieved by email using the archive server
  217.    archive-server@ics.uci.edu. Commands to the server should be given
  218.    in the message body. Some commands are:
  219.         help
  220.         send <archive> <file>
  221.         find <archive> <string>
  222.    The help command replies with a useful help message.
  223.  
  224.    Site Librarian: Patrick M. Murphy (ml-repository@ics.uci.edu)
  225.    Off-Site Assistant: David W. Aha (aha@cs.jhu.edu)
  226.  
  227. Machine Learning:
  228.  
  229.    Various programs (e.g., ID3) and publications related to machine
  230.    learning are available by anonymous ftp from the machine
  231.    learning group (under Raymond Mooney) at UT-Austin, at
  232.       cs.utexas.edu:pub/mooney.  
  233.    Subdirectories include 
  234.       ml-course information and homeworks from a graduate course
  235.                      in machine learning taught by Dr. Mooney. Homeworks
  236.                      include "miniatures" of various machine learning
  237.                      systems written in Common Lisp.
  238.       ml-code   Common Lisp code corresponding to the assignments
  239.                      for the course in the ml-course directory.
  240.       ml-progs  More "research-level" versions of inductive
  241.                      classification algorithms and software for automated
  242.                      experiments that generation learning curves that
  243.                      compare several systems. 
  244.       papers            Publications producted by the machine learning
  245.                      research group.
  246.  
  247. Machine Learning Algorithms Implemented in Prolog:
  248.  
  249.    In 1988 the Special Interest Group on Machine Learning of the German
  250.    Society for Computer Science (GI e.V.) decided to establish a library
  251.    of PROLOG implementations of Machine Learning algorithms. The library
  252.    includes - amongst others - PROLOG implementations of Winston's arch, 
  253.    Becker's AQ-PROLOG, Fisher's COBWEB, Brazdil's generation of 
  254.    discriminations from derivation trees, Quinlan's ID3, inverse 
  255.    resolution, and Mitchell's version spaces algorithm. The programs are 
  256.    currently available via anonymous ftp-server from the GMD:
  257.  
  258.         ftp.gmd.de:/gmd/mlt/ML-Program-Library [129.26.8.90]
  259.  
  260.    Send additional PROLOG implementations of Machine Learning
  261.    Algorithms, complaints about them and detected bugs or problems
  262.    to Thomas Hoppe, <hoppet@cs.tu-berlin.de>. Send suggestions and
  263.    complaints about the ftp library to Werner Emde, Gesellschaft
  264.    fuer Mathematik und Datenverarbeitung, Bonn, <emde@gmdzi.gmd.de>. 
  265.  
  266. CMU Simulator Collection:
  267.  
  268.    The CMU Simulator Collection is available by anonymous ftp from 
  269.    ftp.cs.cmu.edu [128.2.206.173] in the directory
  270.       /afs/cs.cmu.edu/project/connect/code/
  271.    The collection includes Lisp and C implementations of Scott
  272.    Fahlman's Cascade Correlation algorithm, Scott Fahlman's
  273.    Quickprop variation on the back-propagation algorithm, and Scott
  274.    Fahlman's Recurrent Cascade-Correlation simulator. The collection also
  275.    includes Aspririn/Migraines and Tesauro. The neural network benchmark
  276.    collection is available in 
  277.       /afs/cs.cmu.edu/project/connect/bench/
  278.    The data sets include the NETtalk data, a vowel recognition
  279.    task, and several others.
  280.    The archives of the connectionists mailing list are kept in
  281.       /afs/cs.cmu.edu/project/connect/connect-archives/
  282.    along with a Lisp implementation of a backprop simulator. 
  283.  
  284. Funic Neural FTP Archive Site:
  285.  
  286.    The Finnish University maintains an archive site containing a large
  287.    collection of neural network papers and public domain software
  288.    gathered from FTP sites in the US. The files are available by
  289.    anonymous ftp from funic.funet.fi:/pub/sci/neural [128.214.6.100].
  290.    (Also know as ftp.funet.fi, nic.funet.fi.)  See the file 01README for
  291.    details. A list of mirrored ftp sites is in 04Neural_FTP_Sites.  For
  292.    further information, contact neural-adm@funic.funet.fi or Marko
  293.    Gronroos <magi@funic.funet.fi> (or <magi@utu.fi>).
  294.  
  295. OSU Neuroprose:
  296.    archive.cis.ohio-state.edu:/pub/neuroprose   [128.146.8.52]
  297.  
  298.    This directory contains technical reports as a public service to the
  299.    connectionist and neural network scientific community which has an
  300.    organized mailing list (for info: connectionists-request@cs.cmu.edu)
  301.  
  302. UKaiserslautern Neural/Fuzzy Repository:
  303.  
  304.    The University of Kaiserslautern has set up a ftp server for reports
  305.    and software related to its neural networks and fuzzy logic projects,
  306.    including the MOBOT, SPIN, and ALBATROSS projects.  Programs currently
  307.    available include Joerg Bruske's neural fuzzy decision system
  308.    SPIN-NFDS and Herman Keuchel's unsupervised clustering system.  Most
  309.    of the ready-to-run programs were written for the Apple Macintosh.
  310.    Sources for the "kernel" of the programs are available by ftp, written
  311.    in Pascal.  The user-interface code is also available upon request.
  312.    Some of the documentation is in German.  The papers and software are
  313.    available from ag_vp_file_server.informatik.uni-kl.de in the
  314.    directories Neural_Networks/Reports/ and Neural_Networks/Software/.
  315.    Some papers and software are also available from ftp.uni-kl.de in the
  316.    directory reports_uni-kl/computer_science/mobile_robots/.  For further
  317.    information, contact Uwe R. Zimmer <uzimmer@informatik.uni-kl.de>.
  318.  
  319. NL Software Registry:
  320.  
  321.    The Natural Language Software Registry is a catalogue of software
  322.    implementing core natural language processing techniques, whether
  323.    available on a commercial or noncommercial basis. Some of the topics
  324.    listed include speech signal processing, morphological analysis,
  325.    parsers, and knowledge representation systems. The catalogue is
  326.    available from the German Research Institute for Artificial
  327.    Intelligence (DFKI) in Saarbruecken (Germany) by anonymous ftp to
  328.    ftp.dfki.uni-sb.de:registry/, email to registry@dfki.uni-sb.de, or
  329.    physical mail to NL Software Registry, Deutsches Forschungszentrum
  330.    fuer Kuenstliche Intelligenz, Stuhlsatzenhausweg 3, D-W-6600
  331.    Saarbruecken, Germany, or by telephone to +49 (681) 303-5282.
  332.  
  333. Miscellaneous AI:
  334.  
  335.    Some miscellaneous AI programs may be found on ftp.uu.net:/pub/ai
  336.    Most are mirrors of programs available at other sites.
  337.  
  338.    AI_ATTIC is an anonymous ftp collection of classic AI programs and
  339.    other information maintained by the University of Texas at Austin.  It
  340.    includes Parry, Adventure, Shrdlu, Doctor, Eliza, Animals, Trek, Zork,
  341.    Babbler, Jive, and some AI-related programming languages.     This
  342.    archive is available by anonymous ftp from ftp.cc.utexas.edu
  343.    (bongo.cc.utexas.edu, 128.83.186.13) in the directory /pub/AI_ATTIC.
  344.    For more information, contact atticmaster@bongo.cc.utexas.edu.
  345.  
  346. ----------------------------------------------------------------
  347. Subject: [4-2a] FTP and Other Resources: Agents -- Planning
  348.  
  349. In addition to programs available free by anonymous ftp, we've
  350. included some programs which are available by contacting the authors,
  351. and some programs which charge a nominal fee.
  352.  
  353. Agent Modelling:
  354.  
  355.    ANIMALS is a simulation system written by Toby Tyrrell,
  356.    <toby@castle.ed.ac.uk>, for his PhD thesis.  The thesis examines the
  357.    problem of action selection when dealing with realistic, animal-like
  358.    situations: how to choose, at each moment in time, the most
  359.    appropriate out of a repertoire of possible actions.  It includes a
  360.    description is given of a simulated environment which is an extensive
  361.    and detailed simulation of the problem of action selection for
  362.    animals.  This simulated environment is used to investigate the
  363.    adequacy of several theories of action selection (from both ethology
  364.    and artificial intelligence) such as the drive model, Lorenz's
  365.    psycho-hydraulic model and Maes' spreading activation network, and
  366.    outlines deficiencies in each mechanism. Finally, it proposes a new
  367.    approach to action selection is developed which determines the most
  368.    appropriate action in a principled way, and which does not suffer from
  369.    the inherent shortcomings found in other methods. The thesis includes
  370.    a review and bibliography of existing work on action selection. The
  371.    thesis is available by anonymous ftp from ftp.ed.ac.uk:pub/lrtt/
  372.    [129.215.146.5] as the files as.1.ps.Z, as.2.ps.Z, ..., and as.7.ps.Z.
  373.    The simulation software is also available from the same site, as the
  374.    file se.tar.Z. The simulation software was written in Suntools rather
  375.    than Xtools.  It can be run only from SunView or OpenWindows.  The
  376.    action selection problem modelled by the simulated environment
  377.    comprises 15 different `sub-problems' (getting food, reproducing, not
  378.    getting lost, being vigilant for predators, etc), many internal and
  379.    external stimuli, and 35 different low-level actions to select
  380.    between.
  381.  
  382.    ViewGen (Viewpoint Generator) is a Prolog program that implements a
  383.    "Belief Ascription Algorithm" as described in Ballim and Wilks (see the
  384.    bibliography section on User Modelling).  This can be seen as a form of
  385.    agent modelling tool, which allows for the generation of arbitrarily deep
  386.    nested belief spaces based on the system's own beliefs, and on beliefs 
  387.    that are typically held by groups of agents.  ViewGen is available by
  388.    anonymous ftp from 
  389.       crl.nmsu.edu:pub/ViewFinder            [128.123.1.18] (user anonymous)
  390.       ftp.ims.uni-stuttgart.de:pub/ballim    [141.58.127.8] (user ftp)
  391.    as the file ViewGen.tar.Z. The theory of belief ascription upon which
  392.    it is based is described in detail in Ballim and Wilks, and a general
  393.    framework for attributing and maintaining nested propositional
  394.    attitudes is described in Afzal Ballim's dissertation which is
  395.    archived with the Viewgen program (in the files 
  396.       ViewFinder-{A4/A5/US}.tar.Z, 
  397.    the variable part indicating the format of the PostScript file).
  398.    The inheritance reasoner is in the file vf-hetis.tar.Z.
  399.    Implemented in Sicstus prolog, and hence easily convertible to
  400.    any Edinburgh-style prolog. Contact Afzal Ballim <afzal@divsun.unige.ch>
  401.    for more information. 
  402.  
  403. Analogical Reasoning:
  404.  
  405.    SME      -- multivac.ils.nwu.edu:pub/SME
  406.                Contact: Brian Falkenhainer <falkenhainer@parc.xerox.com>
  407.                         Ken Forbus <forbus@ils.nwu.edu>
  408.                the Structure-Mapping Engine, as described in Falkenhainer,
  409.                Forbus, and Gentner's 1987 AIJ article.  
  410.  
  411. Artificial Life:
  412.  
  413.    Tierra is an artificial life system for studying the evolution of digital
  414.    organisms. Tierra runs in Unix and MS-DOS. Source code and documentation
  415.    is available by anonymous ftp at tierra.slhs.udel.edu (128.175.41.34) and
  416.    life.slhs.udel.edu (128.175.41.33) in the directories almond/, beagle/,
  417.    doc/, and tierra/.  To be added to either the tierra-announce (official
  418.    announcements only) or tierra-digest (moderated discussion plus
  419.    announcements) mailing lists, send mail to
  420.    tierra-request@life.slhs.udel.edu. Send bug reports to
  421.    tierra-bug@life.slhs.udel.edu. Written by Tom Ray, <ray@life.slhs.udel.edu>.
  422.  
  423. Blackboard Architectures:
  424.  
  425.    GBB (PD Version) -- dime.cs.umass.edu:/gbb
  426.  
  427.    GEST   -- Contact: Susan Coryell <scoryell@gtri01.gatech.edu>
  428.              Blackboard system. Runs on Symbolics and SUN.
  429.              Georgia Tech's Generic Expert System Tool (GEST)
  430.              Available to academic institutions for classroom use.
  431.  
  432.              The symbolics version of GEST is available free from
  433.              ftp.gatech.edu:pub/ai/gest.tar.Z
  434.              Contact: John F. Gilmore jg10@prism.gatech.edu 
  435.  
  436. Case-based Reasoning:
  437.  
  438.    CL-Protos   -- cs.utexas.edu:/pub/porter
  439.                   Contact: Bruce W. Porter <porter@cs.utexas.edu>
  440.                            Ray Bareiss <bareiss@ils.nwu.edu>
  441.                            Erik Eilerts <eilerts@cs.utexas.edu>
  442.                            Dan Dvorak 
  443.  
  444.    MICRO-xxx  -- cs.umd.edu:/pub/schank/icbr
  445.                  Contact: waander@cs.umd.edu
  446.                  The directory pub/schank/icbr contains the complete
  447.                  code for "Inside Case-Based Reasoning" by
  448.                  Riesbeck and Schank, 1989. This includes code
  449.                  for an instructional version of CHEF by Kristian Hammond.
  450.  
  451. Chess:
  452.  
  453.    The SAN Kit chess programming C source toolkit provides common routines
  454.    for move notation I/O, move generation, move execution, etc. Only search
  455.    routines and an evaluation function need be added to obtain a working
  456.    chess program. It runs on Apple Macintosh (Think C 5.0),
  457.    Commodore Amiga (SAS C), MS-DOS, and Unix. It is available by
  458.    anonymous ftp from raven.alaska.edu [137.229.10.39] in the
  459.    directory pub/coherent/sources32/ as the compressed tar file SAN.tar.Z.
  460.    Contact Steven J. Edwards, sje@world.std.com for more information.
  461.  
  462.    valkyries.andrew.cmu.edu:pub/misc/chess [128.2.232.4]
  463.    This site has the SCP package, a restructured ANSI C port of
  464.    the 1987 Stanback Chess Program.
  465.  
  466.  
  467. Constraint Programming and Non-determinism:
  468.  
  469.    SCREAMER:
  470.  
  471.    Screamer is an extension of Common Lisp that adds support for
  472.    nondeterministic programming.  Screamer consists of two levels.  The
  473.    basic nondeterministic level adds support for backtracking and
  474.    undoable side effects.  On top of this nondeterministic substrate,
  475.    Screamer provides a comprehensive constraint programming language in
  476.    which one can formulate and solve mixed systems of numeric and
  477.    symbolic constraints.  Together, these two levels augment Common Lisp
  478.    with practically all of the functionality of both Prolog and
  479.    constraint logic programming languages such as CHiP and CLP(R).
  480.    Furthermore, Screamer is fully integrated with Common Lisp. Screamer
  481.    programs can coexist and interoperate with other extensions to Common
  482.    Lisp such as CLOS, CLIM and Iterate.
  483.  
  484.    In several ways Screamer is more efficient than other implementations
  485.    of backtracking languages.  First, Screamer code is transformed into
  486.    Common Lisp which can be compiled by the underlying Common Lisp
  487.    system.  Many competing implementations of nondeterministic Lisp are
  488.    interpreters and thus are far less efficient than Screamer.  Second,
  489.    the backtracking primitives require fairly low overhead in Screamer.
  490.    Finally, this overhead to support backtracking is only paid for those
  491.    portions of the program which use the backtracking primitives.
  492.    Deterministic portions of user programs pass through the Screamer to
  493.    Common Lisp transformation unchanged.  Since in practise, only small
  494.    portions of typical programs utilize the backtracking primitives,
  495.    Screamer can produce more efficient code than compilers for languages
  496.    in which backtracking is more pervasive.
  497.  
  498.    Screamer is fairly portable across most Common Lisp implementations.
  499.    It currently runs under Genera 8.1.1 and 8.3 on both Symbolics 36xx
  500.    and Ivory machines, under Lucid 4.0.2 and 4.1 on Sun SPARC machines,
  501.    under MCL 2.0 and 2.0p2 on Apple Macintosh machines, and under Poplog
  502.    Common Lisp on Sun SPARC machines.  It should run under any
  503.    implementation of Common Lisp which is compliant with CLtL2 and with
  504.    minor revision could be made to run under implementations compliant
  505.    with CLtL1 or dpANS.
  506.  
  507.    Screamer is available by anonymous FTP from ftp.ai.mit.edu as the file
  508.    /pub/screamer.tar.Z. Contact Jeffrey Mark Siskind <qobi@ai.mit.edu> for 
  509.    further information.
  510.  
  511. Eliza and Similar Programs:
  512.  
  513.    The software from Peter Norvig's book "Paradigms of AI Programming" is
  514.    available by anonymous ftp from unix.sri.com:pub/norvig and on disk in
  515.    Macintosh or DOS format from the publisher, Morgan Kaufmann. The
  516.    software includes Common Lisp implementations of: Eliza and pattern
  517.    matchers, Emycin, Othello, Parsers, Scheme interpreters and compilers,
  518.    Unification and a prolog interpreter and compiler, Waltz
  519.    line-labelling, implementation of GPS, macsyma, and random number
  520.    generators.  For more information, write to Morgan Kaufmann, Dept. P1,
  521.    2929 Campus Drive, Suite 260, San Mateo CA 94403, call 800-745-7323,
  522.    or fax 415-578-0672. (Mac ISBN 1-55860-227-5; DOS 3.5" ISBN
  523.    1-55860-228-3; or DOS 5.25" ISBN 1-55860-229-1).
  524.  
  525.    The doctor.el is an implementation of Eliza for GNU-Emacs
  526.    emacs-lisp. Invoke it with "Meta-X doctor".
  527.  
  528.    Source code for ELIZA in Prolog (implemented by Viren
  529.    Patel) is available by ftp from aisun1.ai.uga.edu.
  530.  
  531.    muLISP-87 (a MSDOS Lisp sold by Soft Warehouse) includes
  532.    a Lisp implementation of Eliza.
  533.  
  534.    Compute!'s Gazette, June 1984, includes source for a BASIC
  535.    implementation of Eliza. You can also find it in 101 more computer
  536.    games, edited by David Ahl, published by Creative Computing (alas,
  537.    they're defunct, and the book is out of print).
  538.  
  539.    Herbert Schildt "Artificial Intelligence using C", McGraw-Hill, 1987,
  540.    ISBN 0-07-881255-0, pp315-338, includes a simple version of DOCTOR.
  541.  
  542.    ucsd.edu:pub/pc-ai contains implementations of Eliza for the IBM PC.
  543.  
  544.    The original Parry (in MLISP for a PDP-10) is available in
  545.    labrea.stanford.edu:/pub/parry.tar.Z.
  546.  
  547.    RACTER is *not* public domain.  It costs $50 for MS-DOS and Macintosh
  548.    versions, the Inrac compiler is $200 (MS-DOS only), and the Inrac
  549.    manual alone is $25. Racter is available from John Owens, INRAC
  550.    Corp./Nickers International Ltd., 12 Schubert Street, Staten Island,
  551.    NY 10305, Tel: 718-448-6283, or Fax: 718-448-6298.  Racter was
  552.    published in 1984, and written in compiled BASIC. To read some of
  553.    RACTER's work, see "The Policeman's Beard is Half Constructed",
  554.    Computer Prose and Poetry by Racter, Warner Books, 1984.  ISBN
  555.    0-446-38051-2 (paperback). Written by William Chamberlain and Thomas
  556.    Etter. Some discussion of RACTER appears in A.K. Dewdney's book, "The
  557.    Armchair Universe". The Macintosh version runs only on SEs and Pluses
  558.    (it comes on a single-sided 400k copy-protected disk, with an old
  559.    version of the system).
  560.  
  561. Expert Systems:
  562.  
  563.    Free ftpable expert system shells are listed in [6-3].
  564.  
  565. Frame Systems:
  566.  
  567.      FrameWork   -- ftp.cs.cmu.edu:user/ai/software/kr/frames/framework/
  568.  
  569.      Theo        -- Contact: Tom.Mitchell@cs.cmu.edu
  570.  
  571.      FrameKit    -- Contact: Eric.Nyberg@cs.cmu.edu
  572.  
  573.      KR          -- Contact: Brad.Myers@cs.cmu.edu
  574.  
  575.      PARKA       -- Contact: spector@cs.umd.edu
  576.                     Frames for the CM
  577.  
  578.      PARMENIDES (Frulekit) -- Contact: Peter.Shell@cs.cmu.edu 
  579.  
  580.      FROBS       -- cs.utah.edu:/pub/frobs.tar.Z
  581.                     Contact: Robert Kessler <kessler@cs.utah.edu>
  582.  
  583.      PFC         -- linc.cis.upenn.edu:
  584.  
  585.      YAK         -- Contact: Enrico Franconi <franconi@irst.it>
  586.  
  587. Fuzzy Logic:
  588.  
  589.    FLIE    -- ural.ethz.ch:/robo/flie   [129.132.104.194]
  590.               Contact: vestli@ifr.ethz.ch
  591.               Fuzzy Logic Inference Engine, Institute of Robotics, ETH.
  592.  
  593. Game Playing:
  594.  
  595.    METAGAME is a game-playing workbench for developing and playing
  596.    metagame programs. It includes a generator for symmetric chess-like
  597.    games; definitions of chess, checkers, chinese chess, shogi, lose
  598.    chess, lose checkers, french checkers, and tic tac toe translated into
  599.    symmetric chess-like games; a legal move generator; and a variety of
  600.    player programs, from simple through sophisticated.  The METAGAME
  601.    Workbench runs in Quintus or Sictus Prolog.  Available by anonymous
  602.    ftp from ftp.cl.cam.ac.uk [128.232.0.56] in users/bdp/metagame.tar.Z.
  603.    For more information, contact Barney Pell <bdp@cl.cam.ac.uk> of the
  604.    University of Cambridge Computer Laboratory.
  605.  
  606. Genetic Algorithms:
  607.  
  608.    SCS (Simple Classifier System) is a C port of the system from
  609.    Appendix D of "Genetic Algorithms in Search, Optimization, and Machine
  610.    Learning" by David E. Goldberg. It was ported to C by Erik Mayer
  611.    <emayer@uoft02.utoledo.edu>. For more information, contact the author.
  612.  
  613.    SCS-C is another port to C of Goldberg's Simple Classifier System.
  614.    It includes some extensions, and runs on Sun 10/30 and Atari ST. SCS-C
  615.    is available via anonymous ftp as scs-c-0.98j.tar.Z from
  616.    lumpi.informatik.uni-dortmund.de:/pub/LCS/src/ [129.217.36.140].  The
  617.    documentation alone is available as scs-c-doc.tar.Z in the directory
  618.    /pub/LCS/docs/.  For more information, contact Joerg Heitkoetter
  619.    <joke@ls11.informatik.uni-dortmund.de>, c/o Systems Analysis Group,
  620.    LSXI, Department of Computer Science, University of Dortmund, D-44221
  621.    Dortmund, Germany.
  622.  
  623.    GENITOR is available by anonymous ftp from the Colorado State
  624.    University Computer Science Department in 
  625.       beethoven.cs.colostate.edu:pub/GENITOR.tar [129.82.102.183]
  626.    For further information, contact starkwea@cs.colostate.edu or
  627.    mathiask@cs.colostate.edu. If these fail to work, contact
  628.    whitley@cs.colostate.edu.
  629.  
  630.    Other packages are described in detail in Nici Schraudolph's survey
  631.    of free and commercial GA software (see the Genetic Algorithms
  632.    Repository in [4-1]). Some of the free ones from Nici's list are
  633.    summarized below. Many are available from the GA Repository.
  634.  
  635.      GAucsd      Genetic algorithms software 
  636.                  cs.ucsd.edu:/pub/GAucsd/GAucsd14.ps.Z [132.239.51.3]
  637.                  Nici Schraudolph <nici@cs.ucsd.edu>
  638.                  To be put on a mailing list of GAucsd users, send
  639.                  the message "add GAucsd" to listserv@cs.ucsd.edu.
  640.  
  641.      GAbench     Genetic algorithms benchmarks and test problems  
  642.                  cs.ucsd.edu:/pub/GAbench/
  643.                  Thomas Kammeyer (tkammeye@cs.ucsd.edu)
  644.  
  645.      EM          Evolution Machine (EM)
  646.                  ftp-bionik.fb10.tu-berlin.de:pub/software/Evolution-Machine/
  647.                      [130.149.192.50]
  648.                      em_tc.exe (EM for Turbo C)
  649.                      em_tcp.exe (EM for Turbo C++)
  650.                      em_man.exe (the manual)
  651.                  Joachim Born <born@max.fb10.tu-berlin.de>
  652.  
  653.      Genie       GA-based modeling/forecasting system
  654.                  Lance Chambers <P_Stampoul@fennel.cc.uwa.oz.au>
  655.  
  656.      GENOCOP     GEnetic algorithm for Numerical Optimization for
  657.                  COnstrained Problems. Optimizes function with any
  658.                  number of linear constraints (equalities and inequalities)
  659.      Genetic-2   Optimization package for the linear transportation problem.
  660.      Genetic-2N  Optimization package for the nonlinear transportation problem.
  661.                  All three were developed by Zbigniew Michalewicz and are
  662.                  described in detail in his book "Genetic Algorithms + Data
  663.                  Structures = Evolution Programs", Springer Verlag,
  664.                  August 1992.
  665.                     unccsun.uncc.edu:coe/evol/ [152.15.10.88]
  666.                     (also known as ftp.uncc.edu)
  667.                  Zbigniew Michalewicz <zbyszek@unccvax.uncc.edu>
  668.  
  669.      WOLF        Simulator for G/SPLINES algorithm (genetic spline models)
  670.                  David Rogers <drogers@riacs.edu>
  671.  
  672.      GAC, GAL    GA written in C/Lisp. Similar to John Grefenstette's Genesis.
  673.                  Bill Spears <spears@aic.nrl.navy.mil>
  674.  
  675.      ESCaPaDE    Experiments with evolutionary algorithsm.
  676.                  Frank Hoffmeister <iwan@ls11.informatik.uni-dortmund.de>
  677.                  (Send mail with subject line "help" or "get ESCaPaDE")
  678.  
  679.      mGA1.0      Common Lisp implementation of a messy GA as described in
  680.                  TCGA report 90004.
  681.      SGA-C       C-language port and extension of the original Pascal
  682.                  SGA code presented in Goldberg's book "Genetic
  683.                  Algorithms in Search, Optimization & Machine
  684.                  Learning", Addison Wesley, 1989. See TCGA report 91002.
  685.      SGA-Cube    Goldberg's SGA code modified for nCUBE 2 hypercube
  686.                  parallel computer.
  687.                  All three are available by e-mail from 
  688.                  Robert Elliott Smith <rob@comec4.mh.ua.edu>.
  689.  
  690.      BUGS        Demonstrates genetic algorithms.
  691.                     santafe.edu:pub/misc/BUGS/
  692.                  Joshua Smith <jrs@santafe.edu>
  693.  
  694.      SGPC        Simple Genetic Programming in C
  695.                     sfi.santafe.edu:pub/Users/tackett/
  696.                  Walter Alden Tackett and Aviram Carmi (gpc@ipld01.hac.com)
  697.  
  698.      GENEsYs     lumpi.informatik.uni-dortmund.de:pub/GA/src/ [129.217.36.140]
  699.                  Use "ftp" as user name, e-mail address as password.
  700.                  Thomas Baeck <baeck@ls11.informatik.uni-dortmund.de>
  701.  
  702.      GAGA        Jon Crowcroft <jon@cs.ucl.ac.uk>. cs.ucl.ac.uk:darpa/gaga.shar
  703.      Splicer     Steve Bayer <bayer@galileo.jsc.nasa.gov>
  704.      PARAGENESIS GA-Repository/e-mail Michael van Lent <vanlent@cs.utk.edu>
  705.      GENESIS     GA-Repository/e-mail John Grefenstette <gref@aic.nrl.navy.mil>
  706.      OOGA        GA-Repository/e-mail John Grefenstette <gref@aic.nrl.navy.mil>
  707.      DGENESIS    Erick Cantu <ecantu@babbage.rhon.itam.mx> or 
  708.                              <ecantu@itamvms1.bitnet>.
  709.  
  710.      PGA         Parallel Genetic Algorithms testbed
  711.                  ftp.dai.ed.ac.uk:pub/pga-2.4/pga-2.4.tar.Z (192.41.104.152)
  712.                  Peter Ross, peter@aisb.ed.ac.uk
  713.  
  714. ICOT:
  715.  
  716.    Japan's Institute for New Generation Computer Technology (ICOT) has
  717.    made their software available to the public free of charge.  The
  718.    collection includes a variety of prolog-based programs in symbol
  719.    processing, knowledge representation, reasoning and problem solving,
  720.    natural language processing. All programs are available by anonymous
  721.    ftp from ftp.icot.or.jp.  Note that most of the programs are written
  722.    for the PSI machines, and very few have been ported to Unix-based
  723.    emulators.  For further information, send email to ifs@icot.or.jp, or
  724.    write to ICOT Free Software Desk, Institute for New Generation
  725.    Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
  726.    1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-4456-1618.
  727.  
  728. Knowledge Representation:
  729.  
  730.    KNOWBEL -- ai.toronto.edu:/pub/kr/{knowbel.tar.Z,manual.txt.tar.Z}
  731.               Contact: Bryan M. Kramer, <kramer@ai.toronto.edu>
  732.               Telos temporal/sorted logic system.
  733.  
  734.    SB-ONE  -- Contact: kobsa@inf-wiss.uni-konstanz.de
  735.               KL-ONE family. Currently undergoing revision and will be
  736.               renamed KN-PART+.
  737.    KRIS    -- Contact: baader@dfki.uni-kl.de
  738.               KL-ONE family (Symbolics only)
  739.    BACK    -- Contact: back@cs.tu-berlin.de
  740.               ftp.cs.tu-berlin.de:pub/doc/reports/tu-berlin.de/kit/Back52
  741.                  Files are BACK_V52.intro and Back52.tar.Z
  742.                  Tar file includes Tutorial/Manual in postscript format
  743.                  and installation instructions.
  744.               KL-ONE family
  745.    CLASSIC -- Contact: dlm@research.att.com
  746.               KL-ONE family
  747.    MOTEL   -- Contact: hustadt@mpi-sb.mpg.de
  748.               mpi-sb.mpg.de:/pub/tools/motel.tar.Z [139.19.1.1]
  749.               Modal KL-ONE (contains KRIS as a kernel). 
  750.               Implemented in Prolog.
  751.  
  752.    FOL GETFOL -- Contact: fausto@irst.it
  753.               Weyrauch's FOL system
  754.  
  755.    COLAB/RELFUN  -- Contact: boley@informatik.uni-kl.de
  756.                     Logic Programming
  757.    COLAB/FORWARD -- Contact: hinkelma@dfki.uni-kl.de
  758.                     Logic Programming
  759.    COLAB/CONTAX  -- Contact: meyer@dfki.uni-kl.de
  760.                     Constraint System for Weighted Constraints over
  761.                     Hierarchically Structured Finite Domains.
  762.    COLAB/TAXON   -- Contact: hanschke@dfki.uni-kl.de
  763.                     Terminological Knowl. Rep. w/Concrete Domains
  764.  
  765.    SNePS (Semantic Network Processing System) is the implementation of a
  766.    fully intensional theory of propositional knowledge representation and
  767.    reasoning. SNePS includes a module for creating and accessing
  768.    propositional semantic networks, path-based inference, node-based
  769.    inference based on SWM (a relevance logic with quantification) that
  770.    uses natural deduction and can deal with recursive rules, forward,
  771.    backward and bi-directional inference, nonstandard logical connectives
  772.    and quantifiers, an assumption based TMS for belief revision, a
  773.    morphological analyzer and a generalized ATN (GATN) parser for parsing
  774.    and generating natural language, SNePSLOG, a predicate-logic-style
  775.    interface to SNePS, XGinseng, an X-based graphics interface for
  776.    displaying, creating and editing SNePS networks, SNACTor, a
  777.    preliminary version of the SNePS Acting component, and SNIP 2.2, a new
  778.    implementation of the SNePS Inference Package that uses rule shadowing
  779.    and knowledge migration to speed up inference.  SNeRE (the SNePS
  780.    Rational Engine), which is part of Deepak Kumar's dissertation about
  781.    the integration of inference and acting, will replace the current
  782.    implementation of SNACTor.  SNePS is written in Common Lisp, and has
  783.    been tested in Allegro CL 4.1, Lucid CL 4.0, TI Common Lisp, CLISP
  784.    May-93, and CMU CL 17b. It should also run in Symbolics CL, AKCL 1.600
  785.    and higher, VAX Common Lisp, and MCL. The XGinseng interface is built
  786.    on top of Garnet.  SNePS 2.1 is free according to the GNU General
  787.    Public License version 2. The SNePS distribution is available by
  788.    anonymous ftp from 
  789.       ftp.cs.buffalo.edu:/pub/sneps/  [128.205.32.9] 
  790.    as the file rel-x-yyy.tar.Z, where 'x-yyy' is the version. The other
  791.    files in the directory are included in the distribution; they are
  792.    duplicated to let you get them without unpacking the full distribution
  793.    if you just want the bibliography or manual. If you use SNePS, please
  794.    send a short message to shapiro@cs.buffalo.edu and
  795.    snwiz@cs.buffalo.edu. Please also let them know whether you'd like to
  796.    be added to the SNUG (SNePS Users Group) mailing list. 
  797.  
  798.    URANUS is a logic-based knowledge representation language. Uranus is
  799.    an extension of Prolog written in Common Lisp and using the syntax of
  800.    Lisp. Uranus extends Prolog with a multiple world mechanism for
  801.    knowledge representation and term descriptions to provide
  802.    functional programming within the framework of logic programming.
  803.    It is available free by anonymous ftp from 
  804.       etlport.etl.go.jp:pub/uranus/ftp/ [192.31.197.99]
  805.    for research purposes only.  For more information contact the author, 
  806.    Hideyuki Nakashima <nakashim@etl.go.jp>.
  807.  
  808. Machine Learning:
  809.  
  810.    COBWEB/3 -- Contact: cobweb@ptolemy.arc.nasa.gov
  811.  
  812.    IND      -- Contact: NASA COSMIC, <service@cossack.cosmic.uga.edu>
  813.                Tel: 706-542-3265 (ask for customer support)
  814.                Fax: 706-542-4807
  815.                IND is a C program for the creation and manipulation of
  816.                decision trees from data, integrating the CART,
  817.                ID3/C4.5, Buntine's smoothing and option trees, Wallace
  818.                and Patrick's MML method, and Oliver and Wallace's MML
  819.                decision graphs which extend the tree representation to
  820.                graphs. Written by Wray Buntine, <wray@kronos.arc.nasa.gov>.
  821.  
  822.    AUTOCLASS -- Contact: taylor@ptolemy.arc.nasa.gov
  823.                AutoClass is an unsupervised Bayesian classification system for
  824.                independent data. 
  825.  
  826.    FOIL     -- ftp.cs.su.oz.au:pub/{foil4.sh,foil5.sh} [129.78.8.208] 
  827.                Each shell archive contains source, a brief manual,
  828.                and several sample datasets. FOIL2 should be available
  829.                from sumex-aim.stanford.edu:/pub/FOIL.sh.
  830.  
  831.    RWM      -- Contact: H. Altay Guvenir <guvenir@trbilun.bitnet>
  832.                RWM is a program for learning problem solving strategies,
  833.                written in Common Lisp (tested on Suns and NeXT).
  834.  
  835.    MOBAL    -- See [6-3].
  836.  
  837.    PEBLS (Parallel Exemplar-Based Learning System) is a nearest-neighbor
  838.    learning system designed for applications where the instances have
  839.    symbolic feature values.  PEBLS has been applied to the prediction of
  840.    protein secondary structure and to the identification of DNA promoter
  841.    sequences. PEBLS 2.0 is written in ANSI C and is available by
  842.    anonymous ftp from blaze.cs.jhu.edu:pub/pebls/pebls.tar.Z
  843.    [128.220.13.50] for research purposes only. For more information,
  844.    contact Steven Salzberg <salzberg@cs.jhu.edu>.
  845.  
  846. Mathematics:
  847.  
  848.    SymbMath is a "symbolic calculator that can solve symbolic math
  849.    problems" written by Weiguang Huang <w.huang@unsw.edu.au>. It runs on
  850.    IBM PCs (8086) under MS-DOS. Shareware versions are available by
  851.    anonymous ftp from wsmr-simtel20.army.mil:/calculator/sm22a.zip or
  852.    rana.cc.deakin.oz.au:/huang/sm22a.zip or by e-mail from
  853.    listserv@vm1.nodak.edu (listserv@ndsuvm1.bitnet).
  854.  
  855. Medical Reasoning:
  856.  
  857.    TMYCIN -- sumex-aix.stanford.edu:/tmycin  
  858.  
  859. Natural Language Processing:
  860.  
  861.    YACC      -- ftp.cs.cmu.edu:user/ai/lang/lisp/lisp/parse/johnson-yacc.lisp
  862.                 Contact: Mark Johnson <mj@cs.brown.edu>
  863.                 Lisp YACC/Parser.
  864.  
  865.    BABBLER   -- Contact: rsf1@ra.msstate.edu
  866.                 Markov chains/NLP
  867.  
  868.    PENMAN    -- Contact: hovy@isi.edu
  869.                 Natural Language Generation.
  870.  
  871.    PC-KIMMO  -- msdos.archive.umich.edu:/msdos/linguistics/pckim105.zip
  872.                 An implementation of KIMMO morphological analyzer
  873.                 for the IBM PC. 
  874.  
  875.    FUF       -- Contact: elhadad@bengus.bgu.ac.il
  876.                    cs.columbia.edu: or
  877.               ftp: black.bgu.ac.il:/pub/fuf/fuf5.2.tar.Z
  878.                    cs.columbia.edu:pub/fuf/fuf5.2.tar.Z
  879.               Natural language generation system based on
  880.               Functional Unification Grammars.
  881.               Includes unifier, large grammar of English (surge)
  882.               user manual and many examples.  Written in Common Lisp.
  883.  
  884.    InterBASE -- Contact: Sergei Kuchin <kuchin@darmstadt.gmd.de>
  885.                 ftp: files interbas.exe, interba1.exe, interbas.txt on
  886.                     sics.se:/pub/packet-incoming
  887.                     ftp.uu.net:/tmp
  888.                     clr.nmsu.edu:/incoming
  889.                     debra.dgbt.doc.ca:/pub/incoming
  890.                 Natural language database front end
  891.  
  892.    RegEx    -- csd4.csd.uwm.edu:/pub/compilers/regex/
  893.                Translates regular expressions to DFAs. Written in C.
  894.                Mark Hopkins <markh@csd4.csd.uwm.edu>
  895.  
  896.    Tom      -- csd4.csd.uwm.edu:/pub/compilers/tomita/
  897.                C implementation of the Tomita parsing algorithm
  898.                Mark Hopkins <markh@csd4.csd.uwm.edu>
  899.  
  900.    Common Lisp versions of the miniature natural language understanding
  901.    programs from "Inside Computer Understanding" by Schank and Riesbeck,
  902.    1981, are available by anonymous ftp from cs.umd.edu in the directory
  903.    pub/schank/icu. This includes the SAM and ELI miniatures. It will
  904.    eventually include copies of the miniature versions of PAM, POLITICS,
  905.    and Tale-Spin. The FOR macro is also available in this directory, as
  906.    are a set of functions for manipulating and matching lisp
  907.    representations of Conceptual Dependency formulas.  Contact Bill
  908.    Andersen <waander@cs.umd.edu> for more information.
  909.  
  910.    The Link Parser is a highly efficient English parser written by Danny
  911.    Sleator and Davy Temperley. It uses a novel grammatical formalism known
  912.    as Link Grammar to represent a robust and diverse collection of
  913.    English-language phenomena. The system is available by anonymous ftp from
  914.    spade.pc.cs.cmu.edu in the directory /usr/sleator/public/. Read the
  915.    README file for more information. To see an online demo of the parser, do
  916.    telnet spade.pc.cs.cmu.edu 4000
  917.  
  918.    The Xerox part-of-speech tagger is available by anonymous ftp from
  919.    parcftp.xerox.com:pub/tagger/tagger-1-0.tar.Z. It is implemented in
  920.    Common Lisp and has been tested in Allegro CL 4.1, CMU CL 16e, and
  921.    Macintosh CL 2.0p2. For more information, contact the authors, Doug
  922.    Cutting <cutting@parc.xerox.com>, and Jan Pedersen
  923.    <pedersen@parc.xerox.com>.
  924.  
  925.    The Prolog and DCG programs from Pereira and Shieber's book, "Prolog
  926.    and Natural Language Analysis", are available by anonymous ftp from
  927.    das.harvard.edu:pub/shieber/pnla/. See the file README for the
  928.    conditions under which the material is distributed. If you retrieve
  929.    the files, please send an email message to the authors letting them
  930.    know how you plan to use them. For further information, write to
  931.    Fernando Pereira <pereira@research.att.com> or Stuart Shieber
  932.    <shieber@das.harvard.edu>.
  933.    
  934. Neural Networks:
  935.  
  936.    Aspirin/MIGRAINES is a neural network simulator available free from the
  937.    MITRE Corporation. It contains a neural network simulation code generator
  938.    which generates high performance C code implementations for
  939.    backpropagation networks. It runs on the following platforms: Apollo,
  940.    Convex, Cray, DecStation, HP, IBM RS/6000, Intel 486/386 (Unix System V),
  941.    NeXT, News, Silicon Graphics Iris, Sun3, Sun4, Mercury i860 (40MHz)
  942.    Coprocessors, Meiko Computing Surface w/i860 (40MHz) Nodes, Skystation
  943.    i860 (40MHz) Coprocessors, and iWarp Cells. The software is available by
  944.    anonymous ftp from the CMU simulator collection on pt.cs.cmu.edu
  945.    (128.2.254.155) in the directory /afs/cs/project/connect/code (you must
  946.    cd to this directory in one atomic operation) and UCLA's cognitive
  947.    science collection on ftp.cognet.ucla.edu [128.97.8.19] in the
  948.    directory alexis as the file am6.tar.Z, am6.readme, am6.notes. They
  949.    include many examples in the release, include an implementation of NETtalk.
  950.    For more information, contact Russell Leighton <taylor@world.std.com> 
  951.    or <leighton@mitre.org>. [As of 7/7/93, the mitre email address bounced.]
  952.  
  953.    MUME (Multi-Module Neural Computing Environment) is a simulation
  954.    environment for multi-modules neural computing. It provides an object
  955.    oriented facility for the simulation and training of multiple nets
  956.    with various architectures and learning algorithms.  The object
  957.    oriented structure makes simple the addition of new network classes
  958.    and new learning algorithms. _ MUME includes a library of network
  959.    architectures including feedforward, simple recurrent, and
  960.    continuously running recurrent neural networks.  Each architecture is
  961.    supported by a variety of learning algorithms, including backprop,
  962.    weight perturbation, node perturbation, and simulated annealing.  MUME
  963.    can be used for large scale neural network simulations as it provides
  964.    support for learning in multi-net environments. It also provide pre-
  965.    and post-processing facilities.  MUME can be used to include
  966.    non-neural computing modules (decision trees, etc.) in applications. _
  967.    MUME is being developed at the Machine Intelligence Group at Sydney
  968.    University Electrical Engineering. The software is written in 'C' and
  969.    is being used on Sun and DEC workstations. Efforts are underway to
  970.    port it to the Fujitsu VP2200 vector processor using the VCC
  971.    vectorising C compiler, HP 9000/700, SGI workstations, DEC
  972.    Alphas, and PC DOS (with DJGCC). MUME is available to research
  973.    institutions on a media/doc/postage cost arrangement after
  974.    signing a license agreement. The license agreement is available by
  975.    anonymous ftp from 129.78.13.39:/pub/license.ps. An overview of mume
  976.    is available from the same machine as /pub/mume-overview.ps.Z. It is
  977.    also available free for MSDOS by anonymous ftp from
  978.       brutus.ee.su.oz.au:/pub/MUME-0.5-DOS.zip 
  979.    For further information, write to Marwan Jabri, SEDAL, Sydney
  980.    University Electrical Engineering, NSW 2006 Australia, 
  981.    call +61-2-692-2240, fax +61-2-660-1228, or send email to
  982.    Marwan Jabri <marwan@sedal.su.oz.au>. To be added to the mailing
  983.    list, send email to mume-request@sedal.su.oz.au.
  984.  
  985.    Adaptive Logic Network (ALN) 
  986.    The atree adapative logic network simulation package is available by
  987.    anonymous ftp from ftp.cs.ualberta.ca [129.128.4.241] in
  988.    pub/atree/atree2.tar.Z (Unix). The MS-Windows 3.x version for the IBM PC
  989.    is available as either pub/atree/atre27.exe (includes C/C++ sources)
  990.    or pub/atree/a27exe.exe (just the executables).  The PC version has
  991.    a lot more documentation than the Unix version. The Unix version has
  992.    been ported to the Macintosh, Amiga, and other machines.
  993.    Documentation is in pub/atree/atree2.ps.Z. Also in this directory is a
  994.    rather impressive OCR demo using atree. To be added to the mailing
  995.    list, send email to alnl-request@cs.ualberta.ca. For more information,
  996.    contact William W. Armstrong, <arms@cs.ualberta.ca>.
  997.  
  998.    BPS
  999.    Neural network simulator. Other files of interest. Executables are
  1000.    free; source code for a small fee.
  1001.    gmuvax2.gmu.edu:nn [no longer there?]
  1002.  
  1003.    NeuralShell
  1004.    Availible by anonymous ftp from quanta.eng.ohio-state.edu [128.146.35.1]
  1005.    in the directory pub/NeuralShell/ as the file NeuralShell.tar.
  1006.  
  1007.    CONDELA
  1008.    A neural network definition language.
  1009.    tut.cis.ohio-state.edu:/pub/condela
  1010.  
  1011.    ROCHESTER CONNECTIONIST SIMULATOR
  1012.    Available from cs.rochester.edu:pub/simulator [192.5.53.209].
  1013.    Includes a backprop package and an X11/SunView interface.
  1014.  
  1015.    UCLA-SFINX
  1016.    retina.cs.ucla.edu:pub/sfinx_v2.0.tar.Z [131.179.16.6]
  1017.    Username sfinxftp, password joshua. Contact sfinx@retina.cs.ucla.edu
  1018.    for more information.
  1019.  
  1020.    XERION
  1021.    A neural network simulator from Drew van Camp at the University
  1022.    of Toronto. It provides a library of routines for building networks
  1023.    and graphically displaying them. Written in C and uses the X window
  1024.    system for graphics. Example simulators include Back Propagation,
  1025.    Recurrent Back Propagation, Boltzmann Machine, Mean Field Theory, Free
  1026.    Energy Manipulation, Kohonnen Net, and Hard and Soft Competitive
  1027.    Learning. Xerion runs on SGI Personal Iris, SGI 4d, Sun3 (SunOS), Sun4
  1028.    (SunOS). Available by anonymous ftp from ai.toronto.edu:/pub/xerion.
  1029.    See the file /pub/xerion.README for more information. Also included
  1030.    is a little program called sciam that contains the basic kernel that
  1031.    was published in the September 1992 issue of Scientific American.
  1032.    To be added to the mailing list, send mail to xerion-request@ai.toronto.edu.
  1033.    Bugs should be reported to xerion-bugs@ai.toronto.edu. Complaints, 
  1034.    suggestions or comments may be sent to xerion@ai.toronto.edu.
  1035.  
  1036.    SNNS (Stuttgart Neural Network Simulator) is a software simulator for
  1037.    neural networks on Unix workstations developed at the Institute for
  1038.    Parallel and Distributed High Performance Systems (IPVR) at the
  1039.    University of Stuttgart. The SNNS simulator contains a simultor kernel
  1040.    written in ANSI C and a 2D/3D graphical user interface running under
  1041.    X11R4/X11R5. It runs under Sun Sparc (SLC, ELC, SS2, GX, GS), DECstation
  1042.    (2100, 3100, 5000/200), IBM RS 6000, HP 9000, and IBM-PC (386/486). SNNS
  1043.    includes the following learning procedures: backpropagation (online,
  1044.    batch, with momentum and flat spot elimin., time delay),
  1045.    counterpropagation, quickprop, backpercolation 1, and generalized radial
  1046.    basis functions (RBF), RProp, recurrent ART1, ART2 and ARTMAP, Cascade
  1047.    Correlation and Recurrent Cascade Correlation, Dynamic LVQ, and Time
  1048.    delay networks (TDNN). (Elman networks and some other network paradigms
  1049.    have already been implemented but are scheduled for a later release.)
  1050.    The SNNS simulator can be obtained via anonymous ftp from
  1051.    ftp.informatik.uni-stuttgart.de:/pub/SNNS/SNNSv2.1.tar.Z [129.69.211.2].
  1052.    The PostScript version of the user manual can be obtained as file
  1053.    SNNSv2.1.Manual.ps.Z.  To be added to the mailing list, send a message
  1054.    to listserv@informatik.uni-stuttgart.de with "subscribe snns <Your Full
  1055.    Name>" in the message body. Submissions may be sent to
  1056.    snns@informatik.uni-stuttgart.de. For further information, contact
  1057.    Andreas Zell, <zell@informatik.uni-stuttgart.de>.
  1058.  
  1059.    NEOCOGNITRON SIMULATOR
  1060.    The Neocognitron Simulator is written in C and is available by
  1061.    anonymous ftp from 
  1062.       tamsun.tamu.edu:/pub/neocognitron.Z.tar [128.194.15.32] 
  1063.       unix.hensa.ac.uk:/pub/uunet/pub/ai/neural/neocognitron.tar.Z
  1064.          [129.12.21.7]   
  1065.  
  1066.    PLANET (aka SunNet)
  1067.    Simulator that runs under X Windows. Written by Yoshiro Miyata
  1068.    <miyata@sccs.chukyo-u.ac.jp> of Chukyo University, Japan.
  1069.    Available by anonymous ftp from 
  1070.     tutserver.tut.ac.jp:pub/misc/PlaNet5.7.tar.Z  [133.15.64.6]
  1071.     boulder.colorado.edu:pub/generic-sources/PlaNet5.7.tar.Z [128.138.240.1]
  1072.    Includes documentation. 
  1073.  
  1074.    LVQ_PAK and SOM_PAK
  1075.    LVQ_PAK (Learning Vector Quantization) and SOM_PAK (Self-Organizing Maps)
  1076.    were written by the LVQ/SOM Programming Team of the Helsinki
  1077.    University of Technology, Laboratory of Computer and Information
  1078.    Science, Rakentajanaukio 2 C, SF-02150 Espoo, FINLAND. The PAKs
  1079.    run in Unix and MS-DOS systems. Available by anonymous ftp from
  1080.    cochlea.hut.fi [130.233.168.48] in the directories /pub/lvq_pak/
  1081.    and /pub/som_pak/.
  1082.  
  1083.    MACTIVATION
  1084.    bruno.cs.colorado.edu:/pub/cs/misc/   [128.138.243.151]
  1085.    as the file Mactivation-3.3.sea.hqx.          
  1086.  
  1087.    DartNet
  1088.    A Macintosh-based Neural Network Simulator with a nice graphical
  1089.    interface. Available by anonymous ftp from
  1090.       dartvax.dartmouth.edu:/pub/mac/dartnet.sit.hqx [129.170.16.4] 
  1091.    or by email from bharucha@dartmouth.edu.  New network architectures
  1092.    and learning algorithms can be added to the system by writing small
  1093.    XCMD-like CODE resources called nDEF's ("Network Definitions").  For
  1094.    more information, send email to Sean P. Nolan,
  1095.    <sean@coos.dartmouth.edu>. [As of 7/7/93, email bounced.]
  1096.  
  1097.    NevProp is a C implementation of general purpose backpropagation
  1098.    software, based on Quickprop 1.0 by Scott Fahlman, as translated from
  1099.    Common Lisp into C by Terry Regier. It runs on Unix, Macintosh, and
  1100.    DOS. The quickprop algorithm itself has not changed substantially, but
  1101.    it now includes options to force gradient descent (per-epoch or
  1102.    per-pattern), generalization & stopped training, c index, and interface 
  1103.    enhancements. It is available by anonymous ftp from unssun.scs.unr.edu
  1104.    [134.197.10.128] pub/goodman/nevpropdir/ as the file npxxx.shar
  1105.    (replace xxx with the version number) or from the CMU Simulator Collection.
  1106.    For further information, contact Phil Goodman <goodman@unr.edu>.
  1107.  
  1108.    TCS (Tasmanian Connectionist Simulator) is a neural network
  1109.    simulation package written in Borland C++ for Windows available by
  1110.    anonymous ftp from 
  1111.      ftp.psychol.utas.edu.au:/pub/tcs [131.217.35.98]
  1112.    For further information, write to Zoltan Schreter Dept. Psychology
  1113.    University of Tasmania Hobart, Tasmania AUSTRALIA,
  1114.    <zoltan@psychnet.psychol.utas.edu.au>.
  1115.  
  1116.    GENESIS (GEneral NEural SImulation System) is a general purpose
  1117.    simulation platform which supports the simulation of neural systems
  1118.    ranging from complex models of single neurons to simulations of large
  1119.    networks made up of more abstract neuronal components.  Most current
  1120.    GENESIS applications involve realistic simulations of biological
  1121.    neural systems.  Although the software can also model more abstract
  1122.    networks, other simulators are more suitable for backpropagation and
  1123.    similar connectionist modeling.  GENESIS and its graphical front-end
  1124.    XODUS are written in C and run on SUN and DEC graphics work stations
  1125.    under UNIX (Sun version 4.0 and up, Ultrix 3.1, 4.0 and up), and
  1126.    X-windows (versions X11R3, X11R4, and X11R5).  The current version of
  1127.    GENESIS has also been used with Silicon Graphics (Irix 4.0.1 and up)
  1128.    and the HP 700 series (HPUX).  The distribution includes full source
  1129.    code and documentation for both GENESIS and XODUS as well as fourteen
  1130.    demonstration and tutorial simulations.  Documentation for these
  1131.    simulations is included, along with three papers that describe the
  1132.    general organization of the simulator.  GENESIS is available by
  1133.    anonymous ftp from genesis.cns.caltech.edu (131.215.137.64). Before
  1134.    using ftp, you must telnet to genesis.cns.caltech.edu and login as the
  1135.    user "genesis" (no password required) to register.  If you answer all
  1136.    the questions asked of you an 'ftp' account will automatically be
  1137.    created for you.  You can then 'ftp' back to the machine and download
  1138.    the software.  Further inquiries concerning GENESIS may be addressed
  1139.    to genesis@cns.caltech.edu.
  1140.  
  1141.    The HYPERPLANE ANIMATOR is a program that allows convenient graphical
  1142.    display of the training data and weights in a back-propagation neural
  1143.    network.  As learning progresses and the weights in a neural net
  1144.    alter, the hyperplane positions move.  At the end of the training they
  1145.    are in positions that roughly divide training data into partitions,
  1146.    each of which contains only one class of data.  Observations of
  1147.    hyperplane movement can yield valuable insights into neural network
  1148.    learning.  The Animator, developed by Lori Pratt and Steve Nicodemus
  1149.    of the Colorado School of Mines, uses the Motif toolkit on an IBM
  1150.    RS6000 with X-Windows.  The system currently animates only hyperplanes
  1151.    representing input-to-hidden weights.  The animator is available by
  1152.    anonymous ftp from
  1153.       mines.colorado.edu:pub/software/hyperplane-animator/ [138.67.1.3]
  1154.    as the file hyperplane-animator.tar. An openwindows version of the
  1155.    animator is available by anonymous ftp from
  1156.        cs.rutgers.edu:ftp/pub/hyperplane.animator
  1157.    For more information, write to lpratt@mines.colorado.edu.
  1158.  
  1159.    SUZY is a simple neural net classifier system for PCs written in C++
  1160.    and Turbo Vision. RBFs are used to implement the classifier system
  1161.    with a class-based algorithm being applied to find the centres and
  1162.    radii of the RBS units. The program is not intended for any serious
  1163.    applications and is quite slow, but may be of interest to some people.
  1164.    It is available by anonymous ftp from
  1165.       rhino.cis.vutbr.cz:pub/software/ai/suzy.tar.Z [147.229.3.10]
  1166.    For further information, contact tgrove@psycho.fme.vutbr.cz.
  1167.  
  1168. Probabilistic Reasoning:
  1169.  
  1170.    BELIEF   -- ftp.stat.washington.edu (128.95.17.34)
  1171.                Contact: Russell Almond <almond@stat.washington.edu>
  1172.                                        <almond@statsci.com>
  1173.  
  1174.    IDEAL    -- Contact: srinivas@rpal.rockwell.com
  1175.                Bayesian networks
  1176.  
  1177. Planning:
  1178.  
  1179.    NONLIN   -- cs.umd.edu:/pub/nonlin (128.8.128.8)
  1180.                Contact: nonlin-users-request@cs.umd.edu
  1181.                         nonlin-bugs@cs.umd.edu
  1182.  
  1183.    ABTWEAK  -- jupiter.drev.dnd.ca:pub/steve/Abtweak   
  1184.                Contact: Steven Woods <woods@jupiter.drev.dnd.ca> or
  1185.                                      <sgwoods@logos.uwaterloo.ca>
  1186.                Nonlinear planning with abstraction
  1187.  
  1188.    RHETORICAL -- cs.rochester.edu:/pub/knowledge-tools
  1189.                Contact: Brad Miller <miller@cs.rochester.edu>
  1190.  
  1191.    SNLP     -- cs.washington.edu:/pub/snlp.tar.Z
  1192.                Contact: weld@cs.washington.edu
  1193.                Nonlinear planner.
  1194.  
  1195.    IDM      -- sauquoit.gsfc.nasa.gov (128.183.101.29)
  1196.                Contact: idm-users@chelmsford.gsfc.nasa.gov
  1197.                STRIPS-like planning.
  1198.  
  1199.    PRODIGY  -- Contact: prodigy@cs.cmu.edu
  1200.                Integrated Planning and Learning System
  1201.  
  1202.    SOAR     -- ftp.cs.cmu.edu:
  1203.                  /afs/cs.cmu.edu/project/soar/public/Soar5/ -- Lisp Version
  1204.                  /afs/cs.cmu.edu/project/soar/public/Soar6/ -- C Version
  1205.                Contact: soar-request@cs.cmu.edu
  1206.                Integrated Agent Architecture. 
  1207.                Supports learning through chunking.
  1208.  
  1209. ----------------------------------------------------------------
  1210. ;;; *EOF*
  1211.