Analogical reasoning using transformations of rules

  • Makoto Haraguchi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)


Regarding analogical reasoning as a deduction with a function of transforming logical rules, this paper presents a formalism of analogical reasoning in terms of deduction. This paper also presents a method, which is an extension of Prolog interpreter, to realize the analogical reasoning in logic programming system.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Haraguchi, M. (1985): Towards a Mathematical Theory of Analogy, Bull. of Inform. Cybernetics, 21, 29–56.Google Scholar
  2. [2]
    Plotkin, G.D. (1970): A Note on Inductive Generalization, Machine Intelligence 5, 153–216.Google Scholar
  3. [3]
    Polya, G. (1954): Induction and Analogy in Mathematics, Princeton University Press.Google Scholar
  4. [4]
    Winston, P.H. (1980): Learning and Reasoning by Analogy, Comm. ACM, 23, 689–703.CrossRefGoogle Scholar
  5. [5]
    Winston, P.H. (1983): Learning New Principles from Precedents and Exercises, Artificial Intelligence, 19, 321–350.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Makoto Haraguchi
    • 1
  1. 1.Research Institute of Fundamental Information ScienceKyushu UniversityFukuokaJapan

Personalised recommendations