6533b82dfe1ef96bd1291292
RESEARCH PRODUCT
Kolmogorov numberings and minimal identification
Sanjay JainRusins Freivaldssubject
Discrete mathematicsIdentification (information)Computable functionHierarchy (mathematics)Gödel numberingRecursive functionsInductive reasoningNumberingMathematicsdescription
Identification of programs for computable functions from their graphs by algorithmic devices is a well studied problem in learning theory. Freivalds and Chen consider identification of ‘minimal’ and ‘nearly minimal’ programs for functions from their graphs. To address certain problems in minimal identification for Godel numberings, Freivalds later considered minimal identification in Kolmogorov Numberings. Kolmogorov numberings are in some sense optimal numberings and have some nice properties. We prove certain hierarchy results for minimal identification in every Kolmogorov numbering. In addition we also compare minimal identification in Godel numbering versus minimal identification in Kolmogorov numberings.
year | journal | country | edition | language |
---|---|---|---|---|
1995-01-01 |