Abstract
The use of production systems as the primary method for encoding knowledge in large knowledge-based systems is discussed at two levels; their suitability as an architecture that can be efficiently supported and their appropriateness as a language of expression. Questions of efficiency are posed in the framework of a broad class of pattern-directed rewrite systems. Factors governing efficiency are discussed informally, and the usefulness of production systems as an information processing abstraction is examined critically. In this regard, several problems suggested by work on lexically motivated inference are described. It is argued that the use of a particular class of production systems demands a more detailed justification in domain-specific terms than is often given.
Recommendations
A Reasoning Model Based on the Production of Acceptable Arguments
Argumentation is a reasoning model based on the construction of arguments and counter-arguments (or defeaters) followed by the selection of the most acceptable of them. In this paper, we refine the argumentation framework proposed by Dung by taking into ...
Production Systems: A Notation for Defining Syntax and Translation
This paper presents the formalism of Production Systems and investigates its applcation to defe the Syntax and trlation of programming languages. Several properties appear well-suited to this task: 1) the formalism can be used to specify exactly the ...
Production program generation in a flexible data dictionary system
VLDB '80: Proceedings of the sixth international conference on Very Large Data Bases - Volume 6A data dictionary system with a query compiler is implemented in a symbol manipulation language, separate from the underlying database system. The query compiler (or program generator) generates COBOL programs for database access. These programs are ...
Comments