Refinements of restricted higher-order anti-unification for heuristic-driven theory projection

Authors:
Martin Schmidt;Helmar Gust;Kai-Uwe Kühnberger;Ulf Krumnack
Affiliations:
University of Osnabrück, Institute of Cognitive Science, Osnabrück, Germany;University of Osnabrück, Institute of Cognitive Science, Osnabrück, Germany;University of Osnabrück, Institute of Cognitive Science, Osnabrück, Germany;University of Osnabrück, Institute of Cognitive Science, Osnabrück, Germany
Venue:
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Year:
2011

Citing 6
Cited 2

The structure-mapping engine: algorithm and examples

Artificial Intelligence
Similarity and analogical reasoning

Similarity and analogical reasoning
The mechanisms of analogical learning

Similarity and analogical reasoning
High-level perception, representation, and analogy: a critique of artificial intelligence methodology

Journal of Experimental & Theoretical Artificial Intelligence
Metaphors and heuristic-driven theory projection (HDTP)

Theoretical Computer Science - Algebraic methods in language processing
Restricted higher-order anti-unification for analogy making

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence

Complex analogies: remarks on the complexity of HDTP

AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial 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

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.