scispace - formally typeset
Search or ask a question
Journal Article•DOI•

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 Article•DOI•
TL;DR: An algorithm for executing production systems expressed in the OPS5 language on a massively parallel multiple-SIMD machine called NON-VON, portions of which are currently under construction at Columbia University, and predicts an execution rate of more than 850 production firings per second.

46 citations

Journal Article•DOI•
TL;DR: The applicability of three such tools - OPS5, SRL, and PROLOG - to engineering design is described and overviews of knowledge-based expert systems and various problem solving strategies are provided.

46 citations

Journal Article•DOI•
TL;DR: This paper describes and evaluates approaches to model and solve technical product configuration problems using different artificial intelligence methodologies and a flexible software architecture for integrating different solvers in a product configurator is proposed.
Abstract: This paper describes and evaluates approaches to model and solve technical product configuration problems using different artificial intelligence methodologies. By means of a typical example, the benefits and limitations of different artificial intelligence methods are discussed and a flexible software architecture for integrating different solvers in a product configurator is proposed.

46 citations


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

  • ...Product configurators have a long history in artificial intelligence (AI; Sabin & Weigel, 1998; Felfernig, 2007), the first and most famous example being the rule-based configurator R1/XCON system (McDermott, 1982) for DEC-Computer....

    [...]

Proceedings Article•
20 Aug 1989
TL;DR: In this article, a general abstraction method called impasse-driven abstraction is presented, and evaluated experimentally, which is able to provide necessary assistance to both problem solving and learning.
Abstract: ion has proven to be a powerful tool for controlling the combinatorics of a problemsolving search. It is also of critical importance for learning systems. In this article we present, and evaluate experimentally, a general abstraction method -- impasse-driven abstraction - which is able to provide necessary assistance to both problem solving and learning. It reduces the amount of time required to solve problems, and the time required to learn new rules. In addition, it results in the acquisition of rules that are more general than would have otherwise been learned.

45 citations

References
More filters
Journal Article•DOI•
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 Article•DOI•
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 Chapter•DOI•
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 Article•DOI•
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