Skip to main content
SpringerLink
Log in
Book cover

International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems

IEA/AIE 1992: Industrial and Engineering Applications of Artificial Intelligence and Expert Systems pp 441–450Cite as

A theoretical framework for configuration

  • Configuration
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 604))

Abstract

We develop a general theory of configuration and give a precise methodology for studying the phenomenon of configuration from a viewpoint which is independent of any knowledge representation formalism. One main result is that we show that the classical skeleton-oriented approach and the resource-oriented approach are in some sense equivalent. We formulate a number of typical configuration problems, like finding a cost-minimal configuration, and show the NP-completeness of one of them.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Brown, D. C.; Chandrasekaran, B. [1989] Design Problem Solving, Pitman.

    Google Scholar 

  • Cook, S. [1971] “The complexity of theorem-proving procedures”, Proc. 3rd Ann. ACM Symp. on Theory of Computing, Association for Computing Machinery, New York, pp. 151–158

    Google Scholar 

  • Cunis et al. [1991] Das PLAKON-Buch — Ein Expertensystemkern für Planungs-und Konfigurierungsaufgaben in technischen Domänen, Springer Verlag, Berlin.

    Google Scholar 

  • Doerner, H. [1991] “Ein Modell des Konfigurierens” Beiträge zum 5. Workshop “Planen und Konfigurieren”, LKI-M-1/91

    Google Scholar 

  • Heinrich, M. [1991] “Ressourcenorientierte Modellierung als Basis modularer technischer Systeme,” Beiträge zum 5. Workshop “Planen und Konfigurieren”, LKI-M-1/91

    Google Scholar 

  • Najmann, O., Stein, B. [1992] “Modeling resource-oriented configuration problems.” Internal report, University of Paderborn.

    Google Scholar 

  • Puppe, F. [1990] Problemlösungsmethoden in Expertensystemen, Springer Verlag.

    Google Scholar 

  • Stein, B.; Weiner, J. [1990] MOKON, Interner Report, Universität-Gesamthochschule-Duisburg, SM-DU-178

    Google Scholar 

  • Tank et al. [1989] “AMOR: Eine Beschreibungssprache für technische Systeme zur Unterstützung der Wissensakquisition für Konfigurationsprobleme”, Beiträge zum 3. Workshop “Planen und Konfigurieren”, Arbeitspapiere der GMD 388

    Google Scholar 

  • Tseitin, G. [1983] “On the complexity of derivations in propositonal calculus”, Automation of Reasoning 2: Classical Papers on Computational Logic, pp. 466–483. Springer Verlag, Berlin.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Praktische Informatik, Universität-GH-Paderborn, FB 17, USA

    O. Najmann & B. Stein

Authors
  1. O. Najmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. B. Stein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Fevzi Belli Franz Josef Radermacher

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Najmann, O., Stein, B. (1992). A theoretical framework for configuration. In: Belli, F., Radermacher, F.J. (eds) Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. IEA/AIE 1992. Lecture Notes in Computer Science, vol 604. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024996

Download citation

  • DOI: https://doi.org/10.1007/BFb0024996

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55601-5

  • Online ISBN: 978-3-540-47251-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation