Consistency conditions for inductive inference of recursive functions

  • Authors:
  • Yohji Akama;Thomas Zeugmann

  • Affiliations:
  • Mathematical Institute, Tohoku University, Sendai, Miyagi, Japan;Hokkaido University, Sapporo, Japan

  • Venue:
  • JSAI'06 Proceedings of the 20th annual conference on New frontiers in artificial intelligence
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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