next up previous
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:

William J. Rapaport 2003-09-22