Synthesizing inductive expertise (Q1107325)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synthesizing inductive expertise |
scientific article |
Statements
Synthesizing inductive expertise (English)
0 references
1988
0 references
Programs that accept descriptions of inductive inference problems and return machines that solve them are investigated. The limitation of several design specifications for this kind of synthesizers are considered from a recursion theoretic perspective.
0 references
recursion theory
0 references
inductive inference
0 references
synthesizers
0 references
