Abstract | ||
---|---|---|
Analogical reasoning plays an important role for cognitively demanding tasks. 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 examples from qualitative reasoning (naive physics) and mathematics. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-89378-3_4 | Australasian Conference on Artificial Intelligence |
Keywords | Field | DocType |
qualitative reasoning,logic-based model,logical theory,appropriate representation,analogous structure,logical framework,certain circumstance,re-representation problem,analogies concern,analogical relation,analogical reasoning | Logical reasoning,Deductive reasoning,Artificial intelligence,Opportunistic reasoning,Analogy,Case-based reasoning,Reasoning system,Logical framework,Mathematics,Qualitative reasoning | Conference |
Volume | ISSN | Citations |
5360 | 0302-9743 | 2 |
PageRank | References | Authors |
0.38 | 4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ulf Krumnack | 1 | 87 | 13.03 |
Helmar Gust | 2 | 143 | 22.86 |
Kai-uwe Kühnberger | 3 | 211 | 28.67 |
Angela Schwering | 4 | 319 | 31.11 |