6 Rule Sets and Rules

6.1 Rule Sets

A rule set is a collection of rules that together solve some (portion of a) problem.

A rule set must be activated in an inference environment to be used in a inference. (See activate in Section 4.1, Rule Set Activation).

Multiple rule sets may be active in any given inference environment.

Currently, there is no way to deactivate a rule set.

6.2 Rules

6.2.1 Forward Chaining (Data-Driven) Rules

6.2.2 Backward Chaining (Goal-Driven) Rules

6.3 Pattern Clauses

6.3.1 Binding Pattern Clauses

6.3.2 Existential Pattern Clauses

6.4 Patterns

6.4.1 List Patterns

6.4.2 List Pattern Example—Ancestors

6.4.3 Association List Patterns

6.4.4 Association List Pattern Example—Ancestors

6.4.5 Vector Patterns

6.4.6 Vector Pattern Example—Ancestors

6.4.7 Structure Patterns

6.4.8 Structure Pattern Example—Ancestors

6.5 Conflict Resolution Strategies

6.5.1 Depth First

6.5.2 Depth First Example

6.5.3 Breadth First

6.5.4 Breadth First Example

6.5.5 Rule Order

6.5.6 Rule Order Example

6.5.7 Specificity

6.5.8 Specificity Example

6.5.9 Simplicity

6.5.10 Simplicity Example

6.5.11 Complexity

6.5.12 Complexity Example

6.5.13 Random

6.5.14 Random Example