Skip to main navigation Skip to search Skip to main content

Enumerable classes of total recursive functions: Complexity of inductive inference

  • University of Latvia

Research output: Chapter in Book/Report/Conference proceedingConference paperResearchpeer-review

3 Citations (Scopus)

Abstract

This paper includes some results on complexity of inductive inference for enumerable classes of total recursive functions, where enumeration is considered in more general meaning than usual recursive enumeration. The complexity is measured as the worst-case mindchange (error) number for the first n functions of the given class. Three generalizations are considered. First: the numbering is computed in limit (with a fixed number of mind- changes). Then the complexity can be arbitrary fast growing recursive function. Second: a fixed number of functions are given by the enumbering function wrongly. In this case only universal strategies have large complexity function. Third: every function given by the enumbering function can differ in a fixed number of points from the corresponding genuine function of the class. Two cases are considered: functions given by the enumbering function can be only partially defined or they must be total. In the first case there are unidentifiable classes. In the second case there are logarithmic algorithms for prediction and EX-identifying and linear algorithms for identifying of τ-indices.

Original languageEnglish
Title of host publicationAlgorithmic Learning Theory - 4th International Workshop on Analogical and Inductive Inference, AII 1994 and 5th International Workshop on Algorithmic Learning Theory, ALT 1994, Proceedings
EditorsSetsuo Arikawa, Klaus P. Jantke
PublisherSpringer Verlag
Pages10-25
Number of pages16
ISBN (Print)9783540585206
DOIs
Publication statusPublished - 1994
Externally publishedYes
Event4th International Workshop on Analogical and Inductive Inference, AII 1994 and 5th International Workshop on Algorithmic Learning Theory, ALT 1994 - Reinhardsbrunn Castle, Germany
Duration: 10 Oct 199415 Oct 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume872 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Workshop on Analogical and Inductive Inference, AII 1994 and 5th International Workshop on Algorithmic Learning Theory, ALT 1994
Country/TerritoryGermany
CityReinhardsbrunn Castle
Period10/10/9415/10/94

Fingerprint

Dive into the research topics of 'Enumerable classes of total recursive functions: Complexity of inductive inference'. Together they form a unique fingerprint.

Cite this