CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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