Results 251 to 260 of about 24,485 (301)
Some of the next articles are maybe not open access.
WIREs Cognitive Science, 2010
AbstractInductive reasoning entails using existing knowledge or observations to make predictions about novel cases. We review recent findings in research on category‐based induction as well as theoretical models of these results, including similarity‐based models, connectionist networks, an account based on relevance theory, Bayesian models, and other ...
Brett K, Hayes +2 more
openaire +3 more sources
AbstractInductive reasoning entails using existing knowledge or observations to make predictions about novel cases. We review recent findings in research on category‐based induction as well as theoretical models of these results, including similarity‐based models, connectionist networks, an account based on relevance theory, Bayesian models, and other ...
Brett K, Hayes +2 more
openaire +3 more sources
Induction, Reason and Consistency
The British Journal for the Philosophy of Science, 1970THE PHILOSOPHICAL CREDENTIALS of inductive logic are controversial. Some philosophers aver that inductive inference is a central feature of rational justification and explanation. Others doubt the epistemic legitimacy of such inference. One defence of inductive logic consists of formulating a rule of inductive inference that avoids paradox and ...
openaire +2 more sources
Mechanizing inductive reasoning
Bull. EATCS, 1990Summary: 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.
Emmanuel Kounalis, Michaël Rusinowitch
openaire +2 more sources
Inductive equational reasoning
1996We present a simple learning algorithm for equational reasoning. The Knuth-Bendix algorithm can produce deductive consequences from sets of function equations but cannot deduce anything from grounded equations alone. This motivates an inductive procedure which conjectures function equations from a given database of grounded equations.
openaire +1 more source
A model of inductive reasoning
1994This paper presents a formal characterization of the process of inductive hypothesis formation. This is achieved by formulating minimal properties for inductive consequence relations. These properties are justified by the fact that they are sufficient to allow identification in the limit.
openaire +1 more source
Inductive reasoning on recursive equations
Artificial Intelligence, 1979Abstract We investigate several methods of inductive reasoning in the domain of recursive equations, including the method of generalization with beliefs, the method of successive refinement, and temporal methods based on comparisons with previously solved problems.
Frank M. Brown, Sten-Åke Tärnlund
openaire +1 more source
On the emergence of reasons in inductive logic
Logic Journal of IGPL, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jeff B. Paris, Maged H. Wafy
openaire +2 more sources
2001
Without inductive reasoning, we couldn't generalize from one instance to another, derive scientific hypotheses, or predict that the sun will rise again tomorrow morning. Despite the widespread nature of inductive reasoning, books on this topic are rare. Indeed, this is the first book on the psychology of inductive reasoning in twenty years.
openaire +1 more source
Without inductive reasoning, we couldn't generalize from one instance to another, derive scientific hypotheses, or predict that the sun will rise again tomorrow morning. Despite the widespread nature of inductive reasoning, books on this topic are rare. Indeed, this is the first book on the psychology of inductive reasoning in twenty years.
openaire +1 more source