Unwritten Sections

• Forward and backward chaining inference

  Number theory example (peano.lisp, anumber-theory.lisp)

• Simple expert systems

  Establish-Refine diagnosis (nec+suff.lisp)

• Sequencing methods

  Finite State Machine control (fsm.lisp, expert.lisp)

  Situation Calculus

• Universals and Inheritance

  universals via rules and representatives (inheritance.lisp)

  proving property of set via representative (steril.lisp)

• Sets

  defining sets from descriptions (setof.lisp)

  beginning of set theory (set-theory.lisp)

  negation and disjunction (disjunction.lisp, bank.lisp; cf. solver.lisp)

  ranked sets (in lisp-test.lisp)

• Non-monotonic reasoning

  assumptions and RAA (flowers.lisp)

  default reasoning and overriding (nixon.lisp)

• Major ES examples
  • Headache ES
  • HVAC ES
  • Portfolio Manager (PM ES)
  • UGRAD ES