Advertisement

Relaxing constraint networks to resolve inconsistencies

  • Joachim Hertzberg
  • Hans-Werner Güsgen
  • Angelika Voβ
  • Manfred Fidelak
  • Hans Voβ
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 181)

Abstract

This paper deals with the following problem: What is to do if a constraint problem is inconsistent but one wants to solve it anyway? Concentrating at locally consistent solutions, it answers the questions: What is a relaxation of a constraint problem? Do solutions of relaxed problems lead to a solution of the original one? Does a locally consistent relaxation always exist? How to obtain such a relaxation efficiently? As an answer to the last question, we present an algorithm which has been implemented as an extension of the CONSAT constraint system.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Davis 1984]:
    Davis, R.: Diagnostic reasoning based on structure and behavior. Art. Int., 24 (1984), 347CrossRefGoogle Scholar
  2. [Dechter/Pearl 1988]:
    Dechter, R./Pearl, J.: Network-based heuristics for constraint satisfaction problems. Art. Int., 34 (1988), 1MathSciNetCrossRefGoogle Scholar
  3. [Descotte/Latombe 1985]:
    Descotte, Y./ Latombe, J.-C.: Making compromises among antagonist constraints in a planner. Art. Int., 27 (1985), 183CrossRefGoogle Scholar
  4. [Fidelak/Güsgen 1988]:
    Fidelak, M./ Güsgen, H.-W.: Improving local constraint propagation. TEX-B Memo 31–88, 1988Google Scholar
  5. [Güsgen 1988]:
    Güsgen, H.-W.: CONS AT: Foundations of a system for constraint satisfaction. In: Früchtenicht, H. W. et al. (eds.): Technische Expertensysteme: Wissensrepräsentation und Schlußfolgerungsverfahren. Munich (Oldenbourg), 1988,415Google Scholar
  6. [Güsgen/Hertzberg 1988]:
    Güsgen, H.-W./ Hertzberg, J.: Some fundamental properties of local constraint propagation. To appear as Research Note in: Art. Int. (1988)Google Scholar
  7. [Hertzberg et al. 1988]:
    Hertzberg, J./ Güsgen, H.-W./ Voß, A./ Fidelak, M./ Voß, H.: Relaxing constraint networks to resolve inconsistencies. In: Hertzberg, J./ Günter, A. (eds.): Beiträge zum 2. Workshop Planen und Konfigurieren. Arbeitspapiere der GMD 310,1988Google Scholar
  8. [Marcus et al. 1988]:
    Marcus, S./ Stout, J./ McDermott, J.: VT: An expert elevator designer that uses knowledge-based backtracking. AI Magazine, 9 (1988), 95Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Joachim Hertzberg
    • 1
  • Hans-Werner Güsgen
    • 1
  • Angelika Voβ
    • 1
  • Manfred Fidelak
    • 1
  • Hans Voβ
    • 1
  1. 1.Forschungsgruppe ExpertensystemeGMD Schloß BirlinghovenSt. Augustin 1Germany

Personalised recommendations