Monotonic and non-monotonic inductive inference

Abstract

The main goal is to exhibit the relationship between research work on non-monotonic reasoning and recursion-theoretically based approaches to inductive learning. There are introduced the concepts of monotonic and weakly monotonic inductive inference. It is proved that these concepts are considerably distinguished from other classical concepts of inductive inference, i.e. non-monotonic reasoning is inherently required in several approaches to inductive inference.