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

5 Assumption handling

5.4 Optimisations


The basic assumptions mechanism described above suffers from some efficiency problems. In particular, a lot of time and memory can be spent making deductions on the basis of false assumptions. Techniques to improve the efficiency of assumptions are described in this section.

5.4.1 - Partitioning
5.4.2 - Extending dependency graphs
5.4.3 - Ordering within partitions
5.4.4 - Invalid combinations of assumptions
5.4.5 - Validities

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

Generated with CERN WebMaker