Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection

  • Martin Schmidt
  • Helmar Gust
  • Kai-Uwe Kühnberger
  • Ulf Krumnack
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7006)


Empirical research supports the belief that structural commonalities between two domains are the main guidance for the construction of analogies. Restricted higher-order anti-unification has been shown suitable to find structural commonalties and generate mappings between domains in the symbolic analogy model Heuristic-Driven Theory Projection (HDTP). This paper will describe how to enforce and integrate restrictions on mappings between symbols from a many-to-many up to a one-to-one symbol correspondence. We will also discuss how sorts together with sortal ontologies can be incorporated into anti-unification within HDTP and thereby restrict possible mappings between domains.


General Generalization Term Structure Basic Substitution Target Domain Analogical Reasoning 
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. 1.
    Chalmers, D.J., French, R.M., Hofstadter, D.R.: High-level perception, representation, and analogy: A critique of artificial intelligence methodology. Journal of Experimental and Theoretical Artificial Intelligence 4(3), 185–211 (1992)CrossRefGoogle Scholar
  2. 2.
    Falkenhainer, B., Forbus, K.D., Gentner, D.: The structure-mapping engine: Algorithm and examples. Artificial Intelligence 41(1), 1–63 (1989)CrossRefzbMATHGoogle Scholar
  3. 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. Journal of Experimental & Theoretical Artificial Intelligence 10, 231–257 (1998)CrossRefGoogle Scholar
  4. 4.
    Gentner, D.: Structure-mapping: A theoretical framework for analogy. Cognitive Science 7(2), 155–170 (1983)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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 (2010)Google Scholar
  7. 7.
    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
  8. 8.
    Gust, H., Kühnberger, K.U., Schmid, U.: Metaphors and heuristic-driven theory projection (HDTP). Theoretical Computer Science 354(1), 98–117 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Indurkhya, B.: Metaphor and cognition. Kluver, Dodrecht (1992)CrossRefGoogle Scholar
  10. 10.
    Krumnack, U., Schwering, A., Gust, H., Kühnberger, K.U.: Restricted higher-order anti-unification for analogy making. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 273–282. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    McNeill, F., Bundy, A.: Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution. IJSWIS (International Journal on Semantic Web and Information Systems) special issue on Ontology Matching 3, 1–35 (2007)CrossRefGoogle Scholar
  12. 12.
    Schmidt, M.: Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection, PICS (Publications of the Institute of Cognitive Science), vol. 31. University of Osnabrück, Osnabrück (2010)Google Scholar
  13. 13.
    Vosniadou, S., Ortony, A.: Similarity and analogical reasoning. Cambridge University Press, Cambridge (1989)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Martin Schmidt
    • 1
  • Helmar Gust
    • 1
  • Kai-Uwe Kühnberger
    • 1
  • Ulf Krumnack
    • 1
  1. 1.Institute of Cognitive ScienceUniversity of OsnabrückOsnabrückGermany

Personalised recommendations