## Robust Behaviourally Correct Learning (1998)

Venue: | Information and Computation |

Citations: | 4 - 2 self |

### BibTeX

@TECHREPORT{Jain98robustbehaviourally,

author = {Sanjay Jain},

title = {Robust Behaviourally Correct Learning},

institution = {Information and Computation},

year = {1998}

}

### OpenURL

### Abstract

Intuitively, a class of functions is robustly learnable if not only the class itself, but also all of the transformations of the class under natural transformations (such as via general recursive operators) are learnable. Fulk [Ful90] showed the existence of a non-trivial class which is robustly learnable under the criterion Ex. However, several of the hierarchies (such as the anomaly hierarchies for Ex and Bc) do not stand robustly. Fulk left open the question about whether Bc and Ex can be robustly separated. In this paper we resolve this question positively. 1

### Citations

318 | Inductive Inference: Theory and Methods - Angluin, Smith - 1983 |

269 | Toward a mathematical theory of inductive inference - Blum, Blum - 1975 |

165 |
Comparison of identification criteria for machine inductive inference
- Case, Smith
- 1983
(Show Context)
Citation Context ...ϕ p(i)) ⊆ {0, 1}. (E) For z ∈ {0, 1}, let Then {h0 i , h1i } �⊆ Ex(Mi). h z i (x) = � ϕp(i)(x), if ϕ p(i)(x)↓; z, otherwise. Proof. This proof is based on a modification of proof of Ex 1 − Ex �= ∅ in =-=[CS83]-=-. By operator recursion theorem [Cas74] there exists a recursive p such that ϕ p(i) may be defined in stages as follows. Initially, for x < i, ϕ p(i)(x) = 0, and ϕ p(i)(i) = 1. Let x0 = i + 1. Intuiti... |

155 |
A machine-independent theory of the complexity of recursive functions
- Blum
- 1967
(Show Context)
Citation Context ... partial computable function computed by program i in the ϕ-system. Note that in this paper all programs are interpreted with respect to the ϕ-system. We let Φ be an arbitrary Blum complexity measure =-=[Blu67]-=- associated with the acceptable programming system ϕ; many such measures exist for any acceptable programming system [Blu67]. For this paper, without loss of generality, we assume that Φi(x) ≥ x, for ... |

52 |
Periodicity in generations of automata
- Case
- 1974
(Show Context)
Citation Context ...let Then {h0 i , h1i } �⊆ Ex(Mi). h z i (x) = � ϕp(i)(x), if ϕ p(i)(x)↓; z, otherwise. Proof. This proof is based on a modification of proof of Ex 1 − Ex �= ∅ in [CS83]. By operator recursion theorem =-=[Cas74]-=- there exists a recursive p such that ϕ p(i) may be defined in stages as follows. Initially, for x < i, ϕ p(i)(x) = 0, and ϕ p(i)(i) = 1. Let x0 = i + 1. Intuitively, xs denotes the least x such that ... |

36 | Two theorems on the limit synthesis of functions. Theory of Algorithm and Programs - Bārzdiņˇs - 1974 |

15 | Inductive inference of recursive functions: Qualitative theory - Freivalds - 1991 |

10 | Robust learning aided by context - Case, Jain, et al. |

8 | Training sequences - Angluin, Gasarch, et al. - 1989 |

3 |
Complexity and Frequency Solution of Some Algorithmically Unsolvable Problems
- Bārzdiņˇs
- 1971
(Show Context)
Citation Context ... which can be Ex-identified, can also be Ex-identified using identification by enumeration. That is, every Ex-identifiable class is contained in a recursively enumerable class of functions. Bārzdiņˇs =-=[Bar71]-=- showed the above conjecture to be false using the “selfdescribing” class, SD = {f | f(0) is a program for f}. A machine can Ex-identify each function 1sf in SD by just outputting the program f(0). On... |