Saving the phenomena: Requirements that inductive inference machines not contradict known data (Q1115637)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Saving the phenomena: Requirements that inductive inference machines not contradict known data |
scientific article |
Statements
Saving the phenomena: Requirements that inductive inference machines not contradict known data (English)
0 references
1988
0 references
Three kinds of restrictions of inductive inference machines (IIMs) are considered: postdictive completeness, postdictive consistency, and reliability. It is shown that postdictively consistent IIMs can be effectively replaced with postdictively complete IIMs that succeed to at least the same degree. Various loosenings of the notions of postdictive completeness and reliability are considered, and a pair of related triangular hierarchies is exhibited; IIMs higher (or to the right) in the hierarchies are less restricted and capable of learning more than IIMs lower or to the left. Various conjectures and older results are obtained as corollaries.
0 references
partial recursive functions
0 references
inductive inference machines
0 references
triangular hierarchies
0 references
