A Reasoning System Using Inductive Inference of Analogical Union

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 new facts in the limit, i. e., reasons them correctly from some time on, by using a deducibility of them from the analog ical union.