Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger, Angela Schwering
Analogical reasoning plays an important role for cognitively demanding tasks. The comparison of parallel structures in two different domains allows the transfer of knowledge and thereby yields to new insights. A major challenge in computing analogies concerns the problem of adapting the representation of the domains in a way that the analogous structures become obvious, i.e. finding and, in certain circumstances, generating appropriate representations that allow for computing an analogical relation. We propose to resolve this re-representation problem of analogy making in a logical framework based on the anti-unification of logical theories. The approach is exemplified using an example from a domain of qualitative reasoning (naive physics).
Subjects: 5. Common Sense Reasoning; 11. Knowledge Representation
Submitted: Apr 15, 2008