next up previous
Next: 4. DIFFERENT NODE TYPOGRAPHY. Up: 3. REDUCTION INFERENCE (UM§2.5.1). Previous: 3.5. Deducing Beliefs

3.6. EXERCISES: Deducing Beliefs

  1. Tell Cassie that John believes that Orville and Wilbur can fly.
  2. Does John believe that Orville can fly?
  3. Try this sequence of commands:
    (resetnet t)
    (define member class)
    (describe (deduce member PUT_YOUR_NAME_HERE class will\ pass))
    (The (resetnet t) command is explained in §4.1.) Node M1 is created. Why?

William J. Rapaport 2003-09-22