Package:
areas/edu/pail/
Name:
PAIL
Summary:
Portable AI Lab
Version:
2.4.3 (8-NOV-93); 2.4.2 (30-JUL-93); Mac (2-FEB-94)
Description:
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
Requires:
Common Lisp, CLOS, Allegro Common Windows
Ports:
Origin:
pobox.cscs.ch:/pub/ai/
[148.187.10.13]
URL:
http://www.idsia.ch/pail.html
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
Bug Reports:
Mailing List:
Author(s):
Mike Rosner <mike@idsia.ch>
IDSIA
Corso Elvezia 36
6900 Lugano, Switzerland
Fax: +41 91 22 89 94
Dean Allemang <dean@idsia.ch>
Contact:
Portable AI Lab Director <pail-info@idsia.ch>
IDSIA
Corso Elvezia 36
CH-6900 Lugano
Switzerland
Keywords:
Tools, Educational Tools, PAIL, Portable AI Lab, Authors!Rosner,
Authors!Allemang, Lisp!Code, CLOS!Code, Automated Theorem Proving,
NLP, Rule-Based Inference, Truth Maintenance, Constraint
Satisfaction Problems, Machine Learning, Knowledge
Acquisition, Genetic Algorithms, Neural Networks, Visualization,
Teaching Materials, Crossword Puzzles, 8-Puzzle, ATN Parser,
Interpreters!Prolog, Backward Chaining, Forward Chaining, Chart
Parsing, CKY Parser, CSP, Waltz Labeling, Constraint
Propagation, 8-Queens, EBG, Hopfield Networks, ID3, JTMS,
Backpropagation, Planning, Towers of Hanoi, Missionaries and
Cannibals Problem,
Sussman's Anomaly, Unification, Constraint Satisfaction, CLICHE,
Expert System Shells, Chemical Reasoning, Nonmonotonic Reasoning,
Reasoning!Chemical Reasoning, Reasoning!Nonmonotonic Reasoning
Contains:
See Also:
References:
???