Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Computational Engineering
Synthesizing Inductive Expertise, Daniel N. Osherson, Michael Stob, Scott Weinstein
Synthesizing Inductive Expertise, Daniel N. Osherson, Michael Stob, Scott Weinstein
University Faculty Publications and Creative Works
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.