next up previous
Next: 8. PROGRAMMING PROJECT #1. Up: 7. NODE-BASED INFERENCE (UM Ch. 3). Previous: 7.2. Asserting Rules


7.3. EXERCISE: Node-Based Inference

(based on Ginsberg 1993: 126ff):

  1. Barbara is a lawyer.
  2. All lawyers are rich.
  3. Everyone who is rich owns a big house.
  4. Big houses are a lot of work.
  5. What is a lot of work?



William J. Rapaport 2003-09-22