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
01 Jan 1996
TL;DR: This work considers the two related problems of explaining the system’s reasoning and the design generated by the system, and analyzes the content of explanations of design reasoning and design solutions in the domain of physical devices.
Abstract: Explanation is an important issue in building computer-based interactive design environments in which a human designer and a knowledge system may cooperatively solve a design problem We consider the two related problems of explaining the system’s reasoning and the design generated by the system In particular, we analyze the content of explanations of design reasoning and design solutions in the domain of physical devices We describe two complementary languages: task-method-knowledge models for explaining design reasoning, and structure-behavior-function models for explaining device designs Interactive Kritik is a computer program that uses these representations to visually illustrate the system’s reasoning and the result of a design episode The explanation of design reasoning in Interactive Kritik is in the context of the evolving design solution, and, similarly, the explanation of the design solution is in the context of the design reasoning
37 citations
Cites methods from "R1: a rule-based configurer of comp..."
...This has led to the development of several computationalmethods for design; examples include heuristic search [Stallman and Sussman 1977], heuristic association [McDermott 1982], and plan instantiation and expansion [Brown and Chandrasekaran 1989, Mittal, Dym and Morjaria 1986]....
[...]
...McDermott [1982] describes R1’s method for configuration design in the language of constraints of a design problem, components available in the design domain, heuristic associations pertaining to the constraints and the components, and selection and activation of the associations....
[...]
Patent•
13 Jul 1994TL;DR: In this article, a generalized configuration expert system for generating a complete, legal, and near-optimal configuration for any complex system consisting of multiple components is presented, which allows a developer to specify a configurator framework for solving a particular configuration problem.
Abstract: A generalized configuration expert system for generating a complete, legal, and near-optimal configuration for any complex system consisting of multiple components is disclosed. The present invention allows a developer to specify a configurator framework for solving a particular configuration problem. A user then operates the customized configurator to generate a configuration solution based on the user's requests and the system's requirements and constraints. The generalized configurator uses declaratively constructed graphs and multiple interacting packing engines. A two-level, bi-partite, spreading activation graph is used as the knowledge representation of the components to be configured and their associated relationships. The invention dynamically manages the interaction of the multiple packer engines to select the appropriate piece of the total configuration problem to work on at any point in time, while still taking into account the other packing problems. The invention provides the ability to declaratively define the constraints used by the packing engines to assure correct configuration results.
37 citations
01 Jan 1988
TL;DR: The architecture and operation of the MICON system is described, an integrated collection of programs which automatically synthesizes small computer systems from high level specifications, providing a rapid prototyping capability.
Abstract: The MICON system is an integrated collection of programs which automatically synthesizes small computer systems from high level specifications. The system address multiple levels of design, from logical through physical, providing a rapid prototyping capability. Two programs form MICON's nucleus: a knowledge-based synthesis tool called M1; and, an automated knowledge acquisition tool named CGEN which is used to teach M1 how to design. Other tools in the MICON system are an integrated database and associated data management tools. The system is fully functional, having been used to generate working designs. This paper describes the architecture and operation of the MICON system
37 citations
01 Jan 1995
TL;DR: This thesis developed from my work as a research and teaching assistant at the Institute for Applied Com and from the work I did as an undergraduate student at the Massachusetts Institute of Technology.
Abstract: Acknowledgments This thesis developed from my work as a research and teaching assistant at the Institute for Applied Com
36 citations
TL;DR: The goal of this work is to investigate how to achieve a nahlral and effective KB/DB coupling.
Abstract: 1 base and facts into a database enhances the maintenance and portability of both and thereby increases their life spans [l, 15, 221. n na* q nrrr;-r 7 Advantages of coupled knowledge base/ database (KB/DB) systems have been widely recognized by both researchers and practitioners (l, 10, 15,21, 401. Unfortunately, large knowledge bases (such as those required to support database semantics) Irl:rr I~rrr:rr7 are difficult to develop and maintain because of theu htmted capacity for handling large amounts of factual data. Our goal is to investigate how to achieve a nahlral and effective KB/DB coupling. Al:..:” I :.. Intensional knowledge has been classified as “knowledge beyond the factual content oFthe database” [45]. Intensional 1’ knowledge is more abstract than extensional knowledge items and the system knowledge needed for query A and response control. The least abstract subcategory of intensional knowledge, structural knowledge, cornprises the
36 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