Inductive inference, theory revision and non-monotonic logic