Automatic learners with feedback queries

  • Authors:
  • John Case;Sanjay Jain;Yuh Shin Ong;Pavel Semukhin;Frank Stephan

  • Affiliations:
  • Department of Computer and Information Sciences, University of Delaware, Newark, DE 19716-2586, USA;Department of Computer Science, National University of Singapore, Singapore 117417, Republic of Singapore;Department of Computer Science, National University of Singapore, Singapore 117417, Republic of Singapore;Kurt Gödel Research Center for Mathematical Logic, Vienna, Austria;Department of Mathematics, National University of Singapore, Singapore 119076, Republic of Singapore

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2014

Quantified Score

Hi-index 0.00

Visualization

Abstract

Automatic classes are classes of languages for which a finite automaton can decide whether a given element is in a set given by its index. The present work studies the learnability of automatic families by automatic learners which, in each round, output a hypothesis and update a long-term memory, depending on the input datum, via an automatic function. Many variants of automatic learners are investigated: where the long-term memory is restricted to be the current hypothesis whenever this exists, cannot be of length larger than the length of the longest datum seen, or has to consist of a constant number of examples seen so far. Learnability is also studied with respect to queries which reveal information about past data or past computation history; the number of queries per round is bounded by a constant.