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
••
01 Jan 1996TL;DR: This paper proposes a pair of simple language extensions that allow an implementation to detect and eliminate redundant barrier synchronizations and indicates that speedups up to 115 fold relative to an optimized sequential version are possible.
Abstract: A rule-based program consists of a set of if-then rules and a tuple-space. The rules are the code for the program and the tuple-space contains the data being processed by the program. Previous e orts to parallelize rule-based programs have achieved limited speedups. The main reason for these disappointing results is a high frequency of barrier synchronizations. Since little work is done between successive barrier synchronizations, the number of processors that can be e ectively utilized is bounded. Even though required by language semantics, a large fraction of the barrier synchronizations are not necessary for most programs. This paper proposes a pair of simple language extensions that allow an implementation to e ciently detect and eliminate redundant barrier synchronizations. Simulation results based on a real implementation show that for a set of ve benchmarks, this scheme is able to eliminate between 95.6% and 99.9% of the barrier synchronizations. This results in a multiplicative speedup of between 2.2 and 52.3 fold over and above the speedup achieved by a parallelizing compiler. For the programs studied, simulations indicate that speedups up to 115 fold relative to an optimized sequential version are possible.
6 citations
••
TL;DR: An implemented system called CARPER is described that has been applied to an engineering database and demonstrates the viability of the hypothesis that models may be learned to describe attribute usage, and improves database consistency by serving as integrity constraints and definitions for computed attributes.
Abstract: Building a large-scale system often involves creating a large knowledge store, and as these grow and are maintained by a number of individuals, errors are inevitable. Exploring databases as a specialization of knowledge stores, this paper studies the hypothesis that models may be learned to describe attribute usage; these models improve database consistency by serving as integrity constraints and definitions for computed attributes. To that end, this paper describes an implemented system called CARPER that has been applied to an engineering database. The results demonstrate the viability of the approach and establish a baseline of performance for future research. Keywords: Database consistency, integrity constraints, computed attributes, decision tree learning.
6 citations
••
TL;DR: This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis and design problems.
Abstract: This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis and design problems.
6 citations
••
TL;DR: An expert system that designs crankcases without any intervention from the user (other than setting the problem by describing the mechanism to be encased) and relies mainly on the engineer's knowledge to infer solutions.
Abstract: ‘Carter’ is an expert system that designs crankcases without any intervention from the user (other than setting the problem by describing the mechanism to be encased). It uses several algorithmic black boxes (hamiltonian path in a graph, plate theory, finite elements etc.). To reduce the cost of these algorithms as much as possible, it relies mainly on the engineer's knowledge to infer solutions, or at least to set the boundary conditions and limit the search space. Such a knowledge base has been set up step by step with the help of an original PDIS dealing with productions written in natural language.
6 citations
••
01 Jun 1992TL;DR: This research attempts to develop a descriptive design model that accounts for communication among users, designers, and developers throughout the design process.
Abstract: The dominant approaches to information retrieval system design are based on rational theory and cognitive engineering. However, these theories as well as approaches in other disciplines, reviewed in this paper, do not account for communication, or interaction, among design participants which is critical to design outcomes. This research attempts to develop a descriptive design model that accounts for communication among users, designers, and developers throughout the design process. A pilot study has been completed and a preliminary model that represents a first step in understanding participants' evolving perceptions and expectations of the design process and its outcomes is described in this paper.
6 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
•
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 1978TL;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