publication . Article . 1986

ANALOGICAL REASONING USING TRANSFORMATIONS OF RULES

Haraguchi, Makoto; 原口, 誠;
Open Access English
  • Published: 01 Mar 1986 Journal: Bulletin of informatics and cybernetics, volume 22, issue 1/2, pages 1-8 (issn: 0286-522X, Copyright policy)
  • Publisher: Research Association of Statistical Sciences
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.
Subjects
acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
arxiv: Computer Science::Logic in Computer Science
Download from
JAIRO
Article . 1986
Provider: JAIRO
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue