Metaphors and heuristic-driven theory projection (HDTP)

Authors:
Helmar Gust;Kai-Uwe Kühnberger;Ute Schmid
Affiliations:
Institute of Cognitive Science, University of Osnabrück, Osnabrück, Germany;Institute of Cognitive Science, University of Osnabrück, Osnabrück, Germany;Department of Information Systems and Applied Computer Science, University of Bamberg, Bamberg, Germany
Venue:
Theoretical Computer Science - Algebraic methods in language processing
Year:
2006

Citing 5
Cited 14

The structure-mapping engine: algorithm and examples

Artificial Intelligence
The mechanisms of analogical learning

Similarity and analogical reasoning
Use of analogy in a production system architecture

Similarity and analogical reasoning
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
A Model of the "Redescription" Process in the Context of Geometric Proportional Analogy Problems

AII '92 Proceedings of the International Workshop on Analogical and Inductive Inference

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
The re-representation problem in a logic-based framework for analogy making

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
I-Cog: a computational framework for integrated cognition of higher cognitive abilities

MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Restricted higher-order anti-unification for analogy making

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
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
Domain transfer via cross-domain analogy

Cognitive Systems Research
Syntactic principles of heuristic-driven theory projection

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
Utilizing cognitive mechanisms in the analysis of counterfactual conditionals by AGI systems

AGI'13 Proceedings of the 6th 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

Quantified Score

Hi-index	0.00

Visualization

Abstract

A classical approach of modeling metaphoric expressions uses a source concept network that is mapped to a target concept network. Both networks are often represented as algebras. In this paper, a representation using the mathematically sound framework of heuristic-driven theory projection (HDTP) is presented which is--although quite different from classical approaches--algebraic in nature, too. HDTP has the advantage that a structural description of source and target can be given and the connection between both domains are more clearly specified. The major aspects of the formal properties of HDTP, the specification of the underlying algorithm HDTP-A, and the development of a formal semantics for analogical reasoning will be discussed. We will apply HDTP to different types of metaphors.