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 2001
TL;DR: In this paper, a preliminary comparison of concepts for modelling variety and evolution in both fields is presented, showing remarkable similarities in these areas, but also leads to proposals on how results could be transferred from one area to the other.
Abstract: Software product families are an emerging and important area of software engineering, whereas product configuration of traditional products, i.e., mechanical and electronic, has a slightly longer history as a specific area of research and business. This paper presents a preliminary comparison of concepts for modelling variety and evolution in both fields. This comparison shows remarkable similarities in these areas, but also leads to proposals on how results could be transferred from one area to the other.
23 citations
Cites background from "R1: a rule-based configurer of comp..."
...Product configuration tasks and configurators have been investigated for at least two decades [McDermott, 1982]....
[...]
01 Mar 1994
TL;DR: This chapter characterizes human problem solving in digital circuit design, and argues that a comprehensive model of human design should integrate a variety of strategies, which heretofore have been proposed as individually sufficient models of humanDesign problem solving.
Abstract: : This chapter characterizes human problem solving in digital circuit design. We analyze protocols of designers with varying degrees of training, identifying problem solving strategies used by these designers, discuss activity patterns that differentiate designers, and propose these as a tentative basis for assessing expertise in digital design. Throughout, we argue that a comprehensive model of human design should integrate a variety of strategies, which heretofore have been proposed as individually sufficient models of human design problem solving. We close by describing an automated tool for design and its assessment. Assessment, Expertise, Design.
23 citations
TL;DR: It has been concluded that due to increasing automation requirements in manufacturing and the intensified organizational competitive environment, the decision making process itself will have to be automated and expert systems could be a vehicle in achieving this.
23 citations
Proceedings Article•
01 Jan 2000TL;DR: This paper shows how UML can be extended using the standardized extension mechanisms to fit the needs of the domain of knowledge-based product configuration and how the built-in expression language OCL can be employed to enhance the expressiveness of the conceptual models.
Abstract: The Unified Modeling Language (UML) is an emerging standard conceptual modeling language in Software Engineering processes. UML provides extension mechanisms (stereotypes) to adapt the general modeling language to specific application domains. In addition, UML comprises the standardized expression language Object Constraint Language (OCL) to model additional invariants. In this paper we show how UML can be extended using the standardized extension mechanisms to fit the needs of the domain of knowledge-based product configuration. Starting from a conceptual product model, we define the semantics of the employed extensions based upon a logic theory of configuration in a way that the resulting knowledge bases can be processed by a specialized inference engine. We show especially how the built-in expression language OCL can be employed to enhance the expressiveness of the conceptual models and how such expressions can be translated to the logical model. Finally, we describe a prototype implementation of the presented ideas based on commercial tools.
23 citations
Cites background from "R1: a rule-based configurer of comp..."
...There is a long history in developing configuration t ols in knowledge based systems [21] starting from early rulebased Systems (R1/XCON, [14]) to nowadays’ declarat ive knowledge representation....
[...]
...Starting from its rule-based origins [14] configura tion technology has progressed to other representation a nd solving mechanisms, e....
[...]
TL;DR: An illustrative look at two contemporary practice system engines-CAPS and Scrivener-and examines their relevance for AI-and-law researchers.
Abstract: Document assembly and other substantive legal practice applications are the most knowledge-intense forms of software now widely available in the legal technology marketplace. This article provides an illustrative look at two contemporary practice system engines-CAPS and Scrivener-and examines their relevance for AI-and-law researchers.
23 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
Proceedings Article•
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 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
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