Rule extraction as a formal method for the verification and validation of neural networks

The term formal method refers to the use of techniques from formal logic and discrete math in the specification, design, and construction of computer systems and software. These techniques enable the formalization of software for development and testing so that it may be verified and validated in a more thorough way. Although not specifically identified in the literature as a verification and validation (V&V) formal method technique, neural network rule extraction fits the basic definition by using techniques from formal logic to formalize neural network software so that it may be examined more completely. This paper identifies several areas where rule extraction can be an effective tool for the V&V of neural networks.