High-speed implementations of rule-based systems

ACM Transactions on Computer Systems (TOCS)

Volumn 7, Issue 2, 1989, Pages 119-146

  Gupta, Anoop ^a   Forgy, Charles ^b   Newell, Allen ^b  

^a STANFORD UNIVERSITY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

OPS5; parallel implementation; production systems; Rete algorithm; rule based systems; shared memory multiprocessors

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SYSTEMS, DIGITAL--PARALLEL PROCESSING;

PRODUCTION SYSTEMS; RULE BASED SYSTEMS; SHARED MEMORY MULTIPROCESSORS; SPEEDUP;

COMPUTER ARCHITECTURE;

EID: 0024657427     PISSN: 07342071     EISSN: 15577333     Source Type: Journal    
DOI: 10.1145/63404.63405     Document Type: Article

References (50)

1. Anderson, J. R. The Architecture of Cognition. Harvard University Press, Cambridge, Mass., 1983.
2. Athas, W., AND Seitz, C. Multicomputers: message-passing concurrent computers. Computer 21, 8 (Aug. 1988), 9–24.
3. Brooks, R., AND Lum, R. Yes, an SIMD machine can be used for AI. In International Joint Conference on Artificial Intelligence (Los Angeles, Aug. 1985), pp. 73–79.
4. Brownston, L., Farrell, R., Kant, E., and Martin, N. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Reading, Mass., 1985.
5. Forgy, C., Gupta, A., Newell, A., and Wedig, R. Initial assessment of architectures for production systems. In National Conference for Artificial Intelligence (Austin, Tex., Aug. 1984). AAAI-1984, pp. 116–120.
6. Forgy, C. L. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artif. Intell 19, 1 (Sept. 1982), 17–37.
7. Forgy, C. L. The OPS83 Report. Tech. Rep. CMU-CS-84-133, Carnegie-Mellon Univ., Pittsburgh, May 1984.
8. Griesmer, J. H., Hong, S. J., Karnaugh, M., Kastner, J. K., Schor, M. I., Ennis, R. L., Klein, D. A., Milliken, K. R., and Van Woerkom, H. M. YES/MVS: A continuous real time expert system. In National Conference on Artificial Intelligence (Austin, Tex., Aug. 1984). AAAI-1984, pp. 130–136.
9. Gupta, A. Implementing OPS5 production systems on DADO. In International Conference on Parallel Processing. IEEE, New York, 1984, pp. 83–91.
10. Gupta, A. Parallelism in production systems. Ph.D. dissertation, Carnegie-Mellon Univ., Pittsburgh, March 1986.
11. Gupta, A., AND Tambe, M. Suitability of message passing computers for implementing production systems. In National Conference on Artificial Intelligence (St. Paul, Minn., Aug. 1988). AAAI-88, pp. 687–692.
12. Haley, P., Kowalski, J., McDermott, J., and McWhorter, R. PTRANS: A rule-based management assistant. Tech. Rep., Carnegie-Mellon Univ., Pittsburgh, 1983.
13. Hennessy, J. L., Jouppi, N., Przybylski, S., Rowen, C., and Gross, T. The MIPS machine. In Computer Conference, (Feb. 1982).
14. Hillis, D. W., and Steele, G. L., Jr. Data parallel algorithms. Commun. ACM. 29, 12 (Dec. 1986), 1170–1183.
15. Hillyer, B. K., and Shaw, D. E. Execution of OPS5 production systems on a massively parallel machine. Tech. Rep., Columbia Univ., Sept. 1984.
16. Irani, K. B., and Onyuksel, I. H. A closed-form solution for the performance analysis of multiple-bus multiprocessor systems. IEEE Trans. Comput. C-33, 11 (Nov. 1984), 1004–1012.
17. Kahn, G., and McDermott, J. The MUD system. In First Conference on Artificial Intelligence Applications, IEEE Computer Society and AAAI, Dec. 1984.
18. Katsuki D., et al. Pluribus—An operational fault-tolerant multiprocessor. Proc. IEEE 66, 10 (Oct. 1978).
19. Katz, R. H., Eggers, S. J., Wood, D. A., Perkins, C. L., and Sheldon, R. G. Implementing a cache consistency protocol. In Proceedings of 12th International Symposium on Computer Architecture (Boston, June 1985). IEEE, New York, 1985, pp. 276—283.
20. Kim, J., McDermott, J., and Siewiorek, D. TALIB: A knowledge-based system for IC layout design. In National Conference on Artificial Intelligence (Washington, D.C., Aug. 1983). AAAI-1983, pp. 197–201.
21. Kowalski, T., and Thomas, D. The VLSI design automation assistant: prototype system. In 20th Design Automation Conference (Miami, June 1983). ACM and IEEE, New York, 1983, pp. 479–483.
22. Laird, J. E. Universal subgoaling. Ph.D. dissertation, Carnegie-Mellon Univ., Pittsburgh, Dec. 1983.
23. Laird, J. E. Soar User's Manual. (4th ed.) Xerox PARC, 1986.
24. Lehr, T. F. The implementation of a production system machine. In Hawaii International Conference on System Sciences (Honolulu, Jan. 1986), pp. 177–186.
25. Marcus, S., McDermott, J., Roche, R., Thompson, T., Wang, T. and Wood, G. Design Document for VT. Carnegie-Mellon Univ., Pittsburgh, 1984.
26. McDermott, J. Rl: A rule-based configurer of computer systems. Tech. Rep. CMU-CS-80-119, Carnegie-Mellon Univ., Pittsburgh, April 1980.
27. McDermott, J. Rl: A rule-based configurer of computer systems. Artif. Intell. 19, 1 (1982), 39–88.
28. McDermott, J. XSEL: A computer salesperson's assistant. In Machine Intelligence, D. Michie, J. E. Hayes, and Y. H. Pao, eds., Horwood, 1982.
29. Miranker, D. P. TREAT: A new and efficient match algorithm for AI production systems. Ph.D. dissertation, Columbia Univ., New York, Jan. 1987.
30. Nayak, P., Gupta, A., and Rosenbloom, P. Comparison of the Rete and Treat production matchers for SOAR: A summary. In National Conference on Artificial Intelligence (St. Paul, Minn., Aug. 1988). AAAI-88, pp. 693–698.
31. Newell, A. HARPY, production systems and human cognition. Tech. Rep. CMU-CS-78-140, Carnegie-Mellon Univ., Pittsburgh, Sept. 1978.
32. Newell, A., and Simon, H. A. Human Problem Solving. Prentice-Hall, Englewood Cliffs, N.J., 1972.
33. Oflazer, K. Parallel execution of production systems. In International Conference on Parallel Processing (Aug. 1984). IEEE, New York, 1984, pp. 92–100.
34. Oflazer, K. Partitioning in parallel processing of production systems. Ph.D. dissertation, Carnegie-Mellon Univ., Pittsburgh, 1986.
35. Patterson, D. A., and Sequin, C. H. A VLSI RISC. Computer 9 (1982).
36. Quinlan, J. A comparative analysis of computer architectures for production system machines. In Hawaii International Conference on System Sciences (Honolulu, Jan. 1986), pp. 194–200.
37. Radin, G. The 801 minicomputer, IBM J. Res. Dev. 27 (May 1983).
38. Reed, B., Jr. The ASPRO parallel inference engine (P.I.E.): A real time production rule system. Goodyear Aerospace, 1985.
39. Rosenbloom, P. S. The Chunking of Goal Hierarchies: A Model of Stimulus-Response Compatibility. Ph.D. dissertation, Carnegie-Mellon Univ., Pittsburgh, Aug. 1983.
40. Rosenbloom, P. S., Laird, J. E., McDermott, J., Newell, A., and Orciuch, E. R1-Soar: An experiment in knowledge-intensive programming in a problem-solving architecture. In IEEE Workshop on Principles of Knowledge Based Systems, 1984.
41. Rudolph, L. and Segall, Z. Dynamic decentralized cache schemes for MIMD parallel processors. In International Symposium on Computer Architecture (Ann Arbor, Mich., June 1984), pp. 340–347.
42. Schreiner, F., and Zimmerman, G. Pesa-1—A parallel architecture for production systems. In International Conference on Parallel Processing (Pheasant Run, III., Aug. 1987), pp. 166–169.
43. Shaw, D. E. NON-VON's applicability to three AI task areas. In International Joint Conference on Artificial Intelligence (Los Angeles, Aug. 1985), pp. 61–72.
44. Stolfo, S. J. Five parallel algorithms for production system execution on the DADO machine. In National Conference on Artificial Intelligence (Austin, Tex., Aug. 1984). AAAI-1984, pp. 300–307.
45. Stolfo, S. J., AND Shaw, D. E. DADO: A tree-structured machine architecture for production systems. In National Conference on Artificial Intelligence (Pittsburgh, Pa., Aug. 1982). AAAI-1982, pp. 242–246.
46. Talukdar, S. N., Cardozo, E., Leao, L., Banares, R., and Joobbani, R. A system for distributed problem solving. In Workshop on Coupling Symbolic and Numerical Computing in Expert Systems (Aug. 1985).
47. Tenorio, M. F. M., and Moldovan, D. I. Mapping production systems in multiprocessors. In International Conference on Parallel Processing (Pheasant Run, III., Aug. 1985). IEEE, New York, 1985, pp. 56–62.
48. Umeyama, S., and Tamura, K. A parallel execution model of logic programs. In The 10th Annual International Symposium on Computer Architecture (Stockholm, June 1983). IEEE and ACM, New York, pp. 349–355.
49. Waltz, D. L. Applications of the connection machine. Computer 20, 1 (Jan. 1987).
50. Wilson, A., Jr. Hierarchical cache/bus architecture for shared memory multiprocessors. In International Symposium on Computer Architecture (Pittsburgh, Pa., June 1987), pp. 244–252.