This paper reviews the main psychological phenomena of inductive reasoning, covering 25 years of experimental and model-based research, in particular addressing four questions. First, what makes a case or event generalizable to other cases? Second, what makes a set of cases generalizable? Third, what makes a property or predicate projectable? Fourth, how do psychological models of induction add...

We develop a model of games with awareness that allows for differential levels of awareness. We show that, for the standard modal-logical interpretations of belief and awareness, a player cannot believe there exist propositions of which he is unaware. Nevertheless, we argue that a boundedly rational individual may regard the possibility that there exist propositions of which she is unaware as b...

We investigate several methods of inductive reasoning in the domain of difference equations, including the method of generalization with beliefs, the method of successive refinement, and temporal methods based on comparisons with previously solved problems.

Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We present a new method to prove (and disprove) automatically inductive properties. Given a set of axioms, a well-suited induction scheme is constructed automatically. We call such a scheme a test-set. Then, for proving a...

looks at the historical and philosophical roots of the reasoning and defines the induction as the most popular style of reasoning. discusses the problem of induction and its complexities through an example. explains one of the solutions provided for the problem of induction; i.e. the falsifiability theory. defines the falsifiability theory and concentrates on an ongoing argument among informati...