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
Book ChapterDOI
26 Sep 1995
TL;DR: In this paper, a framework for understanding the problem area of product configuration in a fairly wide sense by identifying a number of factors is presented, and ten actual case studies are carried out using the proposed framework.
Abstract: The design and production of goods that satisfy the special needs of individual customers are of central interest to the European industry. A major trend is to improve customer specific adaptation with configurable products. We are interested in the methods, practices and tools that support product configuration tasks. The research described in this paper is meant to guide our future work. We have 1) established a framework for understanding the problem area of product configuration in a fairly wide sense by identifying a number of factors and 2) carried out ten actual case studies using the proposed framework.

113 citations

Journal ArticleDOI
TL;DR: The role of parallelism in the high-speed execution of rule-based systems is examined and a suitable architecture to exploit fine-grain parallelism is a shared-memory multiprocessor with 32-64 processors, possible to obtain execution speeds of about 3800 rule-firings/set.
Abstract: Rule-based systems are widely used in artificial intelligence for modeling intelligent behavior and building expert systems. Most rule-based programs, however, are extremely computation intensive and run quite slowly. The slow speed of execution has prohibited the use of rule-based systems in domains requiring high performance and real-time response. In this paper we explore various methods for speeding up the execution of rule-based systems. In particular, we examine the role of parallelism in the high-speed execution of rule-based systems and study the architectural issues in the design of computers for rule-based systems. Our results show that contrary to initial expectations, the speed-up that can be obtained from parallelism is quite limited, only about tenfold. The reasons for the small speed-up are: (1) the small number of rules relevant to each change to data memory; (2) the large variation in the processing requirements of relevant rules; and (3) the small number of changes made to data memory between synchronization steps. Furthermore, we observe that to obtain this limited factor of tenfold speed-up, it is necessary to exploit parallelism at a very fine granularity. We propose that a suitable architecture to exploit such fine-grain parallelism is a shared-memory multiprocessor with 32-64 processors. Using such a multiprocessor, it is possible to obtain execution speeds of about 3800 rule-firings/set. This speed is significantly higher than that obtained by other proposed parallel implementations of rule-based systems.

110 citations

Journal ArticleDOI
TL;DR: A general framework for a living design memory is developed, a design memory tool is built, and the tool is deployed in a large software development organization to help ensure that its knowledge evolves as necessary.
Abstract: We identify an important type of software design knowledge that we call community-specific folklore and discuss problems with current approaches to managing it. We developed a general framework for a living design memory, built a design memory tool, and deployed the tool in a large software development organization. The tool effectively disseminates knowledge relevant to local software design practice. It is embedded in the organizational process to help ensure that its knowledge evolves as necessary. This work illustrates important lessons in building knowledge management systems, integrating novel technology into organizational practice, and carrying out research-development partnerships.

110 citations


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

  • ...These systems contain a knowledge base and a reasoning component that computes the desired inferences, e.g., relating patient symptoms to disease classifications (Shortliffe, 1976) or customer computer orders to a configuration diagram (McDermott, 1982)....

    [...]

Journal ArticleDOI
TL;DR: ROGET conducts a dialogue with the expert to acquire the expert system's conceptual structure, a representation of the kinds of domain-specific inferences that the consultant will perform and the facts that will support these inferences.
Abstract: This paper describes ROGET, a knowledge-based system that assists a domain expert with an important design task encountered during the early phases of expert-system construction. ROGET conducts a dialogue with the expert to acquire the expert system's conceptual structure, a representation of the kinds of domain-specific inferences that the consultant will perform and the facts that will support these inferences. ROGET guides this dialogue on the basis of a set of advice and evidence categories. These abstract categories are domain independent and can be employed to guide initial knowledge acquisition dialogues with experts for new applications. This paper discusses the nature of an expert system's conceptual structure and describes the organization and operation of the ROGET system that supports the acquisition of conceptual structures.

109 citations


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

  • ...Experience constructing expert systems [8-10] reveals that the identification of the vocabulary of a problem representation dominates the early knowledge acquisition dialogues between knowledge engineers'and their experts....

    [...]

01 May 1991
TL;DR: A major source of inefficiency in automated problem solvers is their inability to decompose problems and work on the more difficult parts first, which can be addressed by employing a hierarchy of abstract problem spaces to focus the search.
Abstract: : A major source of inefficiency in automated problem solvers is their inability to decompose problems and work on the more difficult parts first. This issue can be addressed by employing a hierarchy of abstract problem spaces to focus the search. Instead of solving a problem in the original problem space, a problem is first solved in an abstract space, and the abstract solution is then refined at successive levels in the hierarchy. While this use of abstraction can significantly reduce search, it is often difficult to find good abstractions, and the abstractions must be manually engineered by the designer of a problem domain.

109 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