The Match Cost of Adding a New Rule: A Clash of Views

What is the match cost of adding a new rule to a production system (rule-based system)? Two conflicting views have emerged. Research in EBL indicates that learned rules add to the match cost of a production system. Thus, as the production system size increases with learning, the match cost will also increase. There is much data in the literature to support this phenomenon. On the contrary, researchers in parallel production systems have concluded that the match effort in a production system is limited, independent of the size of the production system. Thus, an increase in the size of the production system will not lead to an increase in the match cost. There is much data to support this phenomenon as well. In this paper, we point out these contradictory views of production match in the two research communities. A direct analysis of these conflicting views is difficult, since the two communities have worked with vastly different systems. Therefore, we have developed some large production systems in Soar, to analyze the situation within a common framework. This common framework narrows down the possible causes for this conflict, and raises important questions for future work.

[1]  Milind Tambe Eliminating combinatorics from production match , 1991 .

[2]  Kemal Oflazer,et al.  Partitioning in parallel processing of production systems , 1987 .

[3]  Anoop Gupta,et al.  Comparison of the RETE and TREAT production matchers for soar (A summary) , 1988, AAAI 1988.

[4]  Allen Newell,et al.  A Preliminary Analysis of the Soar Architecture as a Basis for General Intelligence , 1991, Artif. Intell..

[5]  Daniel P. Miranker TREAT: a better match algorithm for AI production systems , 1987, AAAI 1987.

[6]  A. Newell,et al.  The Problem of Expensive Chunks and its Solution by Restricting Expressiveness , 1990 .

[7]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[8]  Joseph S. B. Mitchell,et al.  An Algorithmic Approach to Some Problems in Terrain Navigation , 1988, Artif. Intell..

[9]  Daniel P. Miranker TREAT: A new and efficient match algorithm for AI production systems , 1988 .

[10]  Steven Minton,et al.  Quantitative Results Concerning the Utility of Explanation-based Learning , 1988, Artif. Intell..

[11]  Oren Etzioni,et al.  Acquiring Effective Search Control Rules: Explanation-Based Learning in the PRODIGY System , 1987 .

[12]  William W. Cohen Learning Approximate Control Rules of High Utility , 1990, ML.

[13]  A. Newell Unified Theories of Cognition , 1990 .

[14]  Daniel J. Scales Efficient matching algorithms for the Soar/OPS5 production system , 1986 .

[15]  Derek Sleeman,et al.  Proceedings of the Ninth International Workshop on Machine Learning , 1992 .

[16]  Norbert Theuretzbacher,et al.  The Challenge of Real-Time Process Control for Production Systems , 1988, AAAI.

[17]  Paul S. Rosenbloom,et al.  Knowledge Level and Inductive Uses of Chunking (EBL) , 1990, AAAI.

[18]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[19]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[20]  Virginia E. Barker,et al.  Expert systems for configuration at Digital: XCON and beyond , 1989, Commun. ACM.

[21]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[22]  Thomas J. Laffey,et al.  Real-Time Knowledge-Based Systems , 1988, AI Mag..

[23]  Steven Minton,et al.  Selectively Generalizing Plans for Problem-Solving , 1985, IJCAI.

[24]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[25]  Jaime G. Carbonell,et al.  Learning effective search control knowledge: an explanation-based approach , 1988 .

[26]  Milind Tambe,et al.  The Effectiveness of Task-Level Parallelism for Production Systems , 1991, J. Parallel Distributed Comput..

[27]  Anoop Gupta Parallelism in production systems , 1987 .

[28]  Anoop Gupta Implementing OPS5 production systems on DADO , 1984 .

[29]  Allen Newell,et al.  Learning 10, 000 Chunks: What's It Like Out There? , 1992, AAAI.

[30]  Anoop Gupta,et al.  Measurements on production systems , 1983 .