---
title: "Preduction: A Common Form of Induction and Analogy"
authors:
  - "Jun Arima"
doi: ""
url: "https://ijcai.org/proceedings/1997/32"
pdf: "https://ijcai.org/proceedings/1997/0032.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "210-214"
track: "Automated Reasoning"
keywords:
---

# Preduction: A Common Form of Induction and Analogy

Jun Arima

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 210-214.

## Abstract

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 preduction, of common conjectural reasoning of both induction and analogy. By introduction of preduction, analogical reasoning is refined into "preduction + deduction" and (empirical) inductive reasoning is refined into "preduction + mathematical induction". We examine generality of preduction through applications to various examples on induction and analogy.