This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Multilayer Perceptron Solution to the Match Phase Problem in Rule-Based Artificial Intelligence Systems
June 1992 (vol. 4 no. 3)
pp. 290-297

In rule-based artificial intelligence (AI) planning, expert, and learning systems, it is often the case that the left-hand-sides of the rules must be repeatedly compared to the contents of some working memory. Normally, the intent is to determine which rules are relevant to the current situation (i.e., to find the conflict set). A technique using a multilayer perceptron to solve the match phase problem for rule-based AI systems is presented. A syntax for premise formulas (i.e., the left-hand-sides of the rules) is defined, and working memory is specified. From this, it is shown how to construct a multilayer perceptron that finds all of the rules which can be executed for the current situation in working memory. The complexity of the constructed multilayer perceptron is derived in terms of the maximum number of nodes and the required number of layers. A method for reducing the number of layers to at most three is presented.

[1] L. Brownston et al.,Programming Expert Systems in OPS5, An Introduction to Rule-Based Programming, Addison Wesley, Reading, Mass., 1985, Chapter 4, pp. 161- 164.
[2] B. G. Buchanan and E. H. Shortliffe,Rule-Based Expert Systems. Reading, MA: Addison-Wesley, 1984.
[3] Level 5 Expert System Software, Information Builders Inc., New York, NY, 1989.
[4] C. L. Forgy, "On the efficient implementation of production systems," Ph.D. dissertation, Dept. Computer Science, Carnegie-Mellon Univ., Pittsburgh, PA, Feb. 1979.
[5] C. L. Forgy, "Rete: A fast algorithm for the many pattern/many object pattern problem,"Artif. Intell., vol. 19, pp. 17-37, 1982.
[6] A. V. Aho, J. E. Hopcroft, and J. D. Ullman,The Design and Analysis of Computer Algorithms. Menlo Park, CA: Addison-Wesley, 1974.
[7] M. I. Schor, T. P. Daly, S. L. Ho, and B. R. Tibbitts, "Advances in Rete pattern matching," inProc. 1986 Nat. Conf. Artif. Intell., 1986, pp. 226-232.
[8] S. J. Stolfo, "Five parallel algorithms for production system execution on the DADO machine," inProc. Nat. Conf. Artif. Intell., 1984, pp. 300-307.
[9] D. P. Miranker, "Performance estimates for the DADO machine: A comparison of TREAT and RETE," inProc. Int. Conf. Fifth Generation Comput. Syst., 1984, pp. 449-457.
[10] J. D. Musa, "Tools for Measuring Software Reliability,"IEEE Spectrum, Feb. 1989, pp. 39-42; correction, April 1989, p. 8.
[11] T. Ishida and S. Stolfo, "Toward the parallel execution of rules in production system programs," inProc. 1985 Int. Conf. Parallel Processing, 1985, pp. 568-575.
[12] K. Oflazer, "Partitioning in parallel processing of production systems," inProc. 1984 Int. Conf. Parallel Processing, 1984, pp. 92-100.
[13] D. I. Moldovan, "A model for parallel processing of production systems," inProc. IEEE Int. Conf. Syst., Man, Cybern., 1986, pp. 568-573.
[14] M. F. M. Tenorio and D. I. Moldovan, "Mapping production systems into multiprocessors," inProc. 1985 Int. Conf. Parallel Processing, 1985, pp. 56-62.
[15] H. Won, "On parallel processing of universal rule based expert system," inProc. 1987 Western Conf. Expert Syst., 1987, pp. 136-143.
[16] C. Forgy, A. Gupta, A. Newell, and R. Wedig, "Initial assessment of architectures for production systems," inProc. 1984 Nat. Conf. Artif. Intell., 1984, pp. 116-120.
[17] C. Forgy and A. Goopta, "Preliminary architecture of the CMU production system machine," inProc. Nineteenth Annu. Hawaii Int. Conf. Syst. Sci., 1986, pp. 194-200.
[18] A. O. Oshisanwo and P. P. Dasiewicz, "A parallel model and architecture for production systems," inProc. 1987 Int. Conf. Parallel Processing, 1987, pp. 147-153.
[19] F. Schreiner and G. Zimmermann, "PESA 1--A parallel architecture for production systems," inProc. 1987 Int. Conf. Parallel Processing, 1987, pp. 166-169.
[20] R. Ramnarayan, G. Zimmermann, and S. Krolikoski, "PESA-1: A parallel architecture for OPS5 production system," inProc. Nineteenth Annu. Hawaii Int. Conf. Syst. Sci., 1986, pp. 201-205.
[21] S. J. Stolfo and D. P. Miranker, "DADO: A parallel processor for expert systems," inProc. 1984 Int. Conf. Parallel Processing, 1984, pp. 74-82.
[22] A. Gupta, "Implementing OPS5 production systems on DADO," inProc. 1984 Int. Conf. Parallel Processing, 1984, pp. 83-91.
[23] D. E. Shaw, "NON-VON: A parallel machine architecture for knowledge-based information processing," inProc. Seventh Int. Joint Conf. Artif. Intell., 1981, pp. 961-963.
[24] A. Gupta, C. L. Forgy, D. Kalp, A. Newell, and M. Tambe, "Parallel OPS5 on the Encore Multimax," inProc. 1988 Int. Conf. Parallel Processing, vol. 1, 1988, pp. 271-280.
[25] D. E. Rumelhart, G. E. Hinton, and R. J. Williams, "Learning internal representation by error propagation,"Parallel Distributed Processing: Explorations in the Microstructure of Cognition, vols. 1 and 2. Cambridge, MA: MIT Press, 1986.
[26] J. Hopfield, "Neurons with graded response have collective computational properties like those of two-state neurons,"Nat. Acad. Sci., pp. 3088-3092, May 1984.
[27] M. A. Sartori and P. J. Antsaklis, "Neural computing and production systems," inProc. Third Annu. Symp. Intell. Contr., Aug. 1988.
[28] K. M. Passino, M. A. Sartori, and P. J. Antsaklis, "Neural computing for numeric/symbolic conversion in control systems,"IEEE Contr. Syst. Mag., Apr. 1989, pp. 44-52.
[29] K. M. Passino M. A. Sartori, and P. J. Antsaklis, "Neural computing for information extraction in control systems," inProc. Twenty-Sixth Annu. Allerton Conf. Commun., Contr., Comput., Univ. of Illinois at Urbana-Champaign, Sept. 1988, pp. 1172-1180.
[30] R. P. Lippman, "An introduction to computing with neural nets,"IEEE ASSP Msg., vol. 4, pp. 4-22, 1987.
[31] M. A. Sartori, K. P. Passino, and P. J. Antsaklis, "Artificial neural networks in the match phase of rule-based expert systems," inProc. Twenty-Seventh Annu. Allerton Conf. Commun., Contr., Comput., Univ. of Illinois at Urbana-Champaign, Sept. 1989.
[32] M. A. Sartori, K. P. Passino, and P. J. Antsaklis, "An artificial neural network solution to the match phase problem of rule-based artificial intelligence systems," Tech. Rep. 89-09-02, Dep. Elec. Eng., Univ. of Notre Dame, Sept. 1989.
[33] J. McDermott and C. Forgy, "Production system conflict resolution strategies," inPattern-Directed Inference Systems, D. A. Waterman, F. Hayes-Roth, Eds. New York: Academic, 1978.
[34] T. Kohonen,Self-Organization and Associative Memory. Berlin, Germany: Springer-Verlag, 1988, p. 132.
[35] Z. Kohavi,Switching and Finite Automata Theory. New York: McGraw-Hill, 1978.
[36] E.J. Lemmon,Beginning Logic. Indianapolis, IN: Hackett, 1978.

Index Terms:
expert systems; multilayer perceptron solution; match phase problem; rule-based artificial intelligence systems; planning; learning systems; working memory; artificial intelligence; expert systems; learning systems; neural nets
Citation:
M.A. Sartori, K.M. Passino, P.J. Antsaklis, "A Multilayer Perceptron Solution to the Match Phase Problem in Rule-Based Artificial Intelligence Systems," IEEE Transactions on Knowledge and Data Engineering, vol. 4, no. 3, pp. 290-297, June 1992, doi:10.1109/69.142019
Usage of this product signifies your acceptance of the Terms of Use.