Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Logic Programming '86 (LP 1986)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 264))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Apt, K.R. and van Emden, M.H. (1982): Contribution to the theory of logic programming, JACM, 29, 3, 841–862.

    Google Scholar 

  • 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 

  • Gentner, P. (1982): Are scientific analogies metaphors?, in Metaphor: Problems and Perspectives, D.S. Miall (Ed.), The Harvester Press, Sussex, 106–132.

    Google Scholar 

  • 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 

  • Haraguchi, M. (1986): Analogical reasoning using transformations of rules, Bull. of Infor. Cybernetics, 22.

    Google Scholar 

  • Haraguchi, M. and Arikawa, S. (1986): A formulation and a realization of analogical reasoning, Journal of JSAI, 1, 1 (in Japanese).

    Google Scholar 

  • Lloyd, J.W. (1984): Foundations of logic programming, Springer-Verlag.

    Google Scholar 

  • Polya, G. (1954): Induction and analogy in mathematics, Princeton University Press.

    Google Scholar 

  • Winston, P.H. (1980): Learning and reasoning by analogy, CACM, 23, 689–703.

    Google Scholar 

  • Winston, P.H. (1983): Learning new principles from precedents and exercises, Artificial Intelligence, 19, 321–350.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Institute of Fundamental Information Science, Kyushu University 33, 812, Fukuoka, Japan

    Makoto Haraguchi & Setsuo Arikawa

Authors
  1. Makoto Haraguchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Setsuo Arikawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eiiti Wada

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Haraguchi, M., Arikawa, S. (1987). A foundation of reasoning by analogy: Analogical union of logic programs. In: Wada, E. (eds) Logic Programming '86. LP 1986. Lecture Notes in Computer Science, vol 264. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18024-9_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-18024-9_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18024-1

  • Online ISBN: 978-3-540-47712-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation