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
Proceedings Article•
08 Aug 1983TL;DR: The design requirements of future expert systems are discussed, and HAPS, a recently implemented production system architecture designed to address these issues, is presented.
Abstract: Many artificial intelligence applications require the use of expert systems. As expert systems move into new domains, several significant changes can be expected. Among these are an increase in number of rules in the rule base and an increase in the number of data elements contained in working memory.
Also, many new applications require that expert systems move into real-time domains. Here, a system must be able to process large quantities of data which are changing rapidly. Many problem-solving situations will be time critical, and the system must take into account the availability and distribution of scarce system resources.
For these reasons, the efficiency of a given expert system design and its ability to perform complex memory management tasks will become Increasingly important. This will require modifications in the traditional production system architectures. In this paper, the design requirements of future expert systems are discussed, and HAPS, a recently implemented production system architecture designed to address these issues, is presented.
36Â citations
Cites background from "R1: a rule-based configurer of comp..."
...Previous work in t h i s f i e l d has produced systems which can perform medical diagnosis of blood diseases ( S h o r t l i f f e , 1976), p red ic t the phys ica l s t ruc tu re of complex organic molecules Euchanan & Feigenbaum, 1978), and conf igure VAX-11 computer systems (McDermott, 1982)....
[...]
...A lso , many new app l i ca t i ons requ i re that expert systems move i n t o rea l - t ime domains....
[...]
Patent•
06 Apr 1989
TL;DR: In this article, a method of computer-supported configuration of technical systems from components is given, which can be adapted at low cost for changes in the component range, and a catalogue of available component types is stored in a memory.
Abstract: A method of computer-supported configuration of technical systems from components is given It can be adapted at low cost for changes in the component range For this purpose, a catalogue of available component types is stored in a memory For each available component type, at least information is present about the type and size of the intensive performance features, the type and size of the provided resources, the type and size of the required resources and the type and size of the used or assigned resources Also, the requirements specification of the technical system to be configured is stored in a memory Here information is present about at least the type and size of the resources which are required for the technical system, and the type and size of the intensive performance features which are required for the technical system Components are selected by a computer which is connected to the memories, in such a way that one or more components of the most suitable component type is selected repeatedly from the required resources, and taken into account in the remaining resource requirement
35Â citations
01 Nov 1991
TL;DR: The proposed MICAD methodology partitions the knowledge base required for the design system to include a progressively acquired preferential component captured using a decision theoretic model and an a priori acquired operational component that can be represented using a wide range of artificial intelligence and expert systems techniques.
Abstract: A methodology for multiobjective intelligent computer-aided design (MICAD) of large-scale systems is proposed. The proposed MICAD methodology partitions the knowledge base required for the design system to include a progressively acquired preferential component captured using a decision theoretic model and an a priori acquired operational component that can be represented using a wide range of artificial intelligence and expert systems techniques. User preferences are employed to personalize the search for improved designs and dynamic acquisition of those preferences enables the systems, to some extent, to mimic and conform to different users, decision-making styles, and design goals. The primary emphasis is the decision theoretic treatment of user preference in a general search strategy and design domain. The construction of the operational knowledge base is demonstrated to be an opportunity for application of existing artificial intelligence techniques. >
35Â citations
TL;DR: A review of current and future applications of Artificial Intelligence (AI) and Knowledge-Based systems to manufacturing is presented in this paper, focusing on where, at each point in the product life cycle, there are problems to be solved, where AI is currently being applied, and where it may be applied in the future.
35Â citations
TL;DR: It is proved that the declarative semantics given by the model M PS for PS is equivalent to the fixpoint EDB n for productions in the PS program.
Abstract: We present our research on defining a correct semantics for forward chaining production system (PS) programs. A correct semantics must ensure that the execution of the program is deterministic and that it will terminate. We define a class of function-free stratified PS programs, and develop a fixpoint semantics and a declarative semantics for these programs. A stratified PS program comprises an initial extensional database (EDB init ) of facts and a set of productions. We define the conditions for the productions in the PS program to be stratified and we define an operator T PS , which computes the fixpoint for the productions of the stratified PS program. The fixpoint is represented by an updated database EDB n . A corresponding logic program PS is derived from the stratified PS program. PS is stratified and has a standard minimal model M PS . The declarative semantics for the PS program is given by this model M PS . We prove that the declarative semantics given by the model M PS for PS is equivalent to the fixpoint EDB n for productions in the PS program.
35Â 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