On the satisfiability of circumscription
Artificial Intelligence
Beyond inversion of resolution
Proceedings of the seventh international conference (1990) on Machine learning
Induction as nonmonotonic inference
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Inductive Logic Programming Beyond Logical Implication
ALT '96 Proceedings of the 7th International Workshop on Algorithmic Learning Theory
Hi-index | 0.00 |
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 "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.