Preduction: A Common Form of Induction and Analogy
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. 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.
@inproceedings{ijcai1997p32,
title = {Preduction: A Common Form of Induction and Analogy},
author = {Arima, Jun},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {210--214},
year = {1997},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1997/32},
}
TY - CPAPER TI - Preduction: A Common Form of Induction and Analogy AU - Arima, Jun T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 210 EP - 214 UR - https://ijcai.org/proceedings/1997/32 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
