Control requirements for the design of production system architectures

ABSTRACT

Programs in the artificial intelligence domain impose unusual requirements on control structures. Production systems are a control structure with promising attributes for building, generally intelligent systems with large knowledge bases. This paper presents examples to illustrate the unusual position taken by production systems on a number of control and pattern-matching issues. Examples are chosen to illustrate certain powerful features and to provide critical tests which might be used to evaluate the effectiveness of new designs.

References

1. 1.Bobrow, D. G. and Raphael, B. R., 1974. "New programming languages for artificial intelligence research", Computing Surveys, Vol. 6:3, pp. 153-174.
2. 2.Buchanan, B. G. and Sridharan, N. S., 1973. "Analysis of behavior of chemical molecules: Rule formation on non-homogeneous classes of objects", Proc. Third International Joint Conference on Artificial Intelligence, pp. 67-76. Also Stanford Al Memo 215, Stanford University Computer Science Department.
3. 3.Davis, R., Buchanan, B. and Shortliffe, E., 1975. "Production rules as a representation for a knowledge-based consultation program", Report STAN-CS-75-519, Memo AIM-266. Stanford, CA: Stanford University, Computer Science Department.
4. 4.Davis, R. and King, J., 1975. "An overview of production systems", Report STAN-CS-75-524, Memo AIM-271. Stanford, CA: Stanford University, Computer Science Department.
5. 5.Ivans, A., 1964. "An ALGOL 60 compiler", in Goodman, R., Ed., Annual Review of Automatic Programming, Vol. 4, pp. 87-124. New York, NY: Pergamon Press.
6. 6.Forgy, C. and McDermott, J., 1976. "The OPS reference manual", Pittsburgh, PA: Carnegie-Mellon University, Department of Computer Science.
7. 7.McDermott, J. and Forgy, C., 1977. "Production system conflict resolution strategies", in D. A. Waterman and F. Hayes-Roth, Eds., Pattern-Directed Inference Systems, New York, NY: Academic Press. Forthcoming.
8. 8.Minsky, M., 1967. Computation: Finite and Infinite Machines, Englewood Cliffs, NJ: Prentice-Hall. Chapter 12.
9. 9.Newell, A., 1972. "A theoretical exploration of mechanisms for coding the stimulus", in Mellon, A. W. and Martin, E., Eds., Coding Processes in Human Memory, pp. 373-434. Washington, DC: Winston and Sons.
10. 10.Newell, A. and Simon, H. A., 1972. Human Problem Solving, Englewood Cliffs, NJ: Prentice-Hall.
11. 11.Rychener, M. D., 1976. "Production systems as a programming language for artificial intelligence, applications", Pittsburgh, PA: Carnegie-Mellon University, Department of Computer Science.
12. 12.Waterman, D. A., 1970. "Generalization learning techniques for automating the learning of heuristics", Al, Vol. 1, pp. 121-170.

Index Terms

• Computing methodologies

  • Artificial intelligence

    • Knowledge representation and reasoning

  • Machine learning

    • Machine learning approaches

      • Rule learning

• Information systems

  • Information systems applications

    • Decision support systems

      • Expert systems

• Software and its engineering

  • Software notations and tools

    • General programming languages

      • Language features

        • Control structures