4. DIFFERENT NODE TYPOGRAPHY.
3. REDUCTION INFERENCE (UM§2.5.1).
3.5. Deducing Beliefs
3.6. EXERCISES: Deducing Beliefs
Tell Cassie that John believes that Orville and Wilbur can fly.
Does John believe that Orville can fly?
Try this sequence of commands:
(resetnet t) (define member class) (describe (deduce member PUT_YOUR_NAME_HERE class will\ pass))
command is explained in §
is created. Why?
William J. Rapaport 2003-09-22