scispace - formally typeset
Journal ArticleDOI

R1: a rule-based configurer of computer systems

John McDermott
- 01 Sep 1982 - 
- Vol. 19, Iss: 1, pp 39-88
Reads0
Chats0
TLDR
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.

read more

Citations
More filters
Journal ArticleDOI

Model Counting in Product Configuration

TL;DR: In this paper, the authors describe how to use propositional model counting for a quantitative analysis of product configuration data, which can be used to assess the severity of documentation errors or to measure documentation quality.
Book ChapterDOI

The roles of knowledge and representation in problem solving

TL;DR: This paper argues for the importance of distinguishing between the concepts of knowledge and representation, and describes advantages and pitfalls of using multiple knowledge sources and representations.
Journal ArticleDOI

Expert systems applications development research in business: A selected bibliography (1975–1989)

TL;DR: A comprehensive bibliography of the application of expert systems in business areas from 1975 through 1989 is provided and the top 21 journals that have published ES application articles as well as annual counts of those articles over the last 15 years are identified.
Journal ArticleDOI

Personalized diagnoses for inconsistent user requirements

TL;DR: A new algorithm (PersDiag) is introduced that allows the determination of personalized diagnoses for inconsistent user requirements in knowledge-based configuration scenarios and the results of an empirical study are presented that show the advantages of the approach in terms of prediction quality and efficiency.
Book ChapterDOI

KBE-Modeling Techniques in Standard CAD-Systems: Case Study—Autodesk Inventor Professional

TL;DR: Knowledge-Based Engineering (KBE) is a set of methods and algorithms that extends the approach of parametric modeling and implements design knowledge within CAD models and takes dimensioning formulas, design rules, and manufacturing restrictions into account.
References
More filters
Journal ArticleDOI

Rete: a fast algorithm for the many pattern/many object pattern match problem

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.
Journal ArticleDOI

Production rules as a representation for a knowledge-based consultation program

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.
Proceedings Article

OPS: a domain-independent production system language

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.
Book ChapterDOI

Production system conflict resolution strategies1

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.
Journal ArticleDOI

Production system conflict resolution strategies

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.