Creator |
|
Language |
|
Publisher |
|
|
Date |
|
Source Title |
|
Vol |
|
Issue |
|
First Page |
|
Last Page |
|
Publication Type |
|
Access Rights |
|
Crossref DOI |
|
Related DOI |
|
|
Related URI |
|
|
Relation |
|
|
Abstract |
A formalism of analogical reasoning is presented. The analogical reasoning can be considered as a deduction with a function of transforming logical rules. From this viewpoint, the reasoning is defined... in terms of deduction, and is therefore realized in a logic programming system. The reasoning system is described as an extension of Prolog interpreter.show more
|