Skip to main content
Article thumbnail
Location of Repository

Towards the Validation of Inductive Learning Systems

By Gunter Grieser, Klaus P. Jantke and Steffen Lange


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..

Year: 1998
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • http://www.intellektik.informa... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.