Nonmonotonic and Inductive Logic