The Problem Of Induction

. This article is the thirtieth of a series of articles discussing various open research problem n automated reasoning. The problem proposed for research asks for criteria for accurately determining o e when an induction argument is the appropriate form of argument for an automated reasoning program t mploy. This research problem also asks for criteria for choosing well the property on which to conK duct the induction argument. ey words. Automated reasoning, induction, unsolved research problem. f t Question: What criteria should be used to determine that an induction argument is appropriate and, i hat is the choice, what criteria should be used to select the property on which to base an induction ( argument? This question is the twenty-ninth of 33 problems proposed for research in [5] and will be referred to as s Research Problem 29 throughout this article. All references to sections, chapters, test problems, and uch also refer to [5].) Many proofs from mathematics and from other..