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
Some Thoughts on.Configuration Processes
TL;DR: For example, for problem of building a software system from modules, the components are a modules; the ports are the variables which need values or provide values; the constraints are descriptions of the number and types of values needed, or constraints about the compatibility of one module with another.
Proceedings ArticleDOI
Configuration of alarm wireless sensor element
TL;DR: The paper addresses morphological (modular) design of a wireless sensor element as composition of the sensor element configuration from its component alternatives using a hierarchical four-level and-or tree model.
Journal ArticleDOI
Towards a knowledge-based design assistant
John Hunt,Mark Lee +1 more
TL;DR: It is suggested that an intelligent design assistant based upon the use of multiple models could be a useful approach to automating the evaluation stage of the design process for electromechanical subsystems.
Journal ArticleDOI
Hierarchical Expert System for Process Control
Dan Ionescu,Ioan Trif +1 more
TL;DR: The paper presents the design and implementation of a hierarchical structure embedding a complex family of experts for process control, each member of the expert system solves one of the control problems: from operator assistance to control algorithms synthesis.
Proceedings Article
A methodology for systematic verification of OPS5-based AI applications
TL;DR: This article focuses on OPS5-based AI applications and presents a methodology for verification which is based on compile-time analysis, based on the principle of converting the antecedent and action-parts of productions into a linear system of inequalities and equalities and testing them for a feasible solution.
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.