A resource-based paradigm for the configuring of technical systems from modular components

Published 10 December 2002

Michael Heinrich, Ernst-Werner Jüngst

DOI10.1109/caia.1991.120878

Citations82

TL;DR

A simple self-organizing configuring inference procedure for the resource-based paradigm, resource-balancing, with a description of the environment of the technical system as the requirement specification, is derived from the basic acceptance criterion for configurations.

Abstract

In the resource-based paradigm, the interfaces through which technical systems, their components, and their environment interact are modeled as abstract resources, and each technical entity is characterized by the types and amounts of resources it supplies, consumes and uses. This intuitive model, derived in one application area, is shown to be in concordance with the design rationale of modular component systems. A simple self-organizing configuring inference procedure for the resource-based paradigm, resource-balancing, with a description of the environment of the technical system as the requirement specification, is derived from the basic acceptance criterion for configurations. Five levels of knowledge are defined for this paradigm and introduced in a simple representation scheme which, through its inherent locality and mutual isolation of component knowledge, allows efficient acquisition and maintenance of even large component knowledge bases. First experiences with the implementation and use of these ideals in the prototype shell COSMOS are reported.>

Keywords

Computer Science

Artificial IntelligenceR1: A rule-based configurer of computer systems

939 Citations1982John McDermott

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.

ComputerKnowledge Representation as the Basis for Requirements Specifications

271 Citations1985Borgida, Greenspan +1 more

Research on knowledge representation in artificial intelligence provides a wealth of relevant techniques that can be incorporated into specification languages.

International Joint Conference on Artificial IntelligenceTowards a generic model of configuraton tasks

261 Citations1989Sanjay Mittal, Felix Frayman

A domain-independent model is presented based on two important assumptions: functional architecture and key component per function that limit the complexity of the general configuration task, determine the basic knowledge needed for solving a configurationtask, and enable more efficient problem solving methods.

National Conference on Artificial IntelligenceAssessing the maintainability of XCON-in-RIME: coping with the problems of a VERY large rule-base

161 Citations1987Elliot Soloway, Judy Bachant +1 more

Evaluated the potential for enhanced maintainability of XCON-in-RIME over XCON, a rule-based expert system that configures computer systems that is increasingly becoming more difficult to change.

National Conference on Artificial IntelligenceDesign as refinement plus constraint propagation: the VEXED experience

59 Citations1987Louis Steinberg

This work studies a particular model, the model of design as top down refinement plus constraint propagation, with the user making control decisions and the system carrying them out, and concludes that this model seems like a good basic model on which to build such systems.

IEEE Circuits and Devices MagazineMICON: a single-board computer synthesis tool

31 Citations1988William P. Birmingham, A. Brennan +2 more

The MICON system, which synthesizes a single-board computer design from a high-level description of the board's functions and design constraints, is described, and the techniques of representing and using this knowledge are discussed.

National Conference on Artificial IntelligenceMaking partial choices in constraint reasoning problems

26 Citations1987Sanjay Mittal, Felix Frayman

It is shown how multiple hierarchies can be used to avoid some of the problems associated with using a single hierarchy and use of taxonomy not only helps in pruning the search space but also provides a compact language for describing solutions.

Elsevier eBooksA KNOWLEDGE-BASED FRAMEWORK FOR DESIGN

22 Citations1992Sanjay Mittal, Agustin A. Araya

A computational framework is presented that organizes the required knowledge as design plans and extends the notion of dependency-directed backtracking with an advice mechanism that allows information from a constraint failure to be used as advice in modifying a partial design.

Informatik-FachberichteKnowledge-Based Configuration of Operating Systems — Problems in Modeling the Domain Knowledge

14 Citations1985Hans Haugeneder, Egbert Lehmann +1 more

The paper discusses problems of how to structure the knowledge base and to adopt the most appropriate approaches and tools for developing SICONFEX, a knowledge-based system for the interactive configuration of an operation system for SICOMP computers.

National Conference on Artificial IntelligenceA knowledge representation technique for systems dealing with hardware configuration

9 Citations1986Jeff Pierick

A representation language combining the attributes of both rule- based systems and frame-based systems is discussed within the context of developing systems for computer hardware configuration.