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
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

The KB paradigm and its application to interactive configuration

TL;DR: The principles and feasibility of the KB paradigm are analyzed in the context of an important class of applications: interactive configuration problems, where a configuration of interrelated objects under constraints is searched and the system assists the user in reaching an intended configuration.
Proceedings ArticleDOI

Semantic Rule Based Text Generation

TL;DR: A semantically oriented, rule based method for single sentence text generation and its implementation in the Kafka generator, part of the XCALIBUR natural language interface developed at CMU to provide natural language facilities for a wide range of expert systems and data bases is presented.
Journal ArticleDOI

A first-order logic for reasoning under uncertainty using rough sets

TL;DR: The authors develop a set of symbolic truth values based upon rough sets which may be used to augment predicate logic, and provide methods for combining these truth values so that they may be propagated when augmented logic formulae are used in automated reasoning.
Journal ArticleDOI

Table-driven rules in expert systems

TL;DR: Relational table techniques provide additional abstraction capabilities and are useful in extending the expressiveness of production system rules; the resulting systems can be easier to build, understand and debug because they can reflect more accurately human methods of reasoning.
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.