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

Proceedings of the International Joint Conference on Neural Networks

Volumn 5, Issue , 2005, Pages 2915-2920

  Taylor, Brian J ^a   Darrah, Marjorie A ^a  

^a Institute for Scientific Research Incorporated   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMALIZATION; RULE EXTRACTION; VERIFICATION AND VALIDATION;

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; COMPUTER SYSTEMS; LOGIC PROGRAMMING; NEURAL NETWORKS;

FORMAL LOGIC;

EID: 33750108219     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IJCNN.2005.1556388     Document Type: Conference Paper

References (13)

1. Lisboa, P. 2001. Industrial use of safety-related artificial neural networks. Health and Safety Executive Contract Research Report 327.
2. Taylor, Brian J., Marjorie Darrah, Laura Pullum, et. al. 2004. Methods and Procedures for the Independent Verification and Validation of Neural Networks. Technical Report prepared by Institute for Scientific Research, Inc. for NASA Independent Verification and Validation Facility under grant NAGS-12069.
3. Pecheur, Charles. 2000.Verification and Validation of Autonomy Software at NASA. NASA/TM 2000-209602.
4. Rodrigues, Pedro, José Félix Costa, and Hava T. Siegelmann. 2001. Verifying Properties of Neural Networks. IWANN (1)2001: 158-165.
5. Pecheur, Charles and Stacy Nelson. 2002. V&V of Advanced Systems at NASA.
6. Tickle, Alan B.; R. Andrews; M. Golea; and J. Diederich. 1998. The truth is in there: directions and challenges in extracting rules from trained artificial neural networks.
7. Andrews, Robert; J. Diederich; and A. B. Tickle. 1995. A Survey and Critique Of Techniques For Extracting Rules From Trained Artificial Neural Networks. Knowledge Based Systems 8:373-389.
8. Tan, A. 1997. Cascade ARTMAP: Integrating Neural Computation and Symbolic Knowledge Processing. IEEE Transactions on Neural Networks, 8 (2) 237-250.
9. Craven, Mark; and J.W. Shavlik. 1994. Using Sampling and Queries to Extract Rules from Trained Neural Networks. In Proceedings of the 11th International Conference on Machine Learning 37-45.
10. Darrah, Marjorie, Brian Taylor and Michael Webb. A Geometric Rule Extraction Approach used for Verification and Validation of a Safety Critical Application. 2005 Florida Artificial Intelligence Research Society Conference, Clear Water Beach, FL, May 16-18, 2005.
11. Nayak R., R. Hayward and J. Diederich. 1997. "Connectionist Knowledge Base Representation by Generic Rules from Trained Feedforward Neural Networks", Proceeding of Connectionist Systems for Knowledge Representation and Deduction Workshop, Townsville, Australia, July 13-19.
12. Taylor, B. J., Marjorie Darrah, Spiro Skias. 2004. Weaving it All Together - A Methodology for the Verification and Validation of Adaptive Neural Networks. NIPS-2004 Workshop on Verification, Validation, and Testing of Learning Systems. Whistler, British Columbia, December 2004.
13. Kurd, Zeshan, and Tim Kelley. 2003. Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. In Proceedings of 22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP'03) 23-26 September 2003.