This Article 
 Bibliographic References 
 Add to: 
Performance Evaluation of Rule Grouping on a Real-Time Expert System Architecture
December 1994 (vol. 6 no. 6)
pp. 883-891

Uses a Markov process to model a real-time expert system architecture characterized by message passing and event-driven scheduling. The model is applied to the performance evaluation of rule grouping for real-time expert systems running on this architecture. An optimizing algorithm based on Kernighan-Lin heuristic graph partitioning for the real-time architecture is developed and a demonstration system based on the model and algorithm has been developed and tested on a portion of the advanced GPS receiver (AGR) and manned manoeuvring unit (MMU) knowledge bases.

[1] 6th Int. Conf. on Applications of AI in Eng., Oxford, UK, July 1991.
[2] 3rd IFAC Int. Workshop on AI in Real Time Control, Sonoma Valley, CA, Sept. 1991.
[3] E. R. Barnes, "An algorithm for partitioning the nodes of a graph"SIAM J. Algebraic and Discrete Methods, vol. 3, no. 4, pp. 541-550, Dec. 1982.
[4] C. L. Forgy, "Rete: A fast algorithm for the many pattern/many object pattern match problem,"Artificial Intell., pp. 17-37, 1982.
[5] J. L. Giarratano,CLIPS User's Guide, Artificial Intelligence Section, Lyndon B. Johnson Space Center, Houston, TX, June 1988.
[6] P. E. Green, "AF: A framework for real-time distributed cooperative problem solving,"Distributed Artificial Intelligence, Michael N. Huhns, Ed. New York: Morgan Kaufmann, 1987, pp. 153-176.
[7] P. E. Green, J. Duckworth, L. Becker, and S. Cotterill, "Maintenance system for AI knowledge bases, Phase I--Final report: Design of the SKRAM system," Contract F33615-90-C-1470, Feb. 1991.
[8] P. E. Green, "A data-driven mechanism for the execution of production rules in real-time computer based systems,"The Real-Time Intelligent Systems Cooperation, June 1991.
[9] P. E. Green,AFL Users Manual, Version 1.5,The Real-Time Intelligent systems Cooperation, Aug. 1991.
[10] A. Gupta,Parallelism in Production Systems, Morgan Kaufmann, Palo Alto, Calif., 1987.
[11] IFIP Working Conf. on Dependability of AI Systems, Vienna, Austria, May 1991.
[12] R. J. K. Jacob and J. N. Froscher, "A software engineering methodology for rule-based systems,"IEEE Trans. Knowledge and Data Eng., vol. 2, no. 2, June 1990.
[13] B. W. Kernighan and S. Lin, "An efficient heuristic procedure for partitioning graphs,"Bell Syst. Tech. J., vol. 49, pp. 291-307, 1970.
[14] D. G. Lawler and L. J. F. Williams, "MMU FDIR automation task," Tech. Rep. NAS9-17650, McDonell Douglas Astronautics-Engineering Services, Houston, TX, Feb. 1988.
[15] C. H. Lee, C. I. Park, and M. Kim, "Efficient algorithm for graph-partitioning problem using a problem transformation method,"Computer-Aided Des., vol. 21, no. 10, pp. 611-618, Dec. 1989.
[16] M. Mehrotra, "Rule groupings: a software engineering approach towards verification of expert systems," NASA Contract NAS1-18585, Final Rep., Feb. 1991.
[17] W. Mettrey, "A comparative evaluation of expert system tools,"IEEE Computer, Feb 1991.
[18] S. M. Ross,Introduction to Probability Models, 4th ed. New York: Academic Press, 1989.
[19] "The real-time intelligent systems, " inActivation Framework Operating System Environment, Users Manual, AFC Version 2.6, Aug. 1991.
[20] Worcester Polytechnic Institute,Knowledge Representation into Ada Methodology, Project Review Meeting, May 1991.

Index Terms:
software performance evaluation; message passing; expert systems; real-time systems; Markov processes; scheduling; optimisation; heuristic programming; graph theory; Global Positioning System; receivers; man-machine systems; telecommunication computing; aerospace computing; performance evaluation; rule grouping; real-time expert system architecture; Markov process; message passing; event-driven scheduling; optimizing algorithm; Kernighan-Lin heuristic graph partitioning; advanced GPS receiver; Global Positioning System; manned manoeuvring unit; knowledge bases
I.-R. Chen, B. Poole, "Performance Evaluation of Rule Grouping on a Real-Time Expert System Architecture," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 6, pp. 883-891, Dec. 1994, doi:10.1109/69.334879
Usage of this product signifies your acceptance of the Terms of Use.