A Reasoning System using Inductive Inference of Analogical Union
Tetsuhiro Miyahara · Bulletin of informatics and cybernetics · 1989
Analogical reasoning derives a new fact based on the analogous facts previously known. Inductive inference is a process of gaining a general rule from examples. We propose a new reasoning system using inductive inference and analogical reasoning. which is applicable to intellectual information processing and we characterize its power. Given an enumeration of paired examples. this system inductively infers a program representing the paring and constructs an analogical union. It reasons by analogy nesv facts in the limit, i.e., reasons them correctly from some time on, by using a deducibility of them from the analogical union.