CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

PAIL: Portable AI Lab

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:
Origin:  []

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