The problem of induction

This article is the thirtieth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research asks for criteria for accurately determining when an induction argument is the appropriate form of argument for an automated reasoning program to employ. This research problem also asks for criteria for choosing well the property on which to conduct the induction argument.This work was supported by the Office of Scientific Computing, U.S. Department of Energy, under Contract W-31-109-Eng-38.