Towards a General Framework for Composing Disjunctive and Iterative Macro-Operators
Abstract
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.
Cite
Text
Shell and Carbonell. "Towards a General Framework for Composing Disjunctive and Iterative Macro-Operators." International Joint Conference on Artificial Intelligence, 1989.Markdown
[Shell and Carbonell. "Towards a General Framework for Composing Disjunctive and Iterative Macro-Operators." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/shell1989ijcai-general/)BibTeX
@inproceedings{shell1989ijcai-general,
title = {{Towards a General Framework for Composing Disjunctive and Iterative Macro-Operators}},
author = {Shell, Peter and Carbonell, Jaime G.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1989},
pages = {596-602},
url = {https://mlanthology.org/ijcai/1989/shell1989ijcai-general/}
}