Consistency conditions for inductive inference of recursive functions

Yohji Akama, Thomas Zeugmann

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

A consistent learner is required to correctly and completely reflect in its actual hypothesis all data received so far. Though this demand sounds quite plausible, it may lead to the unsolvability of the learning problem. Therefore, in the present paper several variations of consistent learning are introduced and studied. These variations allow a so-called δ-delay relaxing the consistency demand to all but the last δ data. Additionally, we introduce the notion of coherent learning (again with δ-delay) requiring the learner to correctly reflect only the last datum (only the n -δth datum) seen. Our results are threefold. First, it is shown that all models of coherent learning with δ-delay are exactly as powerful as their corresponding consistent learning models with δ-delay. Second, we provide characterizations for consistent learning with δ-delay in terms of complexity. Finally, we establish strict hierarchies for all consistent learning models with δ-delay in dependence on δ.

Original languageEnglish
Title of host publicationNew Frontiers in Artificial Intelligence - JSAI 2006 Conference and Workshops, Revised Selected Papers
PublisherSpringer Verlag
Pages251-264
Number of pages14
ISBN (Print)3540699015, 9783540699019
DOIs
Publication statusPublished - 2007
Event20th Annual Conference of the Japanese Society for Artificial Intelligence, JSAI 2006 Conference and Workshops - Tokyo, Japan
Duration: 2006 Jun 52006 Jun 9

Publication series

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

Other

Other20th Annual Conference of the Japanese Society for Artificial Intelligence, JSAI 2006 Conference and Workshops
CountryJapan
CityTokyo
Period06/6/506/6/9

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Consistency conditions for inductive inference of recursive functions'. Together they form a unique fingerprint.

Cite this