R1: a rule-based configurer of computer systems
TL;DR: 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.
Citations
More filters
TL;DR: It is shown that a diagnosis system based on hierarchical classification naturally lends itself to solving a number of issues traditionally associated with sensor validation is examined.
Abstract: The concept of the generic task, one of a small set of ubiquitous cognitive tasks that together account for some part of human cognition, is examined. In particular, how hierarchical classification is one such generic task and how it is useful for diagnosis is shown. It is also shown that a diagnosis system based on hierarchical classification naturally lends itself to solving a number of issues traditionally associated with sensor validation is examined. >
14 citations
TL;DR: An implementation of PROLOG based on general clause-indexing methods using bit-serial content-addressable memory hardware permits extremely high-performance implementations of knowledge-based applications and enables a greater reliance on unification in PROLOG programming.
Abstract: An implementation of PROLOG based on general clause-indexing methods using bit-serial content-addressable memory hardware is presented. The approach permits extremely high-performance implementations of knowledge-based applications and enables a greater reliance on unification in PROLOG programming. The indexing methods are easily attachable to other implementations of PROLOG. Three hardware-implementable indexing methods using m -in- n coding or superimposed coding are described and compared, and a bit-map representation of the set of clauses responding to a goal is described. Some benchmarks are given, and a group of useful unordered descriptor primitives described. The implications for programming style are discussed.
14 citations
Patent•
15 Dec 2010
TL;DR: In this article, a configuration model is divided into configuration sub-models that can respectively be processed using existing data processing resources and a sub-model inference procedure provides a way to scale queries to larger and more complicated configuration models.
Abstract: A configuration model dividing and configuration sub-model inference processing system and procedure addresses the issue of configuration model and query complexity by breaking a configuration problem down into a set of smaller problems, solving them individually and recombining the results into a single result that is equivalent to a conventional inference procedure. In one embodiment, a configuration model is divided into configuration sub-models that can respectively be processed using existing data processing resources. A sub-model inference procedure provides a way to scale queries to larger and more complicated configuration models. Thus, the configuration model dividing and configuration sub-model processing system and inference procedure allows processing by a data processing system of configuration models and queries whose collective complexity exceeds the complexity of otherwise unprocessable conventional, consolidated configuration models and queries.
14 citations
TL;DR: The configuration, resource allocation, and performance of a histogram-based input interface to enter order-composition specifications and a tabular report to enter definitions of ammunition rounds into Coral are described.
Abstract: Constrained heuristic search techniques are applied to the problems of product configuration and inventory planning. The architecture of Coral, an interactive, real-time decision support system that maximizes the total number of products requested, given one or more substitutable configurations, is presented. Coral gives inventory managers a tool for managing and allocating component inventories, thus maximizing the number of complete orders. Coral treats configuration and allocation as constraint-satisfaction and optimization problems in which constraints guide the problem solving. The configuration, resource allocation, and performance of a histogram-based input interface to enter order-composition specifications and a tabular report to enter definitions of ammunition rounds into Coral are described. >
14 citations
TL;DR: General aspects of expert systems are dealt with first, such as knowledge representation, knowledge manipulation, dealing with uncertainty, and the application of software tools to facilitate the construction of expert system.
Abstract: It is expected that artificial intelligence and more particularly, expert systems, will have a profound effect upon analytical chemistry. This paper provides an overview of this rapidly evolving field. General aspects of expert systems are dealt with first, such as knowledge representation, knowledge manipulation, dealing with uncertainty, and the application of software tools to facilitate the construction of expert systems. The accomplishments with respect to the application of expert systems to chemistry — particularly analytical chemistry — are discussed. Future directions of the research and applications are forecasted.
14 citations
References
More filters
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.
2,562 citations
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.
619 citations
Proceedings Article•
22 Aug 1977TL;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.
Abstract: It has been claimed that production systems have several advantages over other representational schemes. These include the potential for general self-augmentation (i.e., learning of new behavior) and the ability to function in complex environments. The production system language, OPS, was implemented to test these claims. In this paper we explore some of the issues that bear on the design of production system languages and try to show the adequacy of OPS for its intended purpose.
173 citations
01 Jan 1978
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.
Abstract: Production systems designed to function and grow in environments that make large numbers of different, sometimes competing, and sometimes unexpected demands require support from their interpreters that is qualitatively different from the support required by systems that can be carefully hand crafted to function in constrained environments. In this chapter we explore the role of conflict resolution in providing such support Using criteria developed here, we evaluate both individual conflict resolution rules and strategies that make use of several rules.
102 citations
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.
Abstract: Production systems designed to function and grow in environments that make large numbers of different, sometimes competing, and sometimes unexpected demands require support from their interpreters that is qualitatively different from the support required by systems that can be carefully hand crafted to function in constrained environments. In this paper we explore the role of conflict resolution in providing such support. Using criteria developed in the paper, we evaluate both individual conflict resolution rules and strategies that make use of several rules.
102 citations