next up previous
Next: 7.2. Asserting Rules Up: 7. NODE-BASED INFERENCE (UM Ch. 3). Previous: 7. NODE-BASED INFERENCE (UM Ch. 3).

7.1. Rules

The third way to do inference in SNePS is to use rules. Rules in SNePS are not kept in a separate location from the rest of the knowledge base, as they are in many production systems. Rather, rules are propositions that Cassie believes. As such, they can themselves be reasoned about. But in what follows, we'll just use them as inference rules in a predicate logic, using an example from Rich & Knight 1991: 134-135. First,


William J. Rapaport 2003-09-22