A Framework for Control in Production Systems

A formal scheme for representing control in production systems is defined. The scheme allows control to be directly specified independently of conflict resolution and thus allows the issues of control and nonde terminisim to be treated separately. Unlike previous approaches, it allows control to be examined within a uniform and consistent framework. It is shown that the scheme provides a basis for implementing control constructs which, unlike existing schemes, retain all the properties desired of a knowledge based system--modularity, flexibility, extensibility and adaptive capacity. Within the formalism it is also possible to provide a meaningful notion of the power of control constructs. This enables the types of control required in production systems to be examined and the capacity of various schemes to meet these requirements to be determined.

[1]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[2]  Randall Davis,et al.  Distributed Problem Solving: The Contract Net Approach , 1978 .

[3]  W. Eric L. Grimson,et al.  Annotated Production Systems: A Model for Skill Acquisition , 1977, IJCAI.

[4]  Carl Hewitt,et al.  Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[5]  Randall Davis,et al.  An overview of production systems , 1975 .

[6]  Michael D. Rychener.  Control requirements for the design of production system architectures , 1977 .

[7]  Randall Davis.  Generalized procedure calling and content-directed invocation , 1977, SIGART Newsl..

[8]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[9]  Douglas B. Lenat,et al.  Less Than General Production System Architectures , 1977, IJCAI.

[10]  Jay C. Earley,et al.  Generating a recognizer for a BNF grammar , 1965 .

[11]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[12]  Randall Davis,et al.  Interactive Transfer of Expertise: Acquisition of New Inference Rules , 1993, IJCAI.

[13]  Douglas B. Lenat,et al.  Automated Theory Formation in Mathematics , 1977, IJCAI.

[14]  William A. Woods,et al.  Computational Linguistics Transition Network Grammars for Natural Language Analysis , 2022 .

[15]  Drew McDermott,et al.  Flexibility and Efficiency in a Computer Program for Designing Circuits , 1976 .

[16]  Bruce G. Buchanan,et al.  Meta-Level Knowledge: Overview and Applications , 1977, IJCAI.

[17]  Michael J. Fischer,et al.  Grammars with Macro-Like Productions , 1968, SWAT.

[18]  Donald A. Waterman,et al.  Adaptive Production Systems , 1975, IJCAI.

[19]  Patrick J. Hayes,et al.  In Defense of Logic , 1977, IJCAI.