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.
Preview
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.
Clark, K.L. (1978): Negation as Failure, in Logic and Databases, H. Gallaire and J. Minker (Eds.), Plenum Press, New York, 293–322.
Gentner, P. (1982): Are scientific analogies metaphors?, in Metaphor: Problems and Perspectives, D.S. Miall (Ed.), The Harvester Press, Sussex, 106–132.
Haraguchi, M. and Arikawa, S. (1985): Analogical reasoning based on the theory of analogy, Res. Rept. Inst. Fund. Inform. Sci. Kyushu Univ., No. 105.
Haraguchi, M. (1986): Analogical reasoning using transformations of rules, Bull. of Infor. Cybernetics, 22.
Haraguchi, M. and Arikawa, S. (1986): A formulation and a realization of analogical reasoning, Journal of JSAI, 1, 1 (in Japanese).
Lloyd, J.W. (1984): Foundations of logic programming, Springer-Verlag.
Polya, G. (1954): Induction and analogy in mathematics, Princeton University Press.
Winston, P.H. (1980): Learning and reasoning by analogy, CACM, 23, 689–703.
Winston, P.H. (1983): Learning new principles from precedents and exercises, Artificial Intelligence, 19, 321–350.
Author information
Authors and Affiliations
Editor information
Rights 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