Restricted higher-order anti-unification for analogy making

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4830 LNAI, Issue , 2007, Pages 273-282

  Krumnack, Ulf ^a   Schwering, Angela ^a   Gust, Helmar ^a   Kühnberger, Kai Uwe ^a  

^a Institute of Cognitive Science   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; SET THEORY;

ANALOGY MAKING; ANTI-UNIFICATION;

ARTIFICIAL INTELLIGENCE;

EID: 38349037581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76928-6_29     Document Type: Conference Paper

References (11)

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)
2. 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)
3. Holyoak, K., Morrison, R. (eds.): The Cambridge handbook on thinking and reasoning. Cambridge University Press, Cambridge (2005)
4. Oppenheimer: Analogy in science. American Psychologist 11, 127-135 (1956)
5. Gentner, D.: The mechanism of analogical learning. In: Vosniadou, S., Ortony, A. (eds.) Similarity and analogical reasoning, pp. 199-241. Cambridge University Press, Cambridge (1989)
6. Hofstadter, D.R., Mitchell, J.: The copycat project: A model of mental fluidity and analogy-making. In: Hofstadter, D.R., group, F.A.R. (eds.) Fluid Concepts and Creative Analogies. Basic Books, pp. 205-267 (1995)
7. Plotkin, G.D.: A note on inductive gneralization. Machine Intelligence 5, 153-163 (1970)
8. Gust, H., Kühnberger, K.U., Schmid, U.: Metaphors and heuristic-driven theory projection (hdtp). Theoretical Computer Science 354(1), 98-117 (2006)
9. Hasker, R.W.: The replay of program derivations. PhD thesis, Champaign, IL, USA (1995)
10. Pfenning, F.: Unification and anti-unification in the Calculus of Constructions. In: Sixth Annual IEEE Symposium on Logic in Computer Science, Amsterdam, The Netherlands, pp. 74-85 (1991)
11. Wagner, U.: Combinatorically restricted higher order anti-unification. An application to programming by analogy. Master's thesis, Technische Universität Berlin (2002)