---
title: "Towards a General Framework for Composing Disjunctive and Iterative Macro-operators"
authors:
  - "Peter Shell"
  - "Jaime G. Carbonell"
doi: ""
url: "https://ijcai.org/proceedings/1989/95"
pdf: "https://ijcai.org/proceedings/1989/0095.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "596-601"
track: "Machine Learning"
keywords:
---

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

Peter Shell, Jaime G. Carbonell

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, pages 596-601.

## 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 w hen 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.