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 chapter describes a technique for the construction of the knowledge base of a diagnostic expert system that integrates failure-driven learning and explanation-based learning.
Abstract: This chapter describes a technique for the construction of the knowledge base of a diagnostic expert system. Diagnosis heuristics (i.e., efficient rules that encode empirical associations between atypical device behavior and device failures) are learned from information implicit in device models. This approach is desirable since less effort is required to obtain information about device functionality and connectivity to define device models than to encode and debug diagnosis heuristics provided by a domain expert. This approach to learning integrates failure-driven learning and explanation-based learning.
8 citations
TL;DR: A major conclusion is that a significant degree of cognitive emulation is an inherent feature of design, but that an unselective application of the strategy is both unrealistic and undesirable.
Abstract: Cognitive emulation is an expert System design strategy which attempts to model System performance on human (expert) thinking. Arguments for and against cognitive emulation are reviewed. A major conclusion is that a significant degree of cognitive emulation is an inherent feature of design, but that an unselective application of the strategy is both unrealistic and undesirable. Pragmatic considerations which limit or facilitate the viability of a cognitive emulation approach are discussed. Particular attention is given to the conflict between cognitive emulation and established knowledge engineering objectives, detailed over 12 typical expert System features. The paper suggests circum-stances in which a strategy of cognitive emulation is useful.
8 citations
TL;DR: The shared expertise model (SEM) of interaction between a human designer and a knowledge-based design assistant is presented, in which the design assistant behaves as an apprentice and a collaborator in the design process.
8 citations
TL;DR: This work presents LoCo, a fragment of classical first-order logic carefully tailored for expressing technical product configuration problems, and presents the language, related algorithms, and complexity results as well as a prototypical implementation via answer set programming.
Abstract: In this work, we present LoCo, a fragment of classical first-order logic carefully tailored for expressing technical product configuration problems. The core feature of LoCo is that the number of components used in configurations does not have to be finitely bounded explicitly, but instead is bounded implicitly through the axioms. Computing configurations is equivalent to the task of model finding. We present the language, related algorithms, and complexity results as well as a prototypical implementation via answer set programming.
8 citations
Cites background from "R1: a rule-based configurer of comp..."
...Solving such con.guration problems is one of the major success stories of applied AI research: the early work on using rule-based con.gurators for customizing computers [McDermott 1982] is generally seen as the .eld s starting point....
[...]
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