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 1994
TL;DR: In this article, the authors present a new theoretical approach for an integrated design process consisting of process planning, component selection and work station planning, which allows to integrate the main steps of the design: configuration, action planning and layout planning.
Abstract: During the past fifteen years, robot work cells have become a standard component of many industrial production systems. Up to now, the design of a robot work cell or a automated work station for a specific manufacturing process is a demanding task, although tools have been already developed for different design steps. The problem is that each tool is suitable only for one design step such as assembly planning, cell configuration, layout planning, and robot programming. The mutual effect among these design steps cannot be considered, although it is necessary for a high quality design. Thus, the common way is the manual design by human designers who have to work cooperatively for this task. This paper presents a new theoretical approach for an integrated design process consisting of process planning, component selection and work station planning. This article presents the structure of a domain representation for an integrated planning system for assembly stations. This domain representation allows to integrate the main steps of the design: configuration, action planning and layout planning. Each selection of a manufacturing resource constrains the selection of further manufacturing resources of the same assembly station or influences the course of action which has to be taken. For example: A specific joining process requires specific manufacturing resources and a defined course of action. In addition, it must be possible to arrange all the manufacturing resources in the working space of the handling system. The selection of manufacturing resources and their spatial arrangement has strong influence on cycle times and the investment costs of assembly cells. Therefore, the planning of assembly systems is a combined configuration, action planning and layout planning problem. In order to achieve optimal results, it is required to deal with these dependencies during the planning process. Action planning is a classical application area of artificial intelligence. Therefore, a number of methods and systems have been developed. STRIPS [1] is the classic action planning system. Afterwards, nonlinear planning, hierarchical planning [2], resource availability [3], and formal checks for correctness and completeness [4, 5] were introduced. Ongoing research work focuses on proves for the correctness of plans and the development of powerful representation of real problem domains. The area of configuration focuses more on knowledge acquisition aspects. This is often caused by the complex structure of the application domains of configuration systems. In a lot of cases, rules are used to represent expert knowledge: R1/XCON [6], SYLLOGIST [7] and PLAKON [8]. A further method for configuration problems is the 'propose and revise' method applied in VT [9] and SALT [10] and 'resource oriented configuration' [11].
01 Jan 1997
TL;DR: New Konfigurationssyteme erforderlich, die auch den immer starker an Bedeutung gewinnenden Beratungs- and Angebotsbereich unterstutzen, decken sich teilweise mit Fortschritten im Bereich der KI-Forschung.
Abstract: Komplexe kundenspezifische Telekommunikationssysteme werden von Telekommunikationsexperten mit eine grosen Wissen auf dem Gebiet der etablierten Dienste und Endgrerate konzipiert Teilweise werden sie bereits von Softwarewerkzeugen unterstutzt, die allerdings oftmals nur die fertige Konfiguration uberfufen, aber nicht den eigentlichen Konfigurierungsprozes durchfuhren Um mit dem schenellen Technologiewandel Schritt halten zu konnen, werden neue Konfigurationssyteme erforderlich, die auch den immer starker an Bedeutung gewinnenden Beratungs- und Angebotsbereich unterstutzen Diese neuen Anforderungen decken sich teilweise mit Fortschritten im Bereich der KI-Forschung, insbesondere auf dem Gebeit der Konfigurationsmethodik Neben rein regelbasierten Konfigurierungsystemen wie das schon tur- und ressourcenorientierte Systeme (siehe zB [CGS91] und [Heinrich91])
01 Jan 2014
TL;DR: This degree project used the goal question metric approach to conduct an evaluation of how the system MAMA, a media flow system used for television broadcasting services, was used during one year, and found it theoretically possible to obtain reasonable results.
Abstract: Evaluation of complex systems is as necessary now as ever.To conduct a successful evaluation, in other words an evaluationthat shows something interesting and perhaps unknownabout the system, one should be structured and planwell. This degree project used the goal question metric approachto conduct an evaluation of how the system MAMA,a media flow system used for television broadcasting services,was used during one year. By using the goal questionmetric approach it was possible to specify goals, questionsand metrics that provided data interesting for system operators.The model facilitated the planning phase of the evaluationof MAMA and clearly showed how one keeps a goodstructure throughout an evaluation. This degree projectreport may serve as a guide of how to conduct a fruitfulevaluation of any system. Automation and dynamic flowcontrol are in high demand when human workers are expensive.A natural step in modernising flow systems is tomake more flows automated and dynamic. A suggestion ofhow to set the time of deadline of an order was produced.By constructing a fuzzy logic controller it was found theoreticallypossible to obtain reasonable results. The fuzzylogic controller that was suggested, aims to mimic the decisionsthat otherwise would be made by human operators.The suggested controller was believed to be able to providea reasonable deadline, with the restrictions in the system.
TL;DR: The model of multi-objective product configuration optimization is established, and hierarchical analysis is made for configuration design by comparing the similarity and integrity of requirement and instance, and the sequence of retrieval instances is given according to the reuse degree.
Abstract: In order to realize the complex product rapid configuration design in the environment of mass configuration (MC), the non-dominated sorting genetic algorithm (NGSA) for product rapid configuration design is proposed in this paper. The model of multi-objective product configuration optimization is established, and hierarchical analysis is made for configuration design. By comparing the similarity and integrity of requirement and instance, the sequence of retrieval instances is given according to the reuse degree, and multi-objective optimization configuration based on NGSA is realized. Finally, the validity and practicability of the method is verified by an instance which is applied in rapid configuration design of the drive module of tuyere puncher.
Posted Content•
TL;DR: In this paper, the authors present a new framework for automated configuration of systems representable as state machines, which leverages model checking and satisfiability modulo theories (SMT) and can be applied to any application domain representable using SMT formulas.
Abstract: The increasing complexity of modern configurable systems makes it critical to improve the level of automation in the process of system configuration. Such automation can also improve the agility of the development cycle, allowing for rapid and automated integration of decoupled workflows. In this paper, we present a new framework for automated configuration of systems representable as state machines. The framework leverages model checking and satisfiability modulo theories (SMT) and can be applied to any application domain representable using SMT formulas. Our approach can also be applied modularly, improving its scalability. Furthermore, we show how optimization can be used to produce configurations that are best according to some metric and also more likely to be understandable to humans. We showcase this framework and its flexibility by using it to configure a CGRA memory tile for various image processing applications.
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