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
Proceedings Article
12 Jul 1992
TL;DR: The examination of performance shows that asynchronous execution is clearly faster than synchronous execution and that the locking method is somewhat faster than the method using compiled tests, and it is predicted that the synchronization and/or locking needed to guarantee serializability will limit speedup no matter how many processors are used.
Abstract: To speed up production systems, researchers have developed parallel algorithms that execute multiple instantiations simultaneously. Unfortunately, without special controls, such systems can produce results that could not have been produced by any serial execution. We present and compare three different algorithms that guarantee a serializable result in such systems. Our goal is to analyze the overhead that serialization incurs. All three algorithms perform synchronization at the level of instantiations, not rules, and are targeted for shared-memory machines. One algorithm operates synchronously while the other two operate asynchronously. Of the latter two, one synchronizes instantiations using compiled tests that were determined from an omine analysis while the other uses a novel locking scheme that requires no such analysis. Our examination of performance shows that asynchronous execution is clearly faster than synchronous execution and that the locking method is somewhat faster than the method using compiled tests. Moreover, we predict that the synchronization and/or locking needed to guarantee serializability will limit speedup no matter how many processors are used.

4 citations

Proceedings ArticleDOI
23 Oct 1989
TL;DR: A process trellis shell, which implements most of the features of the process Trellis software architecture, is being used for an intelligent cardiovascular monitor that is intended for eventual use in a cardiac intensive care unit.
Abstract: The process trellis software architecture aids the programmer in building intelligent monitors for hierarchical domains by providing a way to guarantee real-time performance, structuring the interactions between modules, guiding the decomposition of the computation, and providing a well-defined interface with the external world. There is a natural parallel execution strategy for these decision processes which enables programs that would otherwise be unable to meet their real-time constraints to do so and permits speedup of programs without real-time constraints. One way to demonstrate a software architecture's utility is by an existence proof; HEARSAY-II is such a proof for blackboard architectures. While still a research project, a process trellis shell, which implements most of the features of the process trellis software architecture, is being used for an intelligent cardiovascular monitor that is intended for eventual use in a cardiac intensive care unit. >

4 citations


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

  • ...Production rule architectures have been used in a wide variety of applications, e.g. MYCIN [8], R1 [ 22 ], VM [13], etc....

    [...]

Proceedings ArticleDOI
31 May 1994
TL;DR: This work uses an Artificial Intelligence knowledge representation scheme for developing an ontology of the software components to facilitate their classification and retrieval and illustrates the application of principled domain modeling using two real world applications of knowledge-based systems.
Abstract: Software reuse is widely believed to be a key to improving software productivity and quality in conventional software. In expert systems, much of the knowledge has been compiled (i.e., compressed and restricted into effective procedures) and this makes reusability difficult. One of the issues in modeling expert systems for enhanced reusability is capturing explicity the underlying problem solving designs. Principled knowledge representation schemes have been used to model components of complex software systems. However, the potential for applying these principled modeling techniques for explicitly capturing the problem solving designs of expert systems has not been fully explored. To overcome this omission, we use an Artificial Intelligence knowledge representation scheme for developing an ontology of the software components to facilitate their classification and retrieval. The application of our ontological approach is of both theoretical and practical significance. This method facilitates the reuse of high-level design. We illustrate the application of principled domain modeling using two real world applications of knowledge-based systems.

4 citations


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

  • ...R1 is a large rule-based expert system that configures Digital Equipment Corporation’s (DEC) VAX-11 and PDP-11 computer systems [ 21 ]....

    [...]

Journal ArticleDOI
TL;DR: This paper will discuss how the expert system approach is used to integrate the quality judgement process into the production process, and bring the factory one step further toward total CIM.
Abstract: True computer-integrated manufacturing requires that many links between factory processes become more automated, more computerized, and more intelligent. Many links between processes, however, are based on human judgement, experience, and intuition. These are naturally difficult tasks to automate, but the advent of artificial intelligence, and specifically expert system programming, has made such links possible. This paper presents a research effort toward one of these links, that of quality control judgements of ongoing processes. The use of expert system programming, combined with in-process metrology and system integration, allows the factory to be more fully automated and computer-integrated, resulting in higher precess precision and lower production errors. This paper will discuss how the expert system approach is used to integrate the quality judgement process into the production process, and bring the factory one step further toward total CIM.

4 citations

Journal ArticleDOI
01 Dec 1989
TL;DR: Through this architecture, the number of comparisons required during the antecedent matching phase, is significantly reduced and the flow of inferencing can also proceed in a pipelined manner resulting in faster inferences.
Abstract: This paper presents an architecture of the inference machine for a rule based expert system. The paper, structured around the concept of “inference flow graphs”, is aimed at incorporating parallelism in antecedent matching to find out the firable rules as well as firing more than one rule simultaneously, whenever required. Through this architecture, the number of comparisons required during the antecedent matching phase, is significantly reduced. The flow of inferencing can also proceed in a pipelined manner resulting in faster inferences.

4 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