On the error correcting power of pluralism in BC-type inductive inference (Q1068540)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the error correcting power of pluralism in BC-type inductive inference |
scientific article |
Statements
On the error correcting power of pluralism in BC-type inductive inference (English)
0 references
1983
0 references
The author considers \(BC^ m\) inference (introduced by J. Bārzdiņš and J. Case, independently), showing that it is always possible to reduce errors for some forms of inductive inference by increasing the number of machines involved in the inference process. Let M be an inductive inference machine and f a total function; the machine \(MBC^ m\) identifies the function f (one writes \(f\in BC^ m(M))\) if and only if, when M is successively fed the graph of f as input, it outputs over time a sequence of programs \(P_ 0,P_ 1,..\). such that \((\forall^{\infty}i)\phi P_ i=^ mf\), where \(g=^{\infty}f\) means that g and f disagree at at most m places. If, for some integer \(k\leq m\), only finitely many of the programs \(P_ i\) in the sequence above have more than k ''errors of commission'' then one writes \(f\in BC^{m:k}(M)\). Some classes of functions are defined and, by using relations between these classes, the results announced are proved.
0 references
inductive inference machine
0 references
errors of commission
0 references