6533b82dfe1ef96bd1291b9b
RESEARCH PRODUCT
Inductive Inference with Procrastination: Back to Definitions
Siņ Scaron FreivaldsAndris AmbainisCarl SmithR Umarcsubject
Discrete mathematicsAlgebraAlgebra and Number TheoryComputational Theory and Mathematicsmedia_common.quotation_subjectOrdered setProcrastinationInductive reasoningConstructiveInformation SystemsTheoretical Computer ScienceMathematicsmedia_commondescription
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.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 1999-01-01 | Fundamenta Informaticae |