Syntactic principles of heuristic-driven theory projection

Angela Schwering, Ulf Krumnack, Kai-Uwe Kühnberger, Helmar Gust
2009 Cognitive Systems Research  
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 articial 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
more » ... the source and the target domain as rst-order logic theories and compares them for structural commonalities using anti-unication. The paper provides an overview of the syntactic principles of HDTP, explains all phases of analogy making on a formal level, and illustrates these phases with examples.
doi:10.1016/j.cogsys.2008.09.002 fatcat:c3s6rhmxibavzp7taeslvdiaxu