I&C Journal 1988 Journal Article
Synthesizing inductive expertise
- Daniel N. Osherson
- Michael Stob
- Scott Weinstein
We consider programs that accept descriptions of inductive inference problems and return machines that solve them. Several design specifications for synthesizers of this kind are considered from a recursion-theoretic perspective.