Information and Computation
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.
Osherson, Daniel N.; Stob, Michael; and Weinstein, Scott, "Synthesizing inductive expertise" (1988). University Faculty Publications and Creative Works. 518.