Journal ArticleDOI
R1: a rule-based configurer of computer systems
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
A Product Configuration Optimization Method Based on Non-Dominated Sorting Genetic Algorithm
Wei Hong Sun,W.C. Lu,D.Y. Lin +2 more
TL;DR: The model of multi-objective product configuration optimization is established, and hierarchical analysis is made for configuration design by comparing the similarity and integrity of requirement and instance, and the sequence of retrieval instances is given according to the reuse degree.
How to evaluate usage of media flow systems : and how to use statistical metrics for rule based control.
TL;DR: This degree project used the goal question metric approach to conduct an evaluation of how the system MAMA, a media flow system used for television broadcasting services, was used during one year, and found it theoretically possible to obtain reasonable results.
Journal ArticleDOI
Approche d'une méthodologie d'applications de l'intelligence artificielle
TL;DR: In this article, the elements methodologiques a prendre en compte dans le developpement des applications de l'intelligence artificielle, and le cas des systemes experts est plus particulierement presente.
Posted Content
Automating System Configuration
Nestan Tsiskaridze,Maxwell Strange,Makai Mann,Kavya Sreedhar,Qiaoyi Liu,Mark Horowitz,Clark Barrett +6 more
TL;DR: In this paper, the authors present a new framework for automated configuration of systems representable as state machines, which leverages model checking and satisfiability modulo theories (SMT) and can be applied to any application domain representable using SMT formulas.
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.