A foundation of reasoning by analogy: Analogical union of logic programs

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


This paper presents a theoretical foundation of reasoning by analogy between logic programs. We give a formal definition of reasoning by analogy in terms of logic programming. We also introduce a notion of analogical union of logic programs by which we characterize the reasoning. Then we can regard the reasoning as a deduction from the analogical union. Based on this characterization, we present a general framework which is useful for discussing various requirements of analogies.


Logic Program Logic Programming Predicate Symbol Partial Identity Ground Atom 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Apt, K.R. and van Emden, M.H. (1982): Contribution to the theory of logic programming, JACM, 29, 3, 841–862.Google Scholar
  2. Clark, K.L. (1978): Negation as Failure, in Logic and Databases, H. Gallaire and J. Minker (Eds.), Plenum Press, New York, 293–322.Google Scholar
  3. Gentner, P. (1982): Are scientific analogies metaphors?, in Metaphor: Problems and Perspectives, D.S. Miall (Ed.), The Harvester Press, Sussex, 106–132.Google Scholar
  4. Haraguchi, M. and Arikawa, S. (1985): Analogical reasoning based on the theory of analogy, Res. Rept. Inst. Fund. Inform. Sci. Kyushu Univ., No. 105.Google Scholar
  5. Haraguchi, M. (1986): Analogical reasoning using transformations of rules, Bull. of Infor. Cybernetics, 22.Google Scholar
  6. Haraguchi, M. and Arikawa, S. (1986): A formulation and a realization of analogical reasoning, Journal of JSAI, 1, 1 (in Japanese).Google Scholar
  7. Lloyd, J.W. (1984): Foundations of logic programming, Springer-Verlag.Google Scholar
  8. Polya, G. (1954): Induction and analogy in mathematics, Princeton University Press.Google Scholar
  9. Winston, P.H. (1980): Learning and reasoning by analogy, CACM, 23, 689–703.Google Scholar
  10. Winston, P.H. (1983): Learning new principles from precedents and exercises, Artificial Intelligence, 19, 321–350.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Makoto Haraguchi
    • 1
  • Setsuo Arikawa
    • 1
  1. 1.Research Institute of Fundamental Information ScienceKyushu University 33FukuokaJapan

Personalised recommendations