CMU Artificial Intelligence Repository
PAIL: Portable AI Lab
areas/edu/pail/
PAIL (Portable AI Lab) is a computing environment containing a
collection of state-of-the-art AI tools, examples, and documentation.
It is aimed at those involved in AI courses (teaching or learning) at
university level or equivalent. The system has enough built-in
functionality to enable its users to get practical experience with a
broad range of AI problems without having to build all the supporting
tools from scratch. It is implemented in Common Lisp and uses CLOS and
Allegro Common Windows (i.e., in Allegro CL 4.1).
PAIL is designed around a set of modules, each of which includes a
fully implemented and documented computational kernel together with a
representative set of autonomous demonstrations and running examples.
The modules also provide appropriate graphic visualizations for the
presentation of key algorithms and concepts. In addition, sufficient
documentation is provided to enable the user to retrieve key
literature references, understand the architecture and specifics of
the implementation, and modify the implementation if desired.
PAIL's current modules cover the following topics
- Automated Theorem Proving
- Natural Language Processing
- Rule-Based Inference
- Truth Maintenance Systems
- Constraint Satisfaction Problems
- Learning
- Knowledge Acquisition
- Genetic Algorithms
- Neural Networks
See Also:
http://www.idsia.ch/pail.html
Origin:
pobox.cscs.ch:/pub/ai/ [148.187.10.13]
Version: 2.4.3 (8-NOV-93); 2.4.2 (30-JUL-93);
Mac (2-FEB-94)
Requires: Common Lisp, CLOS, Allegro Common Windows
Copying: Copyright (c) 1993 Istituto Dalle Molle (IDSIA),
University of Zurich, Swiss Federal Institute of
Technology Lausanne.
Use, copying, modification, and distribution permitted.
Updated: Tue Jan 24 18:14:47 1995
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Mike Rosner
IDSIA
Corso Elvezia 36
6900 Lugano, Switzerland
Fax: +41 91 22 89 94
Dean Allemang
Contact: Portable AI Lab Director
IDSIA
Corso Elvezia 36
CH-6900 Lugano
Switzerland
Keywords:
8-Puzzle, 8-Queens, ATN Parser, Authors!Allemang,
Authors!Rosner, Automated Theorem Proving, Backpropagation,
Backward Chaining, CKY Parser, CLICHE, CLOS!Code, CSP,
Chart Parsing, Chemical Reasoning, Constraint Propagation,
Constraint Satisfaction, Constraint Satisfaction Problems,
Crossword Puzzles, EBG, Educational Tools,
Expert System Shells, Forward Chaining, Genetic Algorithms,
Hopfield Networks, ID3, Interpreters!Prolog, JTMS,
Knowledge Acquisition, Lisp!Code, Machine Learning,
Missionaries and Cannibals Problem, NLP, Neural Networks,
Nonmonotonic Reasoning, PAIL, Planning, Portable AI Lab,
Reasoning!Chemical Reasoning,
Reasoning!Nonmonotonic Reasoning, Rule-Based Inference,
Sussman's Anomaly, Teaching Materials, Tools,
Towers of Hanoi, Truth Maintenance, Unification,
Visualization, Waltz Labeling
References: ?
Last Web update on Mon Feb 13 10:20:58 1995
AI.Repository@cs.cmu.edu