Abstract
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 frame-work, we ask for the power and the limitations of these validation approaches. The expertise necessary and suficient 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 concepts and results suitable for the focused investigations. Emphasis is put on explicating the importance of abstract computational complexity, limiting computability, and relativized computability. These concepts are exploited for characterizing the expertise necessary and suficient in the validation of inductive inference systems. Particular emphasis is put on relating validation expertise and domain expertise by means of relativized computability concepts. One of the key results on validation of inductive learning systems exhibits that validation expertise necessarily implies the expertise for solving the focused learning problems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adleman, L.M. and Blum, M. (1991) Inductive inference and unsolvability. The Journal of Symbolic Logic, 56:891–900.
Angluin, D. and Smith, C.H. (1983) A survey of inductive inference: Theory and methods. Computing Surveys, 15:237–269.
Blum, M. (1967) A machine-independent theory of the complexity of recursive functions. Journal of the ACM, 14:322–336.
Boehm, B.W. (1984) Verifying and validating software requirements and design specifications. IEEE Trans. Software, 1:75–88.
Cooke, N.J. (1992) Modeling human expertise in expert systems. In R.R. Hofiman (ed.), The Psychology of Expertise. Cognitive Research of Empirical AI (plBerlin: Springer-Verlag), pp. 29–60.
Gold, E M. (1967) Language identification in the limit. Information and Control, 14:447–474.
Grieser, G., Jantke, K.P., and Lange, S. (1998) Validation of inductive learning systems: A case for characterizing expertise in complex interactive systems validation. Technical Report MEME-MMM-98-1, Meme Media Laboratory (Spporo: Hokkaido University).
Gupta, U.G. (1993) Validation and Verification of Expert Systems. (Los Alamitos, CA: IEEE Press).
Knauf, R., Jantke, K.P., Abel, T., and Philippow, I. (1997) Fundamentals of a TURING test approach to validation of AI systems. In W. Gens (ed.), Proceedings 42nd International Scientific Colloquium, Ilmenau University of Technology Vol. 2 (TU Ilmenau), pp. 59–64.
O’Keefe, R.M. and O’Leary, D.E. (1993) Expert system verification and validation: A survey and tutorial. Artificial Intelligence Review, 7:3–42.
Rogers, H. (1967) The Theory of Recursive Functions and Efiective Computability (McGraw-Hill).
Wise, J.A. and Wise, M.A. (1993) Basic considerations in verification and validation. In J.A. Wise, V.D. Hopkin, and P. Stager (eds.), Verification and Validation of Complex Systems: Human Factors Issues, NATO ASI Series, Series F: Computer and Systems Sciences, Vol. 110 (Berlin: Springer-Verlag), pp. 87–95.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grieser, G., Jantke, K.P., Lange, S. (1998). Towards the Validation of Inductive Learning Systems. In: Richter, M.M., Smith, C.H., Wiehagen, R., Zeugmann, T. (eds) Algorithmic Learning Theory. ALT 1998. Lecture Notes in Computer Science(), vol 1501. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49730-7_29
Download citation
DOI: https://doi.org/10.1007/3-540-49730-7_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65013-3
Online ISBN: 978-3-540-49730-1
eBook Packages: Springer Book Archive