Uni-Rete : specializing the Rete match algorithm for the unique-attribute representation

Abstract: "The combinatorial match in production systems (rule- based systems) is problematical in several areas of production system application: real-time performance, learning new productions for performance improvement, modeling human cognition, and parallelization. The unique-attribute representation is a promising approach to eliminate match combinatorics. Earlier investigations have focused on the ability of unique-attributes to alleviate the problems caused by combinatorial match [Tambe, Newell and Rosenbloom 90]. This paper reports on an additional benefit of unique-attributes: a specialized match algorithm called Uni-Rete.Uni-Rete is a specialization of the widely used Rete match algorithm for unique-attributes, and it has shown over 10-fold speedup over Rete in performing match.

Parallel OPS5 User's Manual

This document is a reference manual for ParaOPS5, a parallel version of the OPS5 production system language. ParaOPS5 is implemented in C, and runs on shared memory multiprocessors. While it is intended for use on shared memory multiprocessors, it is also suitable for uniprocessor machines. ParaOPS5 does not change the computational model or the functionality of OPS5. Instead, it exploits parallelism in the match phase of OPS5. Exploiting parallelism at a very fine granularity in the match phase has allowed ParaOPS5 to achieve significant speed-ups. 1 Department of Computer Science, Stanford University, Stanford, CA PARALLEL OPS5 1 1. Introduction The goal of the production system machine (PSM) project at Carnegie Mellon University is to create software and hardware technology for parallel rule-based systems. This document is a reference manual of our parallel implementation of the OPS5 production system language [1, 2], called ParaOPS5. ParaOPS5 is based on the parallel implementa..