Syntactic principles of heuristic-driven theory projection |
| |
Authors: | Angela Schwering Ulf Krumnack Kai-Uwe Kühnberger Helmar Gust |
| |
Affiliation: | 1. University of Osnabrück, Germany;2. New Bulgarian University, Bulgaria |
| |
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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|