R1: a rule-based configurer of computer systems
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.
About: This article is published in Artificial Intelligence.The article was published on 1982-09-01. It has received 1001 citations till now. The article focuses on the topics: Configuration Management (ITSM) & Knowledge-based configuration.
Citations
More filters
TL;DR: This paper describes some of the experience gathered during the development of an expert system, the press lineup advisor, in which the commercially available expert system development tool, S.1.™ was used.
Abstract: This paper describes some of our experience gathered during the development of an expert system, the press lineup advisor, in which we used the commercially available expert system development tool, S.1.™ Discussion includes: (1) how we used S. l to develop a system which solves a configuration problem; (2) difficulties we encountered when applying S.1 to this specific reasoning problem; (3) limitations of S.1 from both problem-solving and operational points of view and (4) issues remaining to be solved with respect to generalization of the system.
3 citations
TL;DR: A diagnostic system designed to advise on the likely causes of sanitary problems with public water sources based on actual water survey data, with a weighting scheme designed to highlight causes of health risks approximately in reverse order of importance.
Abstract: We have implemented a diagnostic system designed to advise on the likely causes of sanitary problems with public water sources. The approach to the problem makes extensive use of rule based expert systems and multi media information (maps, data, text, expert knowledge). The rules were based on actual water survey data, with a weighting scheme designed to highlight causes of health risks approximately in reverse order of importance (where such order may be presumed to exist). Out put is a vailable in one of several languages.
3 citations
3 citations
01 Jul 1993
TL;DR: An analytical method for evaluating the processing time of forward-chaining rule-based systems is proposed and an upper bound based on this system model is developed, if the upper bound stays within the time available for planning the operational or control task.
Abstract: For real-time applications of expert systems, success depends on the computational efficiency of the implementation. In this study, we propose an analytical method for evaluating the processing time of forward-chaining rule-based systems. An upper bound based on this system model is developed. If the upper bound stays within the time available for planning the operational or control task, the expert system would be able to complete the rule-processing in time. To compute the upper bound, the worst case working memory element sets are obtained for each functional step of the matching procedure. The worst case time for rule selection in the conflict resolution step is also derived. The maximal number of firings for each rule is considered in order to arrive at a bound for total processing time. Numerical examples are presented which point out the importance of rule and data structures in the efficient implementation of rule-based systems.
3 citations
Cites background from "R1: a rule-based configurer of comp..."
...Among the best known of the early ES is R1 [14], developed for configuring VAX computers....
[...]
TL;DR: This paper introduces design problem solving by functional abstraction which follows the motto: construct a poor solution with little search, which then must be repaired, and operationalized the paradigm by the combination of several high-level techniques.
Abstract: This paper is about tool support for knowledge-intensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical systems. There is a long tradition in automated design problem solving in the field of artificial intelligence, where, especially in the early stages, the search paradigm dictated many approaches. Later, in the so-called modern period, a better problem understanding led to the development of more adequate problem solving techniques. However, search still constitutes an indispensable part in computer-based design problem solving—albeit many human problem solvers get by without (almost). We tried to learn lessons from this observation, and one is presented in this paper. We introduce design problem solving by functional abstraction which follows the motto: construct a poor solution with little search, which then must be repaired. For the domain of fluidic engineering we have operationalized the paradigm by the combination of several high-level techniques. The red thread of this paper is design automation, but the presented technology does also contribute in the following respects: (a) productivity enhancement by relieving experts from auxiliary and routine tasks; (b) formulation, exchange, and documentation of knowledge about design; (c) requirements engineering, feasibility analysis, and validation.
3 citations
References
More filters
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: The MYCIN system has begun to exhibit a high level of performance as a consultant on the difficult task of selecting antibiotic therapy for bacteremia and issues of representation and design for the system are discussed.
619 citations
Proceedings Article•
22 Aug 1977TL;DR: Some of the issues that bear on the design of production system languages are explored and the adequacy of OPS is tried to show for its intended purpose.
Abstract: It has been claimed that production systems have several advantages over other representational schemes. These include the potential for general self-augmentation (i.e., learning of new behavior) and the ability to function in complex environments. The production system language, OPS, was implemented to test these claims. In this paper we explore some of the issues that bear on the design of production system languages and try to show the adequacy of OPS for its intended purpose.
173 citations
01 Jan 1978
TL;DR: In this article, the authors explore the role of conflict resolution in providing support for production systems designed to function and grow in environments that make large numbers of different, sometimes competing, and sometimes unexpected demands.
Abstract: Production systems designed to function and grow in environments that make large numbers of different, sometimes competing, and sometimes unexpected demands require support from their interpreters that is qualitatively different from the support required by systems that can be carefully hand crafted to function in constrained environments. In this chapter we explore the role of conflict resolution in providing such support Using criteria developed here, we evaluate both individual conflict resolution rules and strategies that make use of several rules.
102 citations
TL;DR: The role of conflict resolution in providing support for production systems designed to function and grow in environments that make large numbers of different, sometimes competing, and sometimes unexpected demands is explored.
Abstract: Production systems designed to function and grow in environments that make large numbers of different, sometimes competing, and sometimes unexpected demands require support from their interpreters that is qualitatively different from the support required by systems that can be carefully hand crafted to function in constrained environments. In this paper we explore the role of conflict resolution in providing such support. Using criteria developed in the paper, we evaluate both individual conflict resolution rules and strategies that make use of several rules.
102 citations