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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1016/j.cogsys.2008.09.002 | Cognitive Systems Research |
Keywords | Field | DocType |
logic based analogical reasoning,cognitive science,anti-unification,first-order logic theory,heuristic-driven theory projection,formal level,analogy,analogical reasoning,analogy making,artificial intelligence,important role,human cognition,cognitive ability,syntactic principle,analogical learning,artificial intelligent,first order logic | Analogical reasoning,Anti-unification,Heuristic,Cognitive science,Cognitive psychology,Psychology,Artificial intelligence,Analogy,Cognition,Syntax,Machine learning | Journal |
Volume | Issue | ISSN |
10 | 3 | Cognitive Systems Research |
Citations | PageRank | References |
13 | 1.10 | 15 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Angela Schwering | 1 | 319 | 31.11 |
Ulf Krumnack | 2 | 87 | 13.03 |
Kai-uwe Kühnberger | 3 | 211 | 28.67 |
Helmar Gust | 4 | 143 | 22.86 |