Synthesizing inductive expertise

Daniel N. Osherson; Michael Stob; Scott Weinstein

doi:10.1016/0890-5401(88)90055-7

Synthesizing inductive expertise

Daniel N. Osherson, Michael Stob, Scott Weinstein

Psychology

Research output: Contribution to journal › Review article › peer-review

21 Scopus citations

Abstract

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.

Original language	English (US)
Pages (from-to)	138-161
Number of pages	24
Journal	Information and Computation
Volume	77
Issue number	2
DOIs	https://doi.org/10.1016/0890-5401(88)90055-7
State	Published - May 1988

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Information Systems
Computer Science Applications
Computational Theory and Mathematics

Access to Document

10.1016/0890-5401(88)90055-7

Cite this

@article{070e9b7a1a8c4ad58150ee9e6bffe64a,

title = "Synthesizing inductive expertise",

abstract = "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.",

author = "Osherson, \{Daniel N.\} and Michael Stob and Scott Weinstein",

note = "Funding Information: * Preparation of this article was supported by the Office of Naval Research under contract number N001487-K-0401 and a grant from the System Development Foundation. We thank an anonymous reviewer for careful reading of an earlier draft. Correspondence may be addressed to Dan Osherson, E10-034, MIT, Cambridge, MA 02139. 138",

year = "1988",

month = may,

doi = "10.1016/0890-5401(88)90055-7",

language = "English (US)",

volume = "77",

pages = "138--161",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

number = "2",

}

TY - JOUR

T1 - Synthesizing inductive expertise

AU - Osherson, Daniel N.

AU - Stob, Michael

AU - Weinstein, Scott

N1 - Funding Information: * Preparation of this article was supported by the Office of Naval Research under contract number N001487-K-0401 and a grant from the System Development Foundation. We thank an anonymous reviewer for careful reading of an earlier draft. Correspondence may be addressed to Dan Osherson, E10-034, MIT, Cambridge, MA 02139. 138

PY - 1988/5

Y1 - 1988/5

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/38249032578

UR - https://www.scopus.com/inward/citedby.url?scp=38249032578&partnerID=8YFLogxK

U2 - 10.1016/0890-5401(88)90055-7

DO - 10.1016/0890-5401(88)90055-7

M3 - Review article

AN - SCOPUS:38249032578

SN - 0890-5401

VL - 77

SP - 138

EP - 161

JO - Information and Computation

JF - Information and Computation

IS - 2

ER -

Synthesizing inductive expertise

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this