Skip to main content
SpringerLink
Log in
Book cover

Computational Approaches to Analogical Reasoning: Current Trends pp 163–194Cite as

Heuristic-Driven Theory Projection: An Overview

  • Chapter
  • First Online:

Part of the book series: Studies in Computational Intelligence ((SCI,volume 548))

Abstract

This chapter provides a concise overview of Heuristic-Driven Theory Projection (HDTP), a powerful framework for computing analogies. The chapter attempts to illuminate HDTP from several different perspectives. On the one hand, the syntactic basis of HDTP is formally specified, in particular, restricted higher-order anti-unification together with a complexity measure is described as the core process to compute a generalization given two input domains (source and target). On the other hand, the substitution-governed alignment and mapping process is analyzed together with the transfer of knowledge from source to target in order to induce hypotheses on the target domain. Additionally, this chapter presents some core ideas concerning the semantics of HDTP as well as the algorithm that computes analogies given two input domains. Finally, some further remarks describe the different (but important) roles heuristics play in this framework.

This is a preview of subscription content, 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 EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Learn about institutional subscriptions

Notes

  1. 1.

    Complexity was choosen here to reflect that this is not concerned with the computation cost involved but with how structurally complex the substitutions and thereby mappings are.

References

  1. Chalmers, D.J., French, R.M., Hofstadter, D.R.: High-level perception, representation, and analogy: a critique of artificial intelligence methodology. J. Exp. Theor. Artif. Intell. 4(3), 185–211 (1992)

    Article  Google Scholar 

  2. Falkenhainer, B., Forbus, K.D., Gentner, D.: The structure-mapping engine: algorithm and examples. Artif. Intell. 41(1), 1–63 (1989)

    Article  MATH  Google Scholar 

  3. Forbus, K.D., Gentner, D., Markman, A.B., Ferguson, R.W.: Analogy just looks like high-level perception: why a domain-general approach to analogical mapping is right. J. Exp. Theor. Artif. Intell. 10, 231–257 (1998)

    Article  Google Scholar 

  4. Furtado, A.L.: Analogy by generalization-and the quest of the grail. SIGPLAN Not. 27(1), 105–113 (1992)

    Google Scholar 

  5. Gentner, D.: Structure-mapping: a theoretical framework for analogy. Cogn. Sci. 7(2), 155–170 (1983)

    Article  Google Scholar 

  6. Gentner, D.: The Mechanism of Analogical Learning. In: Vosniadou, S., Ortony, A. (eds.) Similarity and analogical reasoning, pp. 199–241. Cambridge University Press, New York (1989)

    Chapter  Google Scholar 

  7. Gentner, D., Forbus, K.D.: Computational models of analogy. Wiley interdisciplinary reviews. Cogn. Sci. 2(3), 266–276 (2010)

    Google Scholar 

  8. Guarini, M., Butchart, A., Smith, P.S., Moldovan, A.: Resources for research on analogy: a multi-disciplinary guide. Informal Log. 29(2), 84–197 (2009)

    Google Scholar 

  9. Guhe, M., Pease, A., Smaill, A., Schmidt, M., Gust, H., Kühnberger, K.U., Krumnack, U.: Mathematical reasoning with higher-order anti-unification. In: Proceedings of the 32nd Annual Conference of the Cognitive Science Society, pp. 1992–1997. Cognitive Science Society, Austin, TX (2010)

    Google Scholar 

  10. Gust, H., Krumnack, U., Kühnberger, K.U., Schwering, A.: Analogical reasoning: A core of cognition. Zeitschrift für Künstliche Intelligenz (KI), Themenheft KI und Kognition 1, 8–12 (2008)

    Google Scholar 

  11. Gust, H., Kühnberger, K.U., Schmid, U.: Metaphors and heuristic-driven theory projection (HDTP). Theoret. Comput. Sci. 354(1), 98–117 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  12. Hasker, R.W.: The replay of program derivations. Ph. D thesis, University of Illinois at Urbana-Champaign (1995)

    Google Scholar 

  13. Heinz, B.: Anti-Unifikation Modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung. R. Oldenbourg Verlag, Wien (1996)

    MATH  Google Scholar 

  14. Hirata, K.: A note on rule-finding abduction. Research Institute of Fundamental Information Science. Kyushu University, technical report (1994)

    Google Scholar 

  15. Hirowatari, E., Arikawa, S.: Partially isomorphic generalization and analogical reasoning. In: Proceedings of European Conference on Machine Learning (1994), Lecture Notes in Artificial Intelligence, vol. 784, pp. 363–366 (1994)

    Google Scholar 

  16. Hirowatari, E., Arikawa, S.: Partially isomorphic generalization and analogical reasoning. In: Proceedings of the European Conference on Machine Learning (ECML) 94. Lecture Notes in Computer Science, vol. 784, pp. 363–366. Springer (1994)

    Google Scholar 

  17. Hofstadter, D.R., Mitchell, J.: The copycat project: a model of mental fluidity and analogy-making. In: Hofstadter, D.R., Fluid Analogies Research Group (eds.) Fluid Concepts and Creative Analogies, pp. 205–267. Basic Books, New York (1995)

    Google Scholar 

  18. Holyoak, K., Morrison, R. (eds.): The Cambridge Handbook on Thinking and Reasoning. Cambridge University Press, Cambridge (2005)

    Google Scholar 

  19. Indurkhya, B.: Metaphor and Cognition. Kluver, Dodrecht (1992)

    Book  Google Scholar 

  20. Krumnack, U., Schwering, A., Gust, H., Kühnberger, K.U.: Restricted higher-order anti-unification for analogy making. In: AI 2007: Advances in Artificial Intelligence. Lecture Notes of Artificial Intelligence, vol. 4830, pp. 273–282. Springer, Berlin (2007)

    Google Scholar 

  21. Kurzen, L.M.: Analogy and Bisimulation: A Comparison of Indurkhya’s Cognitive Models and Heuristic-Driven Theory Projection, PICS (Publications of the Institute of Cognitive Science), vol. 2005–10. University of Osnabrück, Osnabrück (2005).

    Google Scholar 

  22. Newell, A., Simon, H.A.: Computer science as empirical inquiry: symbols and search. Commun. ACM 19, 113–126 (1976)

    Google Scholar 

  23. Plotkin, G.D.: A note on inductive generalization. Mach. Intell. 5, 153–163 (1970)

    MathSciNet  Google Scholar 

  24. Reynolds, J.: Transformational systems and the algebraic structure of atomic formulas. Mach. Intell. 5, 135–153 (1970)

    Google Scholar 

  25. Robere, R., Besold, T.R.: Complex analogies: Remarks on the complexity of HDTP. In: Thielscher, M., Zhang, D. (eds.) Australasian Conference on Artificial Intelligence. Lecture Notes in Computer Science, vol. 7691, pp. 530–542. Springer (2012)

    Google Scholar 

  26. Rutherford, E.: The scattering of \(\alpha \) and \(\beta \) particles by matter and the structure of the atom. Philos. Mag. Series 6(21), 669–688 (1911)

    Article  Google Scholar 

  27. Schmidt, M.: Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection, PICS (Publications of the Institute of Cognitive Science), vol. 2010–31. University of Osnabrück, Osnabrück (2010).

    Google Scholar 

  28. Schmidt, M., Krumnack, U., Kühnberger, K.U., Gust, H.: Refinements of restricted higher-order anti-unification for heuristic-driven theory projection. In: Bach, J., Edelkamp, S. (eds.) KI 2011: Advances in Artificial Intelligence 34th Annual German Conference on AI, Berlin, Germany, Oct 4–7, 2011. Proceedings, Lecture Notes in Computer Science, vol. 7006/2011, pp. 289–300. Springer, Berlin (2011)

    Google Scholar 

  29. Schwering, A., Krumnack, U., Kühnberger, K.U., Gust, H.: Syntactic principles of Heuristic-driven theory projection. Special issue on analogies—integrating cognitive abilities. J. Cogn. Syst. Res. 10(3), 251–269 (2009)

    Google Scholar 

  30. Schwering, A., Krumnack, U., Kühnberger, K.U., Gust, H. (eds.): Investigating Experimentally Problem Solving Strategies in Geometric Proportional Analogies, Publications of the Institute of Cognitive Science, vol. 30–2010. Institute of Cognitive Science, Osnabrück (2010)

    Google Scholar 

  31. Vosniadou, S., Ortony, A.: Similarity and Analogical Reasoning. Cambridge University Press, Cambridge (1989)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Cognitive Science, University of Osnabrück, Osnabrück, Germany

    Martin Schmidt, Ulf Krumnack, Helmar Gust & Kai-Uwe Kühnberger

Authors
  1. Martin Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ulf Krumnack
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Helmar Gust
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kai-Uwe Kühnberger
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Schmidt .

Editor information

Editors and Affiliations

  1. IRIT-CNRS, University of Toulouse, Toulouse, France

    Henri Prade

  2. IRIT-CNRS, University of Toulouse, Toulouse, France

    Gilles Richard

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Schmidt, M., Krumnack, U., Gust, H., Kühnberger, KU. (2014). Heuristic-Driven Theory Projection: An Overview. In: Prade, H., Richard, G. (eds) Computational Approaches to Analogical Reasoning: Current Trends. Studies in Computational Intelligence, vol 548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54516-0_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-54516-0_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-54515-3

  • Online ISBN: 978-3-642-54516-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation