The present paper deals with inductive inference of recursive functions, in general, and with the problem of validating inductive learning devices, in particular. Thus, the paper aims at a contribution to the research and development area of intelligent systems validation. As those systems are typically interactive and, therefore, utilized in open loops of human--machine interactions, the problem of their validity is substantially complicated. A certain family of validation scenarios is adopted. Within this framework, we ask for the power and the limitations of these validation approaches. The expertise necessary and sufficient to accomplish successful validation is of some particular interest. One of the key questions is for the comparison of domain expertise and validation expertise. The area of inductive inference of recursive functions is taken as a case for complex interactive systems validation. Computability theory is providing a rich source of theoretical concep..
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.