Issue No. 01 - February (1995 vol. 7)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.368519
<p><it>Abstract</it>—Recent production system applications have been experiencing exceedingly difficult software maintenance problems. This is because the control of rule firings has been buried in the production rules themselves. To cope with this problem, we propose a <it>meta-level control architecture</it> for production systems, where procedural programming languages, such as Lisp and C, are employed to explicitly describe the control plans of production systems. The key idea of the architecture is to view production systems as a collection of independent rule processes, each of which monitors the global database and performs actions when its conditions are satisfied by the database. <it>Procedural Control Macros (PCMs)</it>, which are based on Hoare’s CSP, are then introduced into procedural programming languages to establish communication with the collection of rule processes.</p><p>Although the PCMs are simple and easy to implement, the readability and maintainability of production system applications are greatly enhanced. Together with the original facilities of procedural languages, the PCMs enable users to efficiently specify the control plans for production systems. Furthermore, since control information is gathered into control plans, production rules can be declarative and thereby application-independent. This new feature makes it possible to develop large-scale shared rule bases. Experiments of redescribing 370 rules have been performed based on the proposed meta-level control architecture. The results demonstrate significant improvements in the readability and maintainability of those rules without any significant representation (file volumes) and runtime (processing time) overheads.</p>
Expert system, meta-level control, problem solving, production rule, production system.
Toru Ishida, Yoshimi Fukuhara, Yutaka Sasaki, Keiko Nakata, "A Meta-Level Control Architecture for Production Systems", IEEE Transactions on Knowledge & Data Engineering, vol. 7, no. , pp. 44-52, February 1995, doi:10.1109/69.368519