Next:
3.2. Deducing Information using
Up:
3. REDUCTION INFERENCE (UM§2.5.1).
Previous:
3. REDUCTION INFERENCE (UM§2.5.1).
3.1. Deducing Information, part 1
Besides merely asking Cassie to tell us what's in her knowledge base, by using the
find
command, we can ask her to
infer
information. One way to do this is with the
deduce
command. Let's first recall what Cassie believes:
Evaluate:
(describe *nodes)
William J. Rapaport 2003-09-22