[Next] [Previous] [Top] [Contents]

Efficient Forward Chaining for Declarative Rules in a Multi-Agent Modelling Language

4 Firing rules


Rulebases were described in
Section 3.3. This section describes the techniques used in SDML to fire rules, in order to make deductions. It firstly describes how declarative rules can be fired using forward chaining, and then shows how this basic mechanism is speeded up. Finally, this section describes how backward chaining is performed and how it is integrated with forward chaining.

4.1 - Forward chaining
4.2 - Compilation
4.3 - Dependencies and partitioning
4.4 - Optimising cycles in rulebases
4.5 - Backward chaining

Efficient Forward Chaining for Declarative Rules in a Multi-Agent Modelling Language - 16 FEB 95
[Next] [Previous] [Top] [Contents]

Generated with CERN WebMaker