The Re-Representation Problem in a Logic-Based Framework for Analogy Making

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

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.