Induction by Enumeration

Induction by Enumeration,10.1006/inco.2001.2910,Information and Computation/information and Control,Eric Martin,Daniel N. Osherson

Induction by Enumeration   (Citations: 1)
BibTex | RIS | RefWorks Download
Induction by enumeration has a clear interpretation within the numerical paradigm of induc- tive discovery (i.e., the one pioneered by (Gold, 1967)). The concept is less easily interpreted within the Þrst-order paradigm discussed by (Kelly, 1996, Martin & Osherson, 1998), in which the scientist's data amount to the basic diagram of a structure. We formulate two kinds of enumerative induction that are appropriate to the Þrst-order paradigm, and analyze their po- tential for discovery. Among other results, it is shown that one form of enumerative induction achieves maximum inductive competence.
Journal: Information and Computation/information and Control - IANDC , vol. 171, no. 1, pp. 50-68, 2001
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: