SNIP: The SNePS Inference Package

 

Automatic inference may be triggered using the function deduce (see Section 2.11), a generalization of find, or the function add (see Section 2.7), a generalization of assert. In order for these to accomplish anything, deduction rules must exist in the network. A deduction rule is a network structure dominated by a rule node. A rule node represents a logical formula of molecular nodes, using connectives and quantifiers.

 
• Representing and Using Rules
  • Connectives
    • And-Entailment
      • Use
    • Or-Entailment
      • Use
    • Numerical Entailment
      • Use
    • AndOr
      • Use
    • Thresh
      • Use
    • Non-derivable
  • Quantifiers
    • The Universal Quantifier
      • Use
    • The Existential Quantifier
    • The Numerical Quantifier
    • The Uniqueness Principle for Variables
• Tracing Inference