Abstract
This paper describes the integration of analogical reasoning into general problem solving as a method of learning at the strategy level to solve problems more effectively. The method based on derivational analogy has been fully implemented in prodigy/analogy and proven empirically to be amenable to scaling up both in terms of domain and problem complexity. prodigy/analogy addresses a set of challenging problems, namely: how to accumulate episodic problem solving experience, cases, how to define and decide when two problem solving situations are similar, how to organize a large library of planning cases so that it may be efficiently retrieved, and finally how to successfully transfer chains of problem solving decisions from past experience to new problem solving situations when only a partial match exists among corresponding problems. The paper discusses the generation and replay of the problem solving cases and we illustrate the algorithms with examples. We present briefly the library organization and the retrieval strategy. We relate this work with other alternative strategy learning methods, and also with plan reuse. prodigy/analogy casts the strategy-level learning process for the first time as the automation of the complete cycle of constructing, storing, retrieving, and flexibly reusing problem solving experience. We demonstrate the effectiveness of the analogical replay strategy by providing empirical results on the performance of prodigy/analogy, accumulating and reusing a large case library in a complex problem solving domain. The integrated learning system reduces the problem solving search effort incrementally as more episodic experience is compiled into the library of accumulated learned knowledge.
Special thanks to Jaime Carbonell for his guidance, suggestions, and discussions on this work. A reduced version of this paper was published in the Proceedings of the Twelfth National Conference on Artificial Intelligence, 1994. This research is sponsored by the Wright Laboratory, Aeronautical Systems Center, Air Force Materiel Command, USAF, and the Advanced Research Projects Agency (ARPA) under grant number F33615-93-1-1330. The views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of Wright Laboratory or the U.S. Government.
Preview
Unable to display preview. Download preview PDF.
References
R. Bareiss and J. A. King. Similarity assessment in casebased reasoning. In Proceedings of the Second Workshop on Case-Based Reasoning, pages 67–71, Pensacola, FL, May 1989. Morgan Kaufmann.
Ralph Barletta and William Mark. Explanation-based indexing of cases. In Proceedings of the First Workshop on Case-Based Reasoning, pages 50–60, Tampa, FL, May 1988. Morgan Kaufmann.
Sanjay Bhansali and Mehdi T. Harandi. Synthesis of UNIX programs using derivational analogy. Machine Learning, 10, 1993.
Brad Blumenthal. Replaying episodes of a metaphoric application interface designer. PhD thesis, University of Texas, Artificial Intelligence Lab, Austin, December 1990.
T. Cain, M. Pazzani, and G. Silverstein. Using domain knowledge to influence similarity judgments. In Proceedings of the 1991 DARPA Workshop on Case-Based Reasoning, pages 191–199. Morgan Kaufmann, May 1991.
Jaime G. Carbonell, Jim Blythe, Oren Etzioni, Yolanda Gil, Robert Joseph, Dan Kahn, Craig Knoblock, Steven Minton, Alicia Pérez, Scott Reilly, Manuela Veloso, and Xuemei Wang. PRODIGY4.0: The manual and tutorial. Technical Report CMU-CS-92-150, SCS, Carnegie Mellon University, June 1992.
Jaime G. Carbonell. Derivational analogy: A theory of reconstructive problem solving and expertise acquisition. In R. S. Michalski, J. G. Carbonell, and T. M. Mitchell, editors, Machine Learning, An Artificial Intelligence Approach, Volume II, pages 371–392. Morgan Kaufman, 1986.
Robert B. Doorenbos and Manuela M. Veloso. Knowledge organization and the utility problem. In Proceedings of the Third International Workshop on Knowledge Compilation and Speedup Learning, pages 28–34, Amherst, MA, June 1993.
Oren Etzioni. Acquiring search-control knowledge via static analysis. Artificial Intelligence, 65, 1993.
Eugene Fink and Manuela Veloso. Formalizing the PRODIGY planning algorithm. Technical Report CMU-CS-94-123, School of Computer Science, Carnegie Mellon University, 1994.
Dedre Gentner. The mechanisms of analogical learning. In S. Vosniadou and A. Ortony, editors, Similarity and Analogical Reasoning. Cambridge University Press New York, NY, 1987.
Angela K. Hickman and Jill H. Larkin. Internal analogy: A model of transfer within problems. In The 12th Annual Conference of The Cognitive Science Society, pages 53–60, Hillsdale, NJ, 1990. Lawrence Erlbaum Associates.
Subbarao Kambhampati and James A. Hendler. A validation based theory of plan modification and reuse. Artificial Intelligence, 55(2–3):193–258, 1992.
Subbarao Kambhampati and Smadar Kedar. Explanation based generalization of partially ordered plans. In Proceedings of AAAI-91, pages 679–685, 1991.
Janet Kolodner Judging which is the “best” case for a case-based reasoner. In Proceedings of the Second Workshop on Case-Based Reasoning, pages 77–81. Morgan Kaufmann, May 1989.
John E. Laird, Paul S. Rosenbloom, and Allen Newell. Chunking in SOAR: The anatomy of a general learning mechanism. Machine Learning, 1:11–46, 1986.
Steven Minton. Learning Effective Search Control Knowledge: An Explanation-Based Approach. Kluwer Academic Publishers, Boston, MA, 1988.
Tom M. Mitchell, Richard M. Keller, and Smadar T. Kedar-Cabelli. Explanation-based generalization: A unifying view. Machine Learning, 1:47–80, 1986.
Jack Mostow. Automated replay of design plans: Some issues in derivational analogy. Artificial Intelligence, 40(1–3), 1989.
Juergen Paulokat and Stefan Wess. Planning for machining workpieces with a partial-order, nonlinear planner. In Working notes of the AAAI Fall Symposium on Planning and Learning: On to Real Applications, November 1994.
M. Pazzani. Creating a Memory of Causal Relationships: An integration of empirical and explanation-based learning methods. Lawrence Erlbaum Associates, Hillsdale, NJ, 1990.
B. Porter, R. Bareiss, and R. Holte. Knowledge acquisition and heuristic classification in weak-theory domains. Technical Report AI-TR-88-96, Department of Computer Science, University of Texas at Austin, 1989.
Stuart J. Russell. Analogical and Inductive Reasoning. PhD thesis, Stanford University, 1986.
Peter Stone, Manuela Veloso, and Jim Blythe. The need for different domain-independent heuristics. In Proceedings of the Second International Conference on AI Planning Systems, June 1994.
Manuela M. Veloso and Jaime G. Carbonell. Integrating analogy into a general problem-solving architecture. In Maria Zemankova and Zbigniew Ras, editors, Intelligent Systems, pages 29–51. Ellis Horwood, Chichester, England, 1990.
Manuela M. Veloso and Jaime G. Carbonell. Derivational analogy in Prodigy: Automating case acquisition, storage, and utilization. Machine Learning, 10:249–278, 1993.
Manuela M. Veloso and Jaime G. Carbonell. Towards scaling up machine learning: A case study with derivational analogy in prodigy. In S. Minton, editor, Machine Learning Methods for Planning, pages 233–272. Morgan Kaufmann, 1993.
Manuela M. Veloso, M. Alicia Pérez, and Jaime G. Carbonell. Nonlinear planning with parallel resource allocation. In Proceedings of the DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control, pages 207–212, San Diego, CA, November 1990. Morgan Kaufmann.
Manuela M. Veloso. Nonlinear problem solving using intelligent casualcommitment. Technical Report CMU-CS-89-210, School of Computer Science, Carnegie Mellon University, 1989.
Manuela M. Veloso. Learning by Analogical Reasoning in General Problem Solving. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, August 1992. Available as technical report CMU-CS-92-174. A revised version of this manuscript will be published by Springer Verlag, 1994.
R. Waldinger. Achieving several goals simultaneously. In N. J. Nilsson and B. Webber, editors, Readings in Artificial Intelligence, pages 250–271. Morgan Kaufman, Los Altos, CA, 1981.
Hua Yang and Douglas Fisher. Similarity-based retrieval and partial reuse of macro-operators. Technical Report CS-92-13, Department of Computer Science, Vanderbilt University, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Veloso, M.M. (1994). PRODILOGY/ANALOGY: Analogical reasoning in general problem solving. In: Wess, S., Althoff, KD., Richter, M.M. (eds) Topics in Case-Based Reasoning. EWCBR 1993. Lecture Notes in Computer Science, vol 837. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58330-0_75
Download citation
DOI: https://doi.org/10.1007/3-540-58330-0_75
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58330-1
Online ISBN: 978-3-540-48655-8
eBook Packages: Springer Book Archive