Skip to main content
SpringerLink
Log in

Case-Based Reasoning for Autonomous Constraint Solving

  • Chapter
Autonomous Search

Abstract

Humans often reason from experiences in the way exemplified above. Faced with a new problem, we recall our experiences in solving similar problems in the past, and we modify the past solutions to fit the circumstances of the new problem.

Within Artificial Intelligence (AI), the idea that we can solve problems by recalling and reusing the solutions to similar past problems, rather than reasoning ‘from scratch’, underlies Case-Based Reasoning (CBR), which has been the target of active research and development since the late 1980s. CBR is a problem solving and learning strategy: reasoning is remembered (this is learning); and reasoning is remembering (this is problem-solving). CBR can be useful in domains where problem types recur, and where similar problems have similar solutions. Its wide range of application areas — from classification and numeric prediction to configuration, design and planning — and domains — from medicine to law to recommender systems — is testimony to its generality. In this chapter, we review the application of CBR to search and especially to constraint solving. We present CPHYDRA, a recent successful application of CBR to autonomous constraint solving. In CPHYDRA, CBR is used to inform a portfolio approach to constraint problem solving.

This work was part-funded by Science Foundation Ireland (Grant Number 05/IN/I886).

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aamodt, A., Plaza, E.: Case-Based Reasoning: Foundational Issues, Methodological Variants, and System Approaches. AI Communications 7(1), 39–59 (1994)

    Google Scholar 

  2. Aha, D. W., Marling, C., Watson, I.: Case-based reasoning commentaries: Introduction. The Knowledge Engineering Review 3(20), 201–202 (2005)

    Article  Google Scholar 

  3. Aha, D. W., Molineaux, M., Ponsen, M. J. V.: Learning to win: Case-based plan selection in a real-time strategy game. In: Muñoz-Avila and Ricci [53], pp. 5–20

    Google Scholar 

  4. Aha, D. W., Watson, I. (eds.): Case-Based Reasoning Research and Development, 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 - August 2, 2001, Proceedings, Lecture Notes in Computer Science, vol. 2080. Springer (2001)

    MATH  Google Scholar 

  5. Ashley, K. D., Bridge, D. G. (eds.): Case-Based Reasoning Research and Development, 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings, Lecture Notes in Computer Science, vol. 2689. Springer (2003)

    MATH  Google Scholar 

  6. Avesani, P., Perini, A., Ricci, F.: Interactive case-based planning for forest fire management. Appl. Intell. 13(1), 41–57 (2000)

    Article  Google Scholar 

  7. Bergmann, R.: Experience Management: Foundations, Development Methodology, and Internet-Based Applications. LNAI 2432. Springer (2002)

    MATH  Google Scholar 

  8. Bridge, D., Göker, M. H., McGinty, L., Smyth, B.: Case-based recommender systems. The Knowledge Engineering Review 3(20), 315–320 (2005)

    Article  Google Scholar 

  9. Burke, E. K., MacCarthy, B. L., Petrovic, S., Qu, R.: Case-based reasoning in course timetabling: An attribute graph approach. In: Aha and Watson [4], pp. 90–104

    Google Scholar 

  10. Carchrae, T., Beck, J. C.: Low-knowledge algorithm control. In: Procs. of the 19th AAAI, pp. 49–54 (2004)

    Google Scholar 

  11. Cheetham, W., Watson, I.: Fielded applications of case-based reasoning. The Knowledge Engineering Review 3(20), 321–323 (2005)

    Article  Google Scholar 

  12. Coello, J. M. A., dos Santos, R. C.: Integrating CBR and heuristic search for learning and reusing solutions in real-time task scheduling. In: K. D. Althoff, R. Bergmann, K. Branting (eds.) ICCBR, Lecture Notes in Computer Science, vol. 1650, pp. 89–103. Springer (1999)

    Google Scholar 

  13. Cox, M. T., Muñoz-Avila, H., Bergmann, R.: Case-based planning. The Knowledge Engineering Review 3(20), 283–287 (2005)

    Article  Google Scholar 

  14. Organising Committee of the Third International Competition of CSP Solvers, O.C.: XML representation of constraint networks format XCSP 2.1 (2008)

    Google Scholar 

  15. Cummins, L., Bridge, D.: Maintenance by a Committee of Experts: The MACE Approach to Case-Base Maintenance. In: L. McGinty, D. C. Wilson (eds.) Procs. of the 8th International Conference on Case-Based Reasoning, LNAI 5650, pp. 120–134. Springer (2009)

    Google Scholar 

  16. Fagan, M., Cunningham, P.: Case-based plan recognition in computer games. In: Ashley and Bridge [5], pp. 161–170

    Google Scholar 

  17. Francis Jr., A. G., Ram, A.: The Utility Problem in Case-Based Reasoning. In: D. B. Leake (ed.) Procs. of the Workshop on Case-Based Reasoning, p. 160. AAAI Press (1993)

    Google Scholar 

  18. Francis Jr., A. G., Ram, A.: A comparative utility analysis of case-based reasoning and control-rule learning systems. In: Procs. of the AAAI Workshop on Case-Based Reasoning, pp. 36–40. AAAI Press (1994)

    Google Scholar 

  19. Freßmann, A., Maximini, K., Maximini, R., Sauer, T.: CBR-based execution and planning support for collaborative workflows. In: S. Brüninghaus (ed.) ICCBR Workshops, pp. 271–280 (2005)

    Google Scholar 

  20. Gebruers, C., Hnich, B., Bridge, D., Freuder, E.: Using CBR to select solution strategies in constraint programming. In: H. Muñoz-Avila, F. Ricci (eds.) Procs. of the 6th International Conference on Case-Based Reasoning, LNAI 3620, pp. 222–236. Springer (2005)

    Google Scholar 

  21. Glover, F.: Tabu search, part 1. ORSA Journal on Computing 1, 190–206 (1989)

    MATH  MathSciNet  Google Scholar 

  22. Glover, F.: Tabu search, part 2. ORSA Journal on Computing 2, 4–32 (1990)

    MATH  Google Scholar 

  23. Goel, A., Craw, S.: Design, innovation and case-based reasoning. The Knowledge Engineering Review 3(20), 271–276 (2005)

    Article  Google Scholar 

  24. Göker, M. H., Howlett, R. J., Price, J. E.: Case-based reasoning for diagnosis applications. The Knowledge Engineering Review 3(20), 277–281 (2005)

    Article  Google Scholar 

  25. Grolimund, S., Ganascia, J. G.: Integrating case based reasoning and tabu search for solving optimisation problems. In: Veloso and Aamodt [75], pp. 451–460

    Google Scholar 

  26. Grolimund, S., Ganascia, J. G.: Driving tabu search with case-based reasoning. European Journal of Operational Research 103(2), 326–338 (1997). URL http://ideas.repec.org/a/eee/ejores/v103y1997i2p326-338.html

    Article  MATH  Google Scholar 

  27. Haigh, K. Z., Veloso, M. M.: Route planning by analogy. In: Veloso and Aamodt [75], pp. 169–180

    Google Scholar 

  28. Hammond, K. J.: Explaining and Repairing Plans that Fail. Artificial Intelligence 45, 173–228 (1990)

    Article  Google Scholar 

  29. Holt, A., Bichindaritz, I., Schmidt, R., Perner, P.: Medical applications in case-based reasoning. The Knowledge Engineering Review 3(20), 289–292 (2005)

    Article  Google Scholar 

  30. Hua, K., Smith, I. F. C., Faltings, B.: Integrated case-based building desing. In: S. Wess, K. D. Althoff, M. M. Richter (eds.) EWCBR, Lecture Notes in Computer Science, vol. 837, pp. 436–445. Springer (1993)

    Google Scholar 

  31. Huang, Y.: Using case-based techniques to enhance constraint satisfaction problem solving. Applied Artificial Intelligence 10(4), 307–328 (1996)

    Article  Google Scholar 

  32. Huang, Y., Miles, R.: A case based method for solving relatively stable dynamic constraint satisfaction problems. In: Veloso and Aamodt [75], pp. 481–490

    Google Scholar 

  33. Khemani, D., Prasad, P.: A memory-based hierarchical planner. In: Veloso and Aamodt [75], pp. 501–509

    Google Scholar 

  34. Kohavi, R., John, G.: Wrappers for feature subset selection. Artificial Intelligence 97(1–2), 273–324 (1997)

    Article  MATH  Google Scholar 

  35. Kolodner, J.: Case-Based Reasoning. Morgan Kaufmann (1993)

    Google Scholar 

  36. Leake, D. B. (ed.): Case-Based Reasoning: Eperiences, Lessons, & Future Directions. AAAI Press/MIT Press (1996)

    Google Scholar 

  37. Leake, D. B.: CBR in Context: The Present and Future. [36], pp. 3–30

    Google Scholar 

  38. Leake, D. B., Wilson, D. C.: Categorizing case-base maintenance: Dimensions and directions. In: B. Smyth, P. Cunningham (eds.) Procs. of the 4th European Conference on Case-Based Reasoning, pp. 196–207. Springer-Verlag (1998)

    Google Scholar 

  39. Lenz, M., Bartsch-Spörl, B., Burkhard, H. D., Wess, S. (eds.): Case-Based Reasoning Technology: From Foundations to Applications. LNAI 1400. Springer (1998)

    Google Scholar 

  40. Luger, G. F.: Artificial Intelligence: Structures and Strategies for Complex Problem Solving. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA (2001)

    Google Scholar 

  41. Squalli, M., Purvis, L., Freuder, E.: Survey of applications integrating constraint satisfaction and case-based reasoning. In: Procs. of the 1st International Conference and Exhibition on The Practical Application of Constraint Technologies and Logic Programming (1999)

    Google Scholar 

  42. Macedo, L., Pereira, F. C., Grilo, C., Cardoso, A.: Plans as structured networks of hierarchically and temporally related case pieces. In: I. F. C. Smith, B. Faltings (eds.) EWCBR, Lecture Notes in Computer Science, vol. 1168, pp. 234–248. Springer (1996)

    Google Scholar 

  43. Markowitz, H. M.: Portfolio selection. Journal of Finance 7(1), 77–91 (1952)

    Article  Google Scholar 

  44. Marling, C., Rissland, E. L., Aamodt, A.: Integrations with case-based reasoning. Knowledge Eng. Review 20(3), 241–245 (2005)

    Article  Google Scholar 

  45. McGinty, L., Smyth, B.: Personalised Route Planning: A Case-Based Approach. In: Procs. of the 5th European Workshop on Case-Based Reasoning, LNAI 1898, pp. 431–442. Springer (2000)

    Chapter  Google Scholar 

  46. McGinty, L., Smyth, B.: Collaborative Case-Based Reasoning: Aplications in Personalised Route Planning. In: D. W. Aha, I. Watson (eds.) Procs. of the 4th International Conference on Case-Based Reasoning, LNAI 2080, pp. 362–376. Springer (2001)

    Google Scholar 

  47. McGinty, L., Wilson, D. C. (eds.): Case-Based Reasoning Research and Development, 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009, Proceedings, Lecture Notes in Computer Science, vol. 5650. Springer (2009)

    MATH  Google Scholar 

  48. McKenna, E., Smyth, B.: Competence-Guided Case-Base Editing Techniques. In: Procs. of the 5th European Workshop on Case-Based Reasoning, LNAI 1898, pp. 186–197. Springer (2000)

    Chapter  Google Scholar 

  49. Minton, S.: Quantitative results concerning the utility of explanation-based learning. Arificial Intelligence 42(2–3), 363–392 (1990)

    Article  Google Scholar 

  50. Minton, S.: Automatically configuring constraint satisfaction programs: A case study. Constraints 1(1), 7–43 (1996)

    Article  MathSciNet  Google Scholar 

  51. Mitchell, T. M.: Machine Learning. McGraw-Hill (1997)

    MATH  Google Scholar 

  52. Muñoz-Avila, H.: On the role of the cases in case-based planning. In: Ashley and Bridge [5], pp. 2–3

    Google Scholar 

  53. Muñoz-Avila, H., Ricci, F. (eds.): Case-Based Reasoning, Research and Development, 6th International Conference, on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings, Lecture Notes in Computer Science, vol. 3620. Springer (2005)

    MATH  Google Scholar 

  54. Neagu, N., Faltings, B.: Exploiting interchangeabilities for case adaptation. In: Aha and Watson [4], pp. 422–436

    Google Scholar 

  55. Neagu, N., Faltings, B.: Soft interchangeability for case adaptation. In: Ashley and Bridge [5], pp. 347–361

    Google Scholar 

  56. O’Mahony, E., Hebrard, E., Holland, A., Nugent, C., O’Sullivan, B.: Cphydra – an algorithm portfolio for constraint solving. In: Proceedings of AICS (2008)

    Google Scholar 

  57. Plaza, E., Arcos, J. L.: Constructive adaptation. In: S. Craw, A. D. Preece (eds.) Procs. of the 6th European Conference on Case-Based Reasoning, LNCS 2146, pp. 306–320. Springer-Verlag (2002)

    Google Scholar 

  58. Purvis, L., Pu, P.: Adaptation using constraint satisfaction techniques. In: Veloso and Aamodt [75], pp. 289–300

    Google Scholar 

  59. Quinlan, J. R.: C4.5: Programs for Machine Learning. Morgan Kaufmann (1993)

    Google Scholar 

  60. Reinartz, T., Iglezakis, I., Roth-Berghofer, T.: Review and restore for case-based maintenance. Computational Intelligence 17(2), 214–234 (2001)

    Article  Google Scholar 

  61. Richter, M. M.: Introduction. In: Lenz et al. [39], pp. 1–15

    Google Scholar 

  62. Rissland, E. L., Ashley, K. D., Branting, L. K.: Case-based reasoning and law. The Knowledge Engineering Review 3(20), 293–298 (2005)

    Article  Google Scholar 

  63. de la Rosa, T., Olaya, A. G., Borrajo, D.: Using cases utility for heuristic planning improvement. In: R. Weber, M. M. Richter (eds.) ICCBR, Lecture Notes in Computer Science, vol. 4626, pp. 137–148. Springer (2007)

    Google Scholar 

  64. Rossi, F., Beek, P. v., Walsh, T.: Handbook of Constraint Programming (Foundations of Artificial Intelligence). Elsevier Science Inc., New York, NY, USA (2006)

    Google Scholar 

  65. Sánchez-Ruiz-Granados, A. A., González-Calero, P. A., Díaz-Agudo, B.: Abstraction in knowledge-rich models for case-based planning. In: McGinty and Wilson [47], pp. 313–327

    Google Scholar 

  66. Scott, S., Osborne, H., Simpson, R.: Selecting and comparing multiple cases to maximise result quality after adaptation in case-based adaptive scheduling. In: E. Blanzieri, L. Portinale (eds.) EWCBR, Lecture Notes in Computer Science, vol. 1898, pp. 517–528. Springer (2000)

    Google Scholar 

  67. Scott, S., Simpson, R.: Case-bases incorporating scheduling constraint dimensions - experiences in nurse rostering. In: Smyth and Cunningham [72], pp. 392–401

    Google Scholar 

  68. Shih, J.: Sequential instance-based learning for planning in the context of an imperfect information game. In: Aha and Watson [4], pp. 483–501

    Google Scholar 

  69. Sinclair, D.: Using example-based reasoning for selective move generation in two player adversarial games. In: Smyth and Cunningham [72], pp. 126–135

    Google Scholar 

  70. Smith, B. M.: Caching search states in permutation problems. In: P. van Beek (ed.) CP, Lecture Notes in Computer Science, vol. 3709, pp. 637–651. Springer (2005)

    Google Scholar 

  71. Smith, I. F. C., Lottaz, C., Faltings, B.: Spatial composition using cases: Idiom. In: Veloso and Aamodt [75], pp. 88–97

    Google Scholar 

  72. Smyth, B., Cunningham, P. (eds.): Advances in Case-Based Reasoning, 4th European Workshop, EWCBR-98, Dublin, Ireland, September 1998, Proceedings, Lecture Notes in Computer Science, vol. 1488. Springer (1998)

    Google Scholar 

  73. Tonidandel, F., Rillo, M.: An accurate adaptation-guided similarity metric for case-based planning. In: Aha and Watson [4], pp. 531–545

    Google Scholar 

  74. Tonidandel, F., Rillo, M.: Case adaptation by segment replanning for case-based planning systems. In: Muñoz-Avila and Ricci [53], pp. 579–594

    Google Scholar 

  75. Veloso, M. M., Aamodt, A. (eds.): Case-Based Reasoning Research and Development, First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995, Proceedings, Lecture Notes in Computer Science, vol. 1010. Springer (1995)

    Google Scholar 

  76. Wettschereck, D., Aha, D. W.: Weighting features. In: M. Veloso, A. Aamodt (eds.) Procs. of the 1st International Conference on Case-Based Reasoning, LNAI 110, pp. 347–358. Springer (1995)

    Google Scholar 

  77. Wilson, D. R., Martinez, T. R.: Reduction Techniques for Instance-Based Learning. Machine Learning 38, 257–286 (2000)

    Article  MATH  Google Scholar 

  78. Zhuo, H., Yang, Q., Li, L.: Constraint-based case-based planning using weighted max-sat. In: McGinty and Wilson [47], pp. 374–388

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Cork Constraint Computation Centre, University College Cork, Cork, Ireland

    Derek Bridge

Authors
  1. Derek Bridge
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eoin O’Mahony
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Barry O’Sullivan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Derek Bridge .

Editor information

Editors and Affiliations

  1. Microsoft Research Cambridge, JJ Thomson Avenue 7, Cambridge, CB3 0FB, United Kingdom

    Youssef Hamadi

  2. Federico Santa María, Departamento de Informática, Universidad Técnica, Avenida España 1680, Valparaíso, Chile

    Eric Monfroy

  3. Faculté des Sciences, LERIA, Université d'Angers, Boulevard Lavoisier 2, Angers CX 01, 49045, France

    Frédéric Saubion

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bridge, D., O’Mahony, E., O’Sullivan, B. (2011). Case-Based Reasoning for Autonomous Constraint Solving. In: Hamadi, Y., Monfroy, E., Saubion, F. (eds) Autonomous Search. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21434-9_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21434-9_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21433-2

  • Online ISBN: 978-3-642-21434-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation