Metaphors and heuristic-driven theory projection (HDTP)

Theoretical Computer Science

Volumn 354, Issue 1, 2006, Pages 98-117

  Gust, Helmar ^a   Kühnberger, Kai Uwe ^a   Schmid, Ute ^b  

^a UNIVERSITY OF OSNABRÜCK   (Germany)

^b UNIVERSITY OF BAMBERG   (Germany)

Author keywords

Analogies; Anti unification; HDTP; Metaphors

Indexed keywords

HEURISTIC METHODS; SEMANTICS; SIMULATION;

ANTI-UNIFICATION; METAPHORS;

COMPUTER SCIENCE;

EID: 33644590081     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.11.009     Document Type: Conference Paper

References (27)

1. J. Anderson, R. Thompson, Use of analogy in a production system architecture, in: A. Vosniadou, A. Ortony (Eds.), Similarity and Analogical Reasoning, Cambridge, 1989, pp. 267-297.
2. J. Burghardt, B. Heinz, Implementing anti-unification modulo equational theory, Tech. Rep., Arbeitspapiere der GMD, 1006, 1996.
3. M. Dastani, Languages of perception, ILLC Dissertation Series 1998-05, 1998, http://www.cs.uu.nl/mehdi/publications/thesis.ps.ps.
4. M. Dastani, and B. Indurkhya An algebraic approach to similarity and categorization An Interdisciplinary Workshop on Similarity and Categorization 1997 Edinburgh Scotland
5. M. Dastani, B. Indurkhya, R. Scha, An algebraic method for solving proportional analogy problems involving sequential patterns, Mind II: Computational Models of Creative Cognition, Dublin, 1997, pp. 1-15.
6. T. Evans A program for the solution of a class of geometric-analogy intelligence-questions M. Minsky Semantic Information Processing 1968 MIT press Cambridge, MA 271 353
7. B. Falkenhainer, K. Forbus, and D. Gentner The structure-mapping engine: algorithm and example Artif. Intell. 41 1989 1 63
8. D. Gentner, The mechanisms of analogical learning, in: S. Vosniadou, A. Ortony (Eds.), Similarity and Analogical Reasoning, Cambridge, 1989, pp. 199-241.
9. D. Gentner Structure-mapping: a theoretical framework for analogy Cognitive Sci. 7 1983 155 170
10. D. Gentner, B. Bowdle, P. Wolff, C. Boronat, Metaphor is like analogy, in: D. Gentner, K. Holyoak, B. Kokinov (Eds.), The Analogical Mind: Perspectives from Cognitive Science, Cambridge, MA, 2001, 199-253.
11. D. Griffiths, The Classical Era (1897-1932), New York, 1987.
12. H. Gust, K.-U. Kühnberger, U. Schmid, Anti-unification of axiomatic systems, Tech. Rep. 2003, http://www.cogsci.uos.de/ ∼ helmar/analogy1.ps/.
13. H. Gust, K.-U. Kühnberger, U. Schmid, Solving predictive analogy tasks with anti-unification, Proc. Joint Internat. Conf. Cognitive Science 2003 (ICCS ASCS 2003), Sydney.
14. H. Gust, K.-U. Kühnberger, and U. Schmid Metaphors and anti-unification F. Spoto G. Scollo A. Nijholt Proc. Twenty-First Workshop on Language Technology: Algebraic Methods in Language Processing 2003 Verona Italy 111 123
15. H. Gust, K.-U. Kühnberger, and U. Schmid Ontological aspects of computing analogies Proc. Sixth Internat. Conf. Cognitive Modeling 2004 Lawrence Earlbaum Mahwah, NJ
16. J. Hummel, and K. Holyoak Distributed representation of structure: a theory of analogical access and mapping Psychol. Rev. 104 3 1997 427 466
17. D. Hofstadter, The Fluid Analogies Research Group, Fluid Concepts and Creative Analogies, New York, 1995.
18. B. Indurkhya Metaphor and Cognition 1992 Kluwer Dordrecht, The Netherlands
19. B. Jain, and F. Wysotzki Self-organizing recognition and classification of relational structures Proc. 24th Annu. Meeting of the Cognitive Science Society 2002 Fairfax Virginia, Mahwah, NJ 488 493
20. F. Klix Analytische Betrachtungen über Struktur und Funktion von Inferenzen Z. Psychol. 201 1993 393 414
21. B. Kokinov, A. Petrov, Integrating memory and reasoning in analogy-making: the AMBR model, in: D. Gentner, K. Holyoak, B. Kokinov (Eds.), The Analogical Mind: Perspectives from Cognitive Science, Cambridge, MA, 2001, pp. 59-124.
22. S. O'Hara A model of the redescription process in the context of geometric proportional analogy problems Proc. Internat. Workshop on Analogy and Inductive Inference (AII'92) 1992 Springer Berlin 268 293
23. G. Plotkin A note on inductive generalization Mach. Intell. 5 1969 153 163
24. J. Reynolds Transformational systems and the algebraic structure of atomic formulas Mach. Intell. 5 1970 135 151
25. U. Schmid, H. Gust, K.-U. Kühnberger, J. Burghardt, An Algebraic Framework for Solving Proportional and Predictive Analogies, in: F. Schmalhofer, R. Young, G. Katz (Eds.), Proc. European Conf. Cognitive Science, Osnabrück, Germany, 2003, Lawrence Earlbaum, NJ, 2003, pp. 295-300.
26. J. Thomson, On the structure of the atom: an investigation of the stability and periods of oscillation of a number of corpuscles arranged at equal intervals around the circumference of a circle; with application of the results to the theory of atomic structure, Philos. Mag., Series 6, 7(39), (1904) 237-265.
27. U. Wagner, Combinatorically restricted higher order anti-unification - an application to programming by analogy, Diploma Thesis, Technical University of Berlin, 2002.