Journal ArticleDOI
R1: a rule-based configurer of computer systems
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
Automatic conceptual design using experience-derived heuristics
TL;DR: The technique of Case-Informed Reasoning has been developed and applied to the task of fluid power circuit design, a configuration design task, and offers a practical approach to conceptual design automation in domains where design knowledge is lacking.
Journal ArticleDOI
The ADAM design planning engine
David Knapp,Alice C. Parker +1 more
TL;DR: In this article, the authors present a novel paradigm for managing the digital process in which abstract models of design tools are applied to abstract model of design states in a simulated or planning space, until a sequence of design tasks has been constructed to completion.
Knowledge Representation and Reasoning
TL;DR: Knowledge representation is at the very core of a radical idea for understanding intelligence as discussed by the authors, which is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed.
Journal ArticleDOI
Modeling and Solving Distributed Configuration Problems: A CSP-Based Approach
Dietmar Jannach,Markus Zanker +1 more
TL;DR: The use of Generative Constraint Satisfaction for knowledge modeling is advocated and it is shown in an experimental evaluation that the use of generic constraints is particularly advantageous also in the distributed problem solving phase.
Proceedings ArticleDOI
LES: A Layout Expert System
Youn-Long Lin,Daniel D. Gajski +1 more
TL;DR: An expert system for layout generation in a hierarchical VLSI design system applies a combination of rule- and algorithmic-based techniques on a new layout style and demonstrates its superiority against various standard-cell systems and its competitiveness with human designers.
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
C. Forgy,John McDermott +1 more
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
J. McDermott,C. Forgy +1 more
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
J. McDermott,C. Forgy +1 more
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.