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
Proceedings Article•
24 Aug 1991TL;DR: This article focuses on OPS5-based AI applications and presents a methodology for verification which is based on compile-time analysis, based on the principle of converting the antecedent and action-parts of productions into a linear system of inequalities and equalities and testing them for a feasible solution.
Abstract: One of the critical problems in putting AI applications into use in the real world is the lack of sufficient formal theories and practical took that aid the process of reliability assessment. Adhoc testing, which is widely used as a means of verification, serves limited purpose. A need for systematic verification by compile-time analysis exists. In this article, we focus our attention on OPS5-based AI applications and present a methodology for verification which is based on compile-time analysis. The methodology is based on the principle of converting the antecedent and action-parts of productions into a linear system of inequalities and equalities and testing them for a feasible solution. The implemented system, called SVEPOA, supports interactive and incremental analysis.
7 citations
10 Nov 1991
TL;DR: A description is presented of PLANET, a tool that provides such a facility along with a set of planning primitives, with which a user can represent the plan logic, formulate plan strategies, and generate explanations within a RMS framework.
Abstract: Realistic planning must be viewed as an iteration of plan search, explanation generation, and observation. A framework that provides an ideal representation for all these purposes is the reason maintenance system (RMS). In order to capture all aspects of planning, the RMS must be able to model the functionality of the heuristic layer, the plan layer, and the domain layer in the dependency network. A description is presented of PLANET, a tool that provides such a facility along with a set of planning primitives, with which a user can represent the plan logic, formulate plan strategies, and generate explanations within a RMS framework. >
3 citations
Proceedings Article•
01 Jan 1991
2 citations
27 May 1991
TL;DR: A framework for representation of activities and time in the form of a dependency network that enables integration of temporal reasoning along with causal reasoning among activities.
Abstract: This paper focuses on reasoning with action and time. A framework for representation of activities and time in the form of a dependency network is discussed. While in earlier works an RMS framework has been used for representing actions, our framework captures temporal knowledge also in the network in terms of relations between intervals. This framework thus enables integration of temporal reasoning along with causal reasoning among activities. An algorithm for truth propagation in such a network has been applied to a specific domain and an example illustrating its use in temporal and causal reasoning is provided. Abstraction of activities and states has been done by defining abstract temporal intervals and thus layering the knowledge into various levels. Some relational abstractions which are useful in describing the temporal relationships among activities and facts have also been defined.
1 citations