6533b825fe1ef96bd12831c7
RESEARCH PRODUCT
General inductive inference types based on linearly-ordered sets
Rusins FreivaldsRusins FreivaldsCarl SmithCarl SmithAndris AmbainisAndris Ambainissubject
Discrete mathematicsOrdered setRecursive functionsInductive reasoningConstructiveMaximal elementMathematicsdescription
In this paper, we reconsider the definitions of procrastinating learning machines. In the original definition of Freivalds and Smith [FS93], constructive ordinals are used to bound mindchanges. We investigate the possibility of using arbitrary linearly ordered sets to bound mindchanges in a similar way. It turns out that using certain ordered sets it is possible to define inductive inference types more general than the previously known ones. We investigate properties of the new inductive inference types and compare them to other types.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 1996-01-01 |