OPS Systems And Reason Maintenance: The Nexus
28 Aug 1991-Vol. 3, pp 289-293
TL;DR: It is shown that the new architecture, called OPS91, can solve a wider class of problems and hence, is a better production system model for problem solving.
Abstract: OPS5, one of the widely used production system languages, offers many interesting facilities like structured representation of facts of a domain, nonmonotonic deduction etc. However, it suffers from some major drawbacks such as its inability to reason with revocable actions and handle dead ends and domain constraint violations. In this article, we present a new OPS architecture (called OPS91) which uses the RMS methodology to maintain reasons for actions performed, as a partial solution to the above problems. We show that the new architecture can solve a wider class of problems and hence, is a better production system model for problem solving. The OPS91 architecture is implemented in common LISP on a MicroVaxII work-static n and is currently being tested.
...read more
References
More filters
Book•
01 Jun 1972TL;DR: The aim of the book is to advance the understanding of how humans think by putting forth a theory of human problem solving, along with a body of empirical evidence that permits assessment of the theory.
Abstract: : The aim of the book is to advance the understanding of how humans think. It seeks to do so by putting forth a theory of human problem solving, along with a body of empirical evidence that permits assessment of the theory. (Author)
10,627 citations
TL;DR: The Rete Match Algorithm is an efficient method for comparing a large collection of patterns to a largeCollection of objects that finds all the objects that match each pattern.
Abstract: The Rete Match Algorithm is an efficient method for comparing a large collection of patterns to a large collection of objects. It finds all the objects that match each pattern. The algorithm was developed for use in production system interpreters, and it has been used for systems containing from a few hundred to more than a thousand patterns and objects. This article presents the algorithm in detail. It explains the basic concepts of the algorithm, it describes pattern and object representations that are appropriate for the algorithm, and it describes the operations performed by the pattern matcher.
2,533 citations
TL;DR: R1 is a program that configures VAX-11/780 computer systems and uses Match as its principal problem solving method; it has sufficient knowledge of the configuration domain and of the peculiarities of the various configuration constraints that at each step in the configuration process, it simply recognizes what to do.
Abstract: R1 is a program that configures VAX-11/780 computer systems. Given a customer's order, it determines what, if any, modifications have to be made to the order for reasons of system functionality and produces a number of diagrams showing how the various components on the order are to be associated. The program is currently being used on a regular basis by Digital Equipment Corporation's manufacturing organization. R1 is implemented as a production system. It uses Match as its principal problem solving method; it has sufficient knowledge of the configuration domain and of the peculiarities of the various configuration constraints that at each step in the configuration process, it simply recognizes what to do. Consequently, little search is required in order for it to configure a computer system.
985 citations
[...]
TL;DR: This is a combination introductory and reference manual for OPS5, a programming language for production systems used primarily for applications in the areas of artificial intelligence, cognitive psychology, and expert systems.
Abstract: : This is a combination introductory and reference manual for OPS5, a programming language for production systems. OPS5 is used primarily for applications in the areas of artificial intelligence, cognitive psychology, and expert systems. OPS5 interpreters have been implemented in LISP and BLISS.
452 citations
Proceedings Article•
11 Aug 1986TL;DR: An approach to applying the Assumption-based Truth Maintenance System to the task of representing the effects of actions, which extends traditional tree-structured context mechanisms to allow context merges and takes advantage of the underlying ATMS to detect inconsistent contexts and to maintain derived results.
Abstract: The Assumption-based Truth Maintenance System, introduced by de Kleer, is a powerful new tool for organizing a search through a space of alternatives. However, the ATMS is oriented towards inferential problem solving, and provides no special mechanisms for modeling actions or state changes. We describe an approach to applying the ATMS to the task of representing the effects of actions. The approach extends traditional tree-structured context mechanisms to allow context merges. It also takes advantage of the underlying ATMS to detect inconsistent contexts and to maintain derived results. Some results are presented concerning possible approaches to the treatment of merges in questionable circumstances. Finally, the analysis of actions in terms of a truth maintenance system suggests the need for a more elaborate treatment of contradiction in such systems than exists at present.
51 citations