Sciweavers

IJCAI
1989

Towards a General Framework for Composing Disjunctive and Iterative Macro-operators

13 years 4 months ago
Towards a General Framework for Composing Disjunctive and Iterative Macro-operators
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. Whereas earlier work focused on when to create iterative macro-operators, this paper addresses how to form them, combining proven optimization methods such as extraction of loop invariants, with techniques for further optimizing RETEmatch efficiency. The disjunctive and iterative composition processes have been implemented in FERMI and its underlying production system language. Empirical results confirm substantial rule-match speedups and system performance improvements in different application domains.
Peter Shell, Jaime G. Carbonell
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 1989
Where IJCAI
Authors Peter Shell, Jaime G. Carbonell
Comments (0)