Analogical reasoning using transformations of rules
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.
- Haraguchi, M. (1985): Towards a Mathematical Theory of Analogy, Bull. of Inform. Cybernetics, 21, 29–56.Google Scholar
- Plotkin, G.D. (1970): A Note on Inductive Generalization, Machine Intelligence 5, 153–216.Google Scholar
- Polya, G. (1954): Induction and Analogy in Mathematics, Princeton University Press.Google Scholar