Preduction: a common form of induction and analogy
Jun Arima · International Joint Conference on Artificial Intelligence · 1997
Deduction, induction, and analogy pervade all our thinking. In contrast with deduction, understanding logical aspects of induction and analogy is still an important and challenging issue of artificial intelligence. This paper describes a logical formalization, called production, of common conjectural reasoning of both induction and analogy. By introduction of preduction, analogical reasoning is refined into + deduction and (empirical) inductive reasoning is refined into + mathematical induction. We examine generality of preduction through applications to various examples on induction and analogy.