next up previous
Next: 3.3. When Cassie Doesn't Up: 3. REDUCTION INFERENCE (UM§2.5.1). Previous: 3.1. Deducing Information, part

3.2. Deducing Information using Variables

Just like assert, build, and find, deduce can take as arguments relation-node pairs, and it can use SNePSUL variables in place of nodes (UM§2.11). However, the variables are denoted with dollar signs (UM§2.7): $x. E.g., to find out who is a canary, not just by asking Cassie whom she explicitly believes to be a canary, but by asking her to infer all the canaries she explicitly or implicitly is aware of,

William J. Rapaport 2003-09-22