The mechanisms of analogical learning
Similarity and analogical reasoning
Journal of Experimental & Theoretical Artificial Intelligence
The Copycat project: a model of mental fluidity and analogy-making
Fluid concepts and creative analogies
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
Re-representation in a Logic-Based Model for Analogy Making
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Learning from Inconsistencies in an Integrated Cognitive Architecture
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Analogy as Integrating Framework for Human-Level Reasoning
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Spatial cognition of geometric figures in the context of proportional analogies
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Rationality and general intelligence
AGI'11 Proceedings of the 4th international conference on Artificial general intelligence
Refinements of restricted higher-order anti-unification for heuristic-driven theory projection
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Syntactic principles of heuristic-driven theory projection
Cognitive Systems Research
A computational account of conceptual blending in basic mathematics
Cognitive Systems Research
Complex analogies: remarks on the complexity of HDTP
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Creativity, cognitive mechanisms, and logic
AGI'12 Proceedings of the 5th international conference on Artificial General Intelligence
When almost is not even close: remarks on the approximability of HDTP
AGI'13 Proceedings of the 6th international conference on Artificial General Intelligence
Anti-unification for Unranked Terms and Hedges
Journal of Automated Reasoning
| Hi-index | 0.00 |
Anti-unification has often be used as a tool for analogy making. But while first-order anti-unification is too simple for many applications, general higher-order anti-unification is too complex and leads into theoretical difficulties. In this paper we present a restricted framework for higher-order substitutions and show that anti-unification is well-defined in this setting. A complexity measure for generalizations can be introduced in a quite natural way, which allows for selecting preferred generalizations. An algorithm for computing such generalizations is presented and the utility of complexity for anti-unifying sets of terms is discussed by an extended example.