Abstract
By generalising our common experience, this paper addresses case-based reasoning that employs reformulations. Reformulation is useful when standard mapping is insufficient to retrieve a case. The paper provides a definition of reformulation and shows how reformulation is linked to retrieval and adaptation in the case-based reasoning cycle. Examples from case-based proof planning and case-based synthesis planning are used to illustrate the importance and realization of reformulation.
This author was supported by the Deutsche Forschungsgemeinschaft, Collaborative Research Centre SFB378
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Aamodt and E. Plaza. Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. AI Communications, 7:39–59, 1994.
C. Benzmueller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, A. Meier, E. Melis, W. Schaarschmidt, J. Siekmann, and V. Sorge. OMEGA: Towards a mathematical assistant. In W. McCune, editor, Proceedings 14th International Conference on Automated Deduction (CADE-14), pages 252–255, Townsville, 1997. Springer.
R. Bergmann and W. Wilke. On the role of abstraction in case-based reasoning. In B. Faltings and I. Smith, editors, Fourth European Workshop on Case-Based Reasoning (EWCBR-96), Lausanne, 1996.
R. Bergmann and W. Wilke. PARIS: FLexible Plan Adaptation by Abstraction and Refinement. In Vo\ [23].
R. Bergmann and W. Wilke. Towards a new formal model of transformational adaptation in case-based reasoning. In L. Gierl and M. Lenz, editors, 6th German Workshop on Case-Based Reasoning, pages 43–52, 1998.
K. Börner. Structural Similarity as Guidance in Case-Based Design. In S. Wess, K.-D. Althoff, and M.M. Richter, editors, Topics in Case-Based Reasoning — First European Workshop (EWCBR'93), Kaiserslautern, Lecture Notes in Artificial Intelligence 837, pages 197–208. Springer Verlag, Berlin, 1994.
J.G. Carbonell. Learning by analogy: Formulating and generalizing plans from past experience. In R.S. Michalsky, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: An Artificial Intelligence Approach, pages 137–162. Tioga, Palo Alto, 1983.
E. J. Corey and X.-M. Cheng. The Logic of Chemical Synthesis. John Wiley & Sons, 1989.
K. D. Forbus and D. Gentner. Learning Physical Domains: Toward a Theoretical Framework, volume 2, chapter 12, pages 311–348. Machine Learning, 1986.
J. Lieber and A. Napoli. Adaptation of Synthesis Plans in Organic Chemistry. In Vo\ [23].
J. Lieber and A. Napoli. Using Classification in Case-Based Reasoning. In W. Wahlster, editor, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), pages 132–136, Budapest, 1996. John Wiley.
J. Lieber and A. Napoli. Correct and Complete Retrieval for Case-Based Problem-Solving. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, United Kingdom, pages 68–72, 1998.
E. Melis. A model of analogy-driven proof-plan construction. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 182–189, Montreal, 1995.
E. Melis. The Heine-Borel Challenge Problem: In Honor of Woody Bledsoe. Journal of Automated Reasoning, 20(3):255–282, 1998.
E. Melis and J. Whittle. Analogy in inductive theorem proving. Journal of Automated Reasoning, 20(4), 1998.
A. Mille, B. Fuchs, and O. Herbeaux. A unifying framework for Adaptation in Case-Based Reasoning. In Vo\ [23].
E. L. Rissland and K. D. Ashley. Hypotheticals as Heuristic Device. In Proceedings Fifth National Conference on Artificial Intelligence (AAAI'86), volume 1, pages 289–297. Morgan Kaufmann, 1986.
S. Rougegrez. Similarity evaluation between observed behaviours for the prediction of processes. In S. Wess, K.-D. Althoff, and M. M. Richter, editors, Topics in Case-Based Reasoning-First European Workshop (EWCBR'93), Kaiserslautern, Lecture Notes in Artificial Intelligence 837, pages 155–166. Springer Verlag, Berlin, 1994.
J. Schumacher, W. Wilke, and B. Smyth. Domain independent adaptations using configuration techniques. In L. Gierl and M. Lenz, editors, 6th German Workshop on Case-Based Reasoning, pages 243–248, 1998.
H. Shimazu, H. Kitano, and A. Shibata. Retrieving Cases from Relational Data-Bases: Another Stride Towards Corporate-Wide Case-Based Systems. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambéry, pages 909–914, 1993.
B. Smyth and M.T. Keane. Retrieving adaptable cases. In S. Wess, K.-D. Althoff, and M.M. Richter, editors, Topics in Case-Based Reasoning — First European Workshop (EWCBR'93), Kaiserslautern, Lecture Notes in Artificial Intelligence 837, pages 209–220, Berlin, 1994. Springer Verlag, Berlin.
M.M. Veloso. Planning and Learning by Analogical Reasoning. Springer, Berlin, New York, 1994.
A. Vo\, editor. Proceedings of the ECAI'96 Workshop: Adaptation in Case-Based Reasoning. 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Melis, E., Lieber, J., Napoli, A. (1998). Reformulation in case-based reasoning. In: Smyth, B., Cunningham, P. (eds) Advances in Case-Based Reasoning. EWCBR 1998. Lecture Notes in Computer Science, vol 1488. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0056331
Download citation
DOI: https://doi.org/10.1007/BFb0056331
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64990-8
Online ISBN: 978-3-540-49797-4
eBook Packages: Springer Book Archive