CMU Artificial Intelligence Repository
BPS: Code from "Building Problem Solvers"
areas/reasonng/tms/bps/
This directory contains the truth maintenance system and problem
solver implementations described in the book "Building Problem
Solvers" by Ken Forbus and Johan de Kleer.
Origin:
multivac.ils.nwu.edu:/pub/BPS/
parcftp.xerox.com:/pub/bps/
Version: 102493
Requires: Common Lisp
Ports: Symbolics CL, Lucid CL, Franz Allegro CL, KCL, MCL,
Allegro CL/PC.
Copying: Copyright (c) 1986-1992 Kenneth D. Forbus, Johan de
Kleer and Xerox Corporation.
Use, copying, modification, and distribution permitted.
(See PERMIT.TXT for details.)
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Bug Reports: bug-bps@ils.nwu.edu
Author(s): Ken Forbus
Johan de Kleer
Keywords:
ATMS, Assumption-Based TMS, Authors!Forbus, Authors!de Kleer,
BPS, CPS, Constraint Languages, GDE,
General Diagnostic Engine, Inference, JTMS,
Justification-Based TMS, Lisp!Code, Logic-Based LTMS,
Pattern-Directed Inference, Pattern-Directed Inference,
Planning, Qualitative Process Theory,
Reasoning!Truth Maintenance, Search Engine, TCON, TGIZMO,
TMS, Truth Maintenance
References:
Kenneth D. Forbus and Johan de Kleer, "Building Problem Solvers",
MIT Press, Cambridge, MA, 1993. 700 pages, ISBN 0-262-06157-0 ($49.95).
Last Web update on Mon Feb 13 10:27:57 1995
AI.Repository@cs.cmu.edu