scispace - formally typeset
Search or ask a question
Journal ArticleDOI

R1: a rule-based configurer of computer systems

01 Sep 1982-Artificial Intelligence (Elsevier)-Vol. 19, Iss: 1, pp 39-88
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
Journal ArticleDOI
TL;DR: SeeK as discussed by the authors is a system that provides a unified design framework for building and empirically verifying an expert system knowledge base using case experience, in the form of stored cases with known conclusions, to interactively guide the expert in refining the rules of a model.

144 citations

Journal ArticleDOI
TL;DR: This paper gives a comprehensive account of BIS: the formalization of the business processes underlying its construction, the modifications of satisfiability-checking technology the authors found necessary in this context, and the software technology used to package the product as a client–server information system.
Abstract: In the automotive industry, the compilation and maintenance of correct product configuration data is a complex task. Our work shows how formal methods can be applied to the validation of such business critical data. Our consistency support tool BIS works on an existing database of Boolean constraints expressing valid configurations and their transformation into manufacturable products. Using a specially modified satisfiability checker with an explanation component, BIS can detect inconsistencies in the constraints set and thus help increase the quality of the product data. BIS also supports manufacturing decisions by calculating the implications of product or production environment changes on the set of required parts. In this paper, we give a comprehensive account of BIS: the formalization of the business processes underlying its construction, the modifications of satisfiability-checking technology we found necessary in this context, and the software technology used to package the product as a client–server information system.

143 citations


Cites background or methods from "R1: a rule-based configurer of comp..."

  • ...A lot of different schemes for product configuration have been suggested in the literature [25, 10], starting with McDermott’s work on R1 [ 20 ] and Digital’ s XCON [1], both systems for computer system configuration....

    [...]

  • ...Product configuration plays a key role in markets for highly complex products such as, e.g., in the automotive or computer industry [ 20 , 10]....

    [...]

  • ...Product configuration plays a key role in markets for highly complex products such as in the automotive or computer industry~McDermott, 1982; Günter & Kühn, 1999!....

    [...]

  • ...A lot of different schemes for product configuration have been suggested in the literature~Sabin & Weigel, 1998; Günter & Kühn, 1999!, starting with McDermott’s work on R1 ~McDermott, 1982! and Digital’s XCON ~Barker & O’Connor, 1989!, two systems for computer system configuration....

    [...]

Book
01 Jan 1987
TL;DR: The progression of the research, how theories from these fields are combined in a computational model are described, and some questions coming out of the work might suggest possible collaboration with other fields of research are presented.
Abstract: Over the past 6 years we have been developing a computer program to teach medical diagnosis. Our research synthesizes and extends results in artlficlal intelligence (Al), medicine, and cognitive psychology. This paper describes the progression of the research, and explalns how theories from these fields are combined in a computational model. The general problem has been to develop an "intelligent tutoring system" by adapting the MYCIN "expert system." Thls conversion requires a deeper understanding of the nature of expertise and explanatlon than origlnally requlred for developlng MYCIN, and a concomitant shift in perspective from slmple performance goals to attaining psychologlcal validity in the program''s reasoning process. Others have written extensively about the relatlon of artificlal intelligence to cognltive sclence (e.g., [Pylyshyn, 1978] [Boden, 1977]). Our purpose here is not to repeat those arguments, but to present a case study which will provide a common point for further dlscusslon. To this end, to help evaluate the state of cognitive science, we will outline our methodology and survey what resources and viewpoints have helped our research. We will also discuss pitfalls that other Al-oriented cognitive scientists may encounter. Finally, we will present some questions coming out of our work whlch might suggest possible collaboration with other fields of research.

139 citations

Book ChapterDOI
18 Jan 1999
TL;DR: It is shown that CSP and dynamic CSP can be embedded in the proposed language which seems to be more suitable for representing configuration knowledge.
Abstract: A rule-based language is proposed for product configuration applications. It is equipped with a declarative semantics providing formal definitions for main concepts in product configuration, including configuration models, requirements and valid configurations. The semantics uses Horn clause derivability to guarantee that each element in a configuration has a justification. This leads to favorable computational properties. For example, the validity of a configuration can be decided in linear time and other computational tasks remain in NP. It is shown that CSP and dynamic CSP can be embedded in the proposed language which seems to be more suitable for representing configuration knowledge. The rule language is closely related to normal logic programs with the stable model semantics. This connection is exploited in the first implementation which is based on a translator from rules to normal programs and on an existing high performance implementation of the stable model semantics, the Smodels system.

139 citations


Additional excerpts

  • ...[10,15,1,8])....

    [...]

Proceedings Article
18 Aug 1980
TL;DR: Rl is a rule-based system that has much in common with other domain-specific systems that have been developed over the past several years, but differs from these systeins primarily in its use of Match rather than Generate-and-Test as its central problem solving method.
Abstract: INTRODUCTION. Rl* is a rule-based system that has much in common with other domain-specific systems that have been developed over the past several years [l, 81. It differs from these systeins primarily in its use of Match rather than Generate-and-Test as its central problem solving method [2]; rather than exploring several hypotheses until an acceptable one is found, it exploits its knowledge of its task domain to generate a single acceptable solution. Rl’s domain of expertise is configuring Digital Equipment Corporation’s VAX-l l/780 systems. Its input is a customer’s order and its output is a set of diagrams displaying the spatial relationships among the components on the order; these diagrams are used by the technician who physically assembles the system. Since an order frequently lacks one or more components required for system functionality, a major part of Rl’s task is to notice what components are missing and add them to the order. Rl is currently being used on a regular basis by DEC’s manufacturing organization.3

134 citations

References
More filters
Journal ArticleDOI
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

Journal ArticleDOI
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 1977
TL;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

Book ChapterDOI
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

Journal ArticleDOI
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