A foundation of reasoning by analogy: Analogical union of logic programs
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.
KeywordsLogic Program Logic Programming Predicate Symbol Partial Identity Ground Atom
Unable to display preview. Download preview PDF.
- 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