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: This paper introduces rule-based programming and illustrates its use with two programs, R1 and XSEL, which are used by Digital Equipment Corporation in the design of computer system configurations.
25Â citations
TL;DR: This paper presents a knowledge acquisition method to augment the existing unstructured elicitation techniques such as protocol analysis and interviews based on the Coherence Method, which proved useful in facilitating the understanding of the experts' discourse, especially in early knowledge acquisition interviews.
Abstract: Recently there has been a tremendous increase in the development of knowledge-based systems in organizations. The quality of these systems and the cost of their development are largely dependent on the validity and reliability of the techniques used to acquire an expert's knowledge. Knowledge acquisition is the process of extracting domain knowledge from experts and organizing this knowledge into a computer understandable form. In order to improve knowledge-based system performance and make these systems less costly to build, knowledge acquisition techniques must be improved. This paper presents a knowledge acquisition method to augment the existing unstructured elicitation techniques such as protocol analysis and interviews. The Coherence Method is based on ai planning theory (3 1) and coherence theory (21). The authors' experience in applying this method to a knowledge-based systems development project is reported. The Coherence Method proved useful in facilitating the understanding of the experts' discourse, especially in early knowledge acquisition interviews. It provided the core knowledge that can guide subsequent knowledge elicitation techniques.
25Â citations
03 Jan 2005
TL;DR: It is argued that a richer model of cognition and knowledge representation is needed to study and build knowledge management systems.
Abstract: Polanyi's tacit knowledge captures the idea "we can know more than we can tell." Many researchers in the knowledge management community have used the idea of tacit knowledge to draw a distinction between that which cannot be formally represented (tacit knowledge) and knowledge which can be so represented (explicit knowledge). I argue that the deference that knowledge management researchers give to tacit knowledge hinders potentially fruitful work for two important reasons. First, the inability to explicate knowledge does not imply that the knowledge cannot be formally represented. Second, assuming the inability to formalize tacit knowledge as it exists in the minds of people does not exclude the possibility that computer systems might perform the same tasks using alternative representations. By reviewing work from artificial intelligence, I will argue that a richer model of cognition and knowledge representation is needed to study and build knowledge management systems.
25Â citations
Cites background from "R1: a rule-based configurer of comp..."
...In the commercial realm, Russell and Norvig [15] offer XCON (known as R1 [29] in its research incarnation) as an early example of a commercially successful rule-based system that “contained several thousand rules for designing configurations of computer components for customers of the Digital Equipment Corporation....
[...]
01 Jan 1984
TL;DR: A rigorous, logical description of expert systems reveals that a small set of terms and relations can be used to describe many rule-based expert systems.
Abstract: Expert systems are generally described by a mixture of terms that confuse implementation language with knowledge structure and the search process. This confusion makes it difficult to analyze new problems and to derive a set of knowledge engineering principles. A rigorous, logical description of expert systems reveals that a small set of terms and relations can be used to describe many rule-based expert systems. In particular, one common method for solving problems is by classification—heuristically relating data abstractions to a preenumerated network of solutions. This model can be used as a framework for knowledge acquisition, particularly in the early stages for organizing the expert's vocabulary and decomposing problems.
25Â citations
TL;DR: The ways in which a Swarm program can be translated to OPS5 specifically, given some restrictions, while maintaining the correctness criteria are discussed.
Abstract: It is shown that a combination of specification and program refinement may be applied to deriving efficient concurrent rule-based programs. Specification refinement is used to generate an initial rule-based program that is refined into a program which is highly concurrent and efficient. This program derivation strategy is divided into two major tasks. The first task relies on specification refinement. Techniques similar to those employed in the derivation of UNITY programs are used to produce a correct rule-based program having a static knowledge base. The second task involves program refinement and is specific to the development of concurrent rule-based programs. It relies heavily on the availability of a computational model, such as Swarm, that has the ability to dynamically restructure the knowledge base. The ways in which a Swarm program can be translated to OPS5 specifically, given some restrictions, while maintaining the correctness criteria are discussed. >
25Â 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