Abstraction-Based Analogical Inference

  • Russell Greiner
Part of the Synthese Library book series (SYLI, volume 197)


Designing a system capable of learning new facts has long been a central theme for the general field of Artificial Intelligence; it has also been one of its greatest challenges (Feigenbaum, 1963). This chapter discusses the task of learning by understanding an analogy, describing how to use information about some well understood source analogue as a framework for proposing new conjectures about a target concept.


Atomic Formula Target Problem Initial Theory Analogy Formula Cognitive Science Society 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Buchanan, Bruce G., Mitchell, Thomas M., Smith, Reid G., and Johnson, C. R., Jr. (1978), ‘Models of learning systems’, in Encyclopedia of Computer Science and Technology, Dekker.Google Scholar
  2. Burstein, Mark H. (1983), ‘A model of learning by incremental analogical reasoning and debugging’, in AAAI-83, Washington DC, pp. 45–48.Google Scholar
  3. Carbonell, Jaime G. (1981), ‘Invariance hierarchy in metaphor interpretation’, in Proceedings of the Third Annual Conference of the Cognitive Science Society, Cognitive Science Society, Berkeley: University of California, pp. 292–295.Google Scholar
  4. Cohen, L. Jonathan and Hesse, Mary (eds.) (1980), Applications of Inductive Logic, Oxford: Claredon Press.Google Scholar
  5. Carbonell, Jaime G. and Minton, Steven (1983), Metaphor And Common-Sense Reasoning, Technical Report CMU-CS-83–110, Carnegie-Mellon University.Google Scholar
  6. Cochin, Ira (1980), Analysis and Design of Dynamic Systems, New York: Harper and Row Publishers, Inc.Google Scholar
  7. Davies, Todd R. (1985), Analogy, Bachelor of Science with Honors in the Humanities, Stanford University.Google Scholar
  8. Dietterich, Thomas G. (1986), ‘Learning at the knowledge level’, Machine Learning 1(3): 287–315.Google Scholar
  9. Darden, Lindley and Maull, Nancy (1977), ‘Interfield theories’, Philosophy of Science 44:43–64.CrossRefGoogle Scholar
  10. Fang, J. (1970), Towards a Philosophy of Modern Mathematics. Paideia series in Modern Mathematics, New York: Hauppauge.Google Scholar
  11. Feigenbaum, Edward A. (1963), ‘Part 1: Artificial Intelligence: Introduction’, in Edward A. Feigenbaum and Julian Feldman (eds.), Computers and Thought, San Francisco: McGraw-Hill Book Company, pp. 1–10.Google Scholar
  12. Falkenhainer, Brian, Forbus, Kenneth D., and Gentner, Dedre (1986), ‘The structure-mapping engine’, in AAAI-86, Philadelphia, pp. 212–11.Google Scholar
  13. Genesereth, Micheal R. (1980), ‘Metaphors and models’, in AAAI-80, Stanford University, pp. 208–211.Google Scholar
  14. Gentner, Dedre (1983), ‘Structure-mapping: a theoretical framework for analogy’, Cognitive Science 7(2).Google Scholar
  15. Goenstein, Daniel (1985), ‘The enormous theorem’, Scientific American 253(6): 104–115.CrossRefGoogle Scholar
  16. Greiner, Russell (1985), Learning by Understanding Analogies, PhD thesis, Stanford University, Technical Report STAN-CS-1071.Google Scholar
  17. Greiner, Russell (1987), Principles of Inference Processes, Technical Report CSRI-193, University of Toronto.Google Scholar
  18. Greiner, Russell (1988), ‘Learning by understanding analogies’, Artificial Intelligence: An International Journal, to appear. (Also Technical Report CSRI-188, University of Toronto, August 1986.)Google Scholar
  19. Herstein, I. N. (1964), Topics in Algebra, Waltham, MA: Xerox College Publishing.Google Scholar
  20. Hayes-Roth, Frederick and McDermott, John (1978), ‘An inference matching technique for inducing abstractions’, Communications of the ACM 21(5): 401–411.CrossRefGoogle Scholar
  21. Halasz, Frank and Moran, Thomas P. (1982), ‘Analogy considered harmful’, in Human Factors in Computer Systems, National Bureau of Standards, Gaithersburg, Maryland.Google Scholar
  22. Hobbs, Jerry R. (1983), ‘Metaphor interpretation as selective inferencing: cognitive process in understanding metaphor (part 1)’, Empirical Studies of the Arts 1(1): 17–33.CrossRefGoogle Scholar
  23. Kedar-Cabelli, Smadar (1985), ‘Purpose-directed analogy: a summary of current research’, in Thomas M. Mitchell (ed.), Proceedings of the Third International Machine Learning Workshop, Skytop, Pennsylvania: Rutgers University, pp. 80–83.Google Scholar
  24. Keyser, Cassius J. (1956), ‘The group concept’, in James R. Newman (ed.), The World of Mathematics, chapter IX. 1, New York: Simon and Schuster, pp. 1538–57.Google Scholar
  25. Lakoff, George and Johnson, Mark (1980), Metaphors We Live By, Chicago: The University of Chicago Press.Google Scholar
  26. Mill, John Stuart (1900), A System of Logic, New York: Harper and Brothers Publishers.Google Scholar
  27. Mitchell, Thomas M., Keller, Richard M., and Kedar-Cabelli, Smadar T. (1986), ‘Example-based generalization: a unifying view’, Machine Learning 1(1): 47–80.Google Scholar
  28. Newell, Allan and Simon, Herbert A. (1972), Human Problem Solving, Englewood Cliffs: Prentice-Hall.Google Scholar
  29. Polya, George (1954), ‘Induction and analogy in mathematics’, in Mathematics and Plausible Reasoning, Princeton: Princeton University Press.Google Scholar
  30. Polya, George (1957), How to Solve It: A New Aspect of Mathematical Method, Princeton: Princeton University Press.Google Scholar
  31. Rosenbloom, Paul S. and Newell, Allan (1982), ‘Learning by chunking: summary of a task and a model’, in AAAI-82, Pittsburgh.Google Scholar
  32. Rich, Charles and Schrobe, Howard E. (1978), ‘Initial report on a lisp programmer’s apprentice’, IEEE Transactions on Software Engineering, SE-4(6): 456–67. Also appeared in the IPE, pp. 443–465.CrossRefGoogle Scholar
  33. Russell, Stuart (1985), The Compleat Guide to MRS, Stanford KSL Report HPP-85–12.Google Scholar
  34. Shakespeare, William (1972), The Complete Signet Classic Shakespeare, San Francisco: Harcourt Brace Jovanovich, Inc.Google Scholar
  35. Swartout, William R. (1981), Producing Explanation and Justification of Expert Consulting Programs, PhD thesis, Massachusetts Institute of Technology.Google Scholar
  36. Utgoff, Paul E. (1984), Shift of Bias for Inductive Concept Learning, PhD thesis, Rutgers, Laboratory for Computer Science Research.Google Scholar
  37. Waters, Richard C. (1986), ‘KBEmacs: where’s the AI?’, The AI Magazine VII(1): 47–56.Google Scholar
  38. Winston, Patrick H., Binford, Thomas O., Katz, Boris, and Lowry, Micheal (1983), ‘Learning physical descriptions from functional definitions, examples, and precedents’, in AAAI-83, Washington, DC, pp. 433–39.Google Scholar
  39. Winograd, Terry (1980), ‘Extended inference modes in reasoning by computer systems’, Artificial Intelligence: An International Journal 13(1,2): 5–26.CrossRefGoogle Scholar
  40. Winston, Patrick H. (1982), Learning by Augmenting Rules and Accumulating Censors, Artificial Intelligence AIM 678, Massachusetts Institute of Technology.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1988

Authors and Affiliations

  • Russell Greiner
    • 1
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada

Personalised recommendations