BPS

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