论文信息 - Identifiable Collections of Countable Structures

Identifiable Collections of Countable Structures

A model of idealized scientific inquiry is presented in which scientists are required to infer the nature of the structure that makes true the data they examine. A necessary and sufficient condition is presented for scientific success within this paradigm.

Daniel N. Osherson | Scott Weinstein

[1] Clark Glymour. Inductive inference in the limit , 1985 .

[2] Ehud Y. Shapiro. An Algorithm that Infers Theories from Facts , 1981, IJCAI.

[3] Daniel N. Osherson,et al. Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists , 1990 .

[4] Daniel N. Osherson,et al. Identification in the limit of first order structures , 1986, Journal of Philosophical Logic.