The State of the Art in Paralle Production Systems

Abstract The production system paradigm occupies a prominent place in artificial intelligence. Production systems have not yet been widely accepted in industry mainly due to their slow performance. Continuing research in knowledge processing requires larger and larger production systems, which would only exacerbate the performance problem. For this reason, it is important to apply parallel processing technology to production systems because it may provide the speed improvement necessary for future production systems. This paper examines recent research efforts in production systems. It begins by discussing the architecture of production systems and the cause of their slow performance. It groups the research efforts into three categories, faster sequential match algorithms, parallel match production systems, and multiple rule firing production systems, and analyzes the strength and weakness of each approach. A uniform terminology is used throughout the paper. By considering each category individually and comparing them collectively, a clear picture of recent research efforts in production systems is obtained.

[1]  J. McDermott,et al.  Production system conflict resolution strategies , 1977, SGAR.

[2]  Christine T. Iwaskiw,et al.  Knowledge Base Compilation , 1989, IJCAI.

[3]  Salvatore J. Stolfo,et al.  Initial Performance of the DADO2 Prototype , 1987, Computer.

[4]  Dan I. Moldovan,et al.  SNAP: A Market-Propagation Architecture for Knowledge Processing , 1992, IEEE Trans. Parallel Distributed Syst..

[5]  James G. Schmolze,et al.  A Parallel Asynchronous Distributed Production System , 1990, AAAI.

[6]  Allen Newell,et al.  Parallel OPS5 on the Encore Multimax , 1988, ICPP.

[7]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[8]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[9]  Alexander J. Pasik,et al.  A methodology for programming production systems and its implications on parallelism , 1989 .

[10]  Allen Newell,et al.  Parallel algorithms and architectures for rule-based systems , 1986, ISCA '86.

[11]  Milind Tambe,et al.  Production Systems on Message Passing Computers: Simulation Results and Analysis , 1989, ICPP.

[12]  Salvatore J. Stolfo,et al.  Towards the Parallel Execution of Rules in Production System Programs , 1985, ICPP.

[13]  Rose F. Gamble.  Transforming rule-based programs: from the sequential to the parallel , 1990, IEA/AIE '90.

[14]  Gruia-Catalin Roman,et al.  A shared dataspace model of concurrency-language and programming implications , 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.

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

[16]  Dan I. Moldovan,et al.  Control in Production Systems with Multiple Rule Firings , 1990, International Conference on Parallel Processing.

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

[18]  Dan I. Moldovan,et al.  A parallel asynchronous message-driven production system , 1992 .

[19]  Anoop Gupta,et al.  Suitability of Message Passing Computers for Implementing Production Systems , 1988, AAAI.

[20]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[21]  Ho Soo Lee,et al.  Advances in Rete Pattern Matching , 1986, AAAI.

[22]  C. Forgy,et al.  PRODUCTION SYSTEM CONFLICT RESOLUTION STRATEGIES1 , 1978 .

[23]  Dan I. Moldovan,et al.  Performance Comparison of Models for Multiple Rule Firing , 1991, IJCAI.

[24]  Gerhard Zimmermann,et al.  PESA I-A Parallel Architecture for Production Systems , 1987, ICPP.

[25]  Daniel P. Miranker,et al.  Parallelizing Transformations for a Concurrent Rule Execution Language , 1989 .

[26]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[27]  Dan I. Moldovan,et al.  Implementation of Multiple Rule Firing Production Systems on Hypercube , 1991, J. Parallel Distributed Comput..

[28]  Dan I. Moldovan,et al.  Transformation techniques for parallel processing of production systems , 1987 .

[29]  Toru Ishida,et al.  Methods and effectiveness of parallel rule firing , 1990, Sixth Conference on Artificial Intelligence for Applications.

[30]  Salvatore J. Stolfo,et al.  The PARULEL Parallel Rule Language , 1991, ICPP.

[31]  Dan I. Moldovan.  RUBIC: a multiprocessor for rule-based systems , 1989, IEEE Trans. Syst. Man Cybern..

[32]  Gruia-Catalin Roman,et al.  A UNITY-Style Programming Logic for Shared Dataspace Programs , 1990, IEEE Trans. Parallel Distributed Syst..