Title :
Validating connectionist implementations
Author_Institution :
Exeter Univ., UK
Abstract :
We present a method for validating implementations of connectionist algorithms by comparison with known versions. The method is dependent on a statistical model derived from work in multiversion programming techniques. We present example results which reveal that two variations of the backpropagation algorithm which are widely accepted as mere implementation variants do actually produce networks with some levels of differences. It is suggested that this method could be a useful validation tool for developers of variants of known algorithms
Keywords :
backpropagation; formal verification; neural nets; backpropagation algorithm; connectionist algorithms; connectionist implementations; multiversion programming techniques; neural network; statistical model;
Conference_Titel :
Artificial Neural Networks, 1995., Fourth International Conference on
Conference_Location :
Cambridge
Print_ISBN :
0-85296-641-5
DOI :
10.1049/cp:19950559