Syntactic principles of heuristic-driven theory projection

Authors:
Angela Schwering;Ulf Krumnack;Kai-Uwe Kühnberger;Helmar Gust
Affiliations:
University of Osnabrück, Albrechtstr. 28, 49076 Osnabruück, Germany;University of Osnabrück, Albrechtstr. 28, 49076 Osnabruück, Germany;University of Osnabrück, Albrechtstr. 28, 49076 Osnabruück, Germany;University of Osnabrück, Albrechtstr. 28, 49076 Osnabruück, Germany
Venue:
Cognitive Systems Research
Year:
2009

Citing 14
Cited 6

Mental models: towards a cognitive science of language, inference, and consciousness

Mental models: towards a cognitive science of language, inference, and consciousness
The structure-mapping engine: algorithm and examples

Artificial Intelligence
Analog retrieval by constraint satisfaction

Artificial Intelligence
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
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 Copycat project: a model of mental fluidity and analogy-making

Fluid concepts and creative analogies
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
Metaphors and heuristic-driven theory projection (HDTP)

Theoretical Computer Science - Algebraic methods in language processing
Integrating natural language, knowledge representation and reasoning, and analogical processing to learn by reading

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Analogical learning in a turn-based strategy game

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Building robots with analogy-based anticipation

KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
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
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
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

Analogy making is a central construct in human cognition and plays an important role to explain cognitive abilities. While various psychologically or neurally inspired theories for analogical reasoning have been proposed, there is a lack of a logical foundation for analogical reasoning in artificial intelligence and cognitive science. We aim to close this gap and propose heuristic-driven theory projection (HDTP), a mathematically sound framework for analogy making. HDTP represents knowledge about the source and the target domain as first-order logic theories and compares them for structural commonalities using anti-unification. The paper provides an overview of the syntactic principles of HDTP, explains all phases of analogy making at a formal level, and illustrates these phases with examples.