Building Problem Solvers

original book and code by Ken Forbus and Johan de Kleer

The original code can be obtained here. More information about the book here, including a fulltext searchable PDF

How to run the code.

Causality TOC

ltms/counterfactual.lisp: Firing Squad in LTMS
atms/causality.lisp: Causality Crank
atms/causality-ex.lisp: Causality Crank Examples

Original TOC

1 & 2. Preface and Introduction
3. cps Simple search engine with examples.
4. tre Pattern-directed inference system plus examples
5. ftre Faster pattern-directed inference system plus examples
6. Introduction to Truth-Maintenance System (TMS)
7 & 8. jtms Justification-based TMS, inference engine, symbolic integration system and examples.
9 & 10. ltms Logic-based TMS, inference engine and examples.
11. tgizmo Simple Qualitative Process theory system plus examples.
12 & 13 & 14. atms Assumption-based truth maintenance system, inference engine, planner and examples.
16 & 17. gde General Diagnostic Engine, ATMS-based constraint language plus examples.
18. relax Symbolic relaxation system and examples.
15. tcon Constraint language and examples.

Resources for Common Lisp

Common Lisp the Language, 2nd Edition
- an excellent reference by Guy Steele
Practical Common Lisp
- a clear tutorial by Peter Seibel