inductive problem solving