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 Mar 1987
TL;DR: A process model and preliminary specifications are described for a knowledge-based system that incorporates user preference in supporting an important engineering design problem that integrates concepts from rule-based expert systems and the decision and cognitive sciences.
Abstract: A process model and preliminary specifications are described for a knowledge-based system that incorporates user preference in supporting an important engineering design problem. The specific design problem of interest is the development of minimum (or near minimum) cost fossil fuel boilers. The current process of design involves multiple experts who interact to produce a design meeting customer specifications at the lowest possible cost. This iterative procedure is both tedious and frequently ineffective. Our approach integrates concepts from rule-based expert systems and the decision and cognitive sciences to produce an interactive knowledge-based system to support the design process. The central feature of this system is the inclusion of multiple sources of expertise in combination with formal reasoning and user preference to create the required design.
8Â citations
01 Jan 1991
TL;DR: The paper analyzes constraint classes typically encountered in CAD environments, discusses the problems of dynamic constraint definition and deferred evaluation, and introduces the design and implementation details of the constraint and exception handler.
Abstract: An attached constraint handler that can be invoked from an object-oriented CAD-DBMS is described Constraints and their exceptions are treated uniformly, and are stored and updated as instances of predefined constraint classes This allows for dynamic constraint definition, deferred constraint checking, and uniform handling of constraints and exceptions, which are relaxations of the constraints The paper analyzes constraint classes typically encountered in CAD environments, discusses the problems of dynamic constraint definition and deferred evaluation, and based on this discussion, introduces the design and implementation details of the constraint and exception handler
8Â citations
06 Mar 1989
TL;DR: An expert system that performs offline parameter configuration for local area networks that use MAP the (Manufacturing Automation Protocol) in particular, and its performance is described as a function of network size.
Abstract: MAPCon is an expert system that performs offline parameter configuration for local area networks that use MAP the (Manufacturing Automation Protocol). A description is given of the configuration task in general and MAPCon in particular, and its performance is described as a function of network size. MAPCon is distinct from most other applications of expert systems technology to communications in four ways. First, it deals with MAP networks, which (unlike many commonly used networking schemes) are compatible with the OSI seven-layer model of communications. Secondly, it does parameter configuration, rather than routing, diagnosis, or identifying which components need to be included in a given station. Thirdly, it relies heavily on a frame representation of deep knowledge about the system, and uses rules mainly to propagate deep-level constraints among related parameters rather than to capture shallow heuristics. Finally, it combines both synthetic and analytic reasoning. >
8Â citations
25 Apr 2001
TL;DR: It is shown how quantified constraints expressed in a sub-language of first-order logic, against a shared data model that is free to evolve, provide an excellent way of transporting domain-specific semantics along with the data.
Abstract: We show how quantified constraints expressed in a sub-language of first-order logic, against a shared data model that is free to evolve, provide an excellent way of transporting domain-specific semantics along with the data. In this form it can be processed automatically by various intelligent components, instead of requiring human intervention. It can also be combined with other constraints, by algebraic transformation against a common data model, and then passed to an appropriate solver. These techniques have been tested in a classic e-business application scenario: configuring a product from parts selected from e-vendors’ catalogues, whilst conforming to requirements specific to the parts, expressed as mobile constraints.
8Â citations
Cites background from "R1: a rule-based configurer of comp..."
...Many early configurators, like R1/XCON (McDermott, 1982), are rule-based systems in which domain and strategic knowledge are tightly coupled....
[...]
TL;DR: It is demonstrated why topological traversal is the correct control mechanism for computing conjunctive match with RETE networks and improves both the clarity and the ease of implementation of the RETE match algorithm.
Abstract: The appropriate selection of data and control abstractions is essential in understanding and implementing algorithms. The RETE match algorithm (Forgy, 1979), which underlies the-efficiency of modern forward chaining expert systems, has a reputation for extreme difficulty. In this article, we present different, more appropriate data and control abstractions for RETE. In particular, we demonstrate why topological traversal is the correct control mechanism for computing conjunctive match with RETE networks. It improves both the clarity and the ease of implementation of the RETE match algorithm and provides a program development framework for RETE and its extensions.
8Â 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