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.
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,770 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.
2,562 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.
1,001 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.
454 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