5.4 Optimisations

5.4.4 Invalid combinations of assumptions

Some combinations of assumptions cannot be true. In particular, no assumption context can have more than one true assumption, and an assumption cannot be true if its conflict tag is. Assumption tags containing such invalid combinations of assumptions can be simplified or possibilities filtered out altogether. If such filtering is carried out too often, more time can be wasted than saved, but it is worthwhile before performing the consequents of every rule. This can prevent many false deductions from being made.

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

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

Generated with CERN WebMaker