Fluid concepts and creative analogies: computer models of the fundamental mechanisms of thought
Fluid concepts and creative analogies: computer models of the fundamental mechanisms of thought
The replay of program derivations
The replay of program derivations
Metaphors and heuristic-driven theory projection (HDTP)
Theoretical Computer Science - Algebraic methods in language processing
E-generalization using grammars
Artificial Intelligence
Restricted higher-order anti-unification for analogy making
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
| Hi-index | 0.00 |
Analogical reasoning plays an important role for cognitively demanding tasks. A major challenge in computing analogies concerns the problem of adapting the representation of the domains in a way that the analogous structures become obvious, i.e. finding and, in certain circumstances, generating appropriate representations that allow for computing an analogical relation. We propose to resolve this re-representation problem of analogy making in a logical framework based on the anti-unification of logical theories. The approach is exemplified using examples from qualitative reasoning (naive physics) and mathematics.