Formal languages
Transition network grammars for natural language analysis
Communications of the ACM
Control requirements for the design of production system architectures
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Generalized procedure calling and content-directed invocation
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Flexibility and Efficiency in a Computer Program for Designing Circuits
Flexibility and Efficiency in a Computer Program for Designing Circuits
A framework for control in production systems
A framework for control in production systems
Hi-index | 0.00 |
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.