| Creator |
|
|
|
| Language |
|
| Publisher |
|
|
|
| Date |
|
| Source Title |
|
| Vol |
|
| Publication Type |
|
| Access Rights |
|
| Related DOI |
|
|
|
| Related URI |
|
|
|
| Relation |
|
|
|
| Abstract |
Analogical reasoning is carried out based on an analogy which gives a similarity between a base domain and a target domain. Thus, the analogy plays an important role in analogical reasoning. However, ...computing such an analogy leads to a com- binatorial explosion. This paper introduces partially isomorphic generalizations of atoms and rules which make it possible to carry out analogical reasoning without computing the analogy, and also gives a relationship between our generalization and the analogy. Then, we give a procedure which produces such a generalization in polynomial time with respect to the length of a given atom or rule, and realize it as a Prolog program.show more
|
Export Mendeley
