作成者 |
|
|
本文言語 |
|
出版者 |
|
|
発行日 |
|
収録物名 |
|
巻 |
|
出版タイプ |
|
アクセス権 |
|
関連DOI |
|
|
関連URI |
|
|
関連情報 |
|
|
概要 |
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.続きを見る
|