Skip to main content

A case based method for solving relatively stable dynamic constraint satisfaction problems

  • Poster Sessions
  • Conference paper
  • First Online:
Case-Based Reasoning Research and Development (ICCBR 1995)

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

Included in the following conference series:

Abstract

This paper discusses some key issues in using case based methods to solve large constraint satisfaction problems. The problem addressed here is characterised by the large cardinality of the constraint tables. The aim is to reduce the amount of consistency checking carried out by database queries. We have addressed issues concerning the similarity measurement, adaptation/repair control in terms of conflict ordering strategies, the quality of the case base and issues concerning backtracking strategies. The results presented in this paper indicate an approach for improving case based methods in solving large constraint satisfaction problems.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Dechter R. (1990). Enhancement Schemes for Constraint Processing: Backjumping, Learning and Cutset Decomposition. AI 41, 273–312.

    Google Scholar 

  • Freuder E. C. (1982). A sufficient condition of backtrack-free search, J. ACM 29 (1) 24–32.

    Google Scholar 

  • Gaschnig J. (1979). Performance measurement and analysis of certain search algorithms, Tech. Rept. CMU-CS-79-124, Camegie-mellon University, Pittsburgh, PA.

    Google Scholar 

  • Haralick R. M. and Elliott G. L. (1980). Increasing tree search efficiency for constraint satisfaction problems, AI 14, 263–313.

    Google Scholar 

  • Hinrichs T. R. (1992). Problem solving in open worlds: A case study in design. Northvale, NJ:Erlbaum.

    Google Scholar 

  • Hua K., Smith I., Fallings B. (1994) Integrated Case-Based Building Design. EWCBR 93, 246–51.

    Google Scholar 

  • Hunt J. and Miles R. (1994). Hybrid Case-Based Reasoning. Knowledge Engineering Review, 9.

    Google Scholar 

  • Kolodner J. (1993). Case Based Reasoning. Morgan Kaufmann Publishers.

    Google Scholar 

  • Maher M. L. and Zhang D. M. (1993). CADSYN: A Case-Based Design Process Model. AI EDAM. 7 (2), 97–110, Academic Press.

    Google Scholar 

  • Minton S., Johnston M. D., Philips A. B. and Laird P. (1992). Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems. AI 58, 161–205.

    Google Scholar 

  • Riesbeck C. K. & Schank R. C. (1989). Inside Case-Based Reasoning. Northvale, NJ:Erlbaum.

    Google Scholar 

  • Stallman R. M. and Sussman G. J. (1977). Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. AI 9, 135–196.

    Google Scholar 

  • Tsang E. (1993). Foundations of Constraint Satisfaction. Academic Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Manuela Veloso Agnar Aamodt

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Huang, Y., Miles, R. (1995). A case based method for solving relatively stable dynamic constraint satisfaction problems. In: Veloso, M., Aamodt, A. (eds) Case-Based Reasoning Research and Development. ICCBR 1995. Lecture Notes in Computer Science, vol 1010. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60598-3_44

Download citation

  • DOI: https://doi.org/10.1007/3-540-60598-3_44

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60598-0

  • Online ISBN: 978-3-540-48446-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics