Inductive Inference with Procrastination: Back to Definitions

  • Authors:
  • Andris Ambainis;Rūsiņš Freivalds;Carl H. Smith

  • Affiliations:
  • (Correspd.) Computer Science Division, University of California, Berkeley, CA 94720-1776 USA. e-mail: ambainis@cs.berkeley.edu;(Correspd.) Institute of Mathematics and Computer Science, University of Latvia, Raina bulv. 29, LV-1459 Riga, Latvia. e-mail: rusins@mii.lu.lv;(Correspd.) Department of Computer Science, University of Maryland, College Park, MD 20742 USA. e-mail: smith@cs.umd.edu

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we reconsider the definition of procrastinating learning machines. In the original definition of Freivalds and Smith [FS93], constructive ordinals are used to bound mindchanges. We investigate possibility of using arbitrary linearly ordered sets to bound mindchanges in similar way. It turns out that using certain ordered sets it is possible to define inductive inference types different from the previously known ones. We investigate properties of the new inductive inference types and compare them to other types.