Skip to Main content Skip to Navigation
Conference papers

Regular Inference on Artificial Neural Networks

Abstract : This paper explores the general problem of explaining the behavior of artificial neural networks (ANN). The goal is to construct a representation which enhances human understanding of an ANN as a sequence classifier, with the purpose of providing insight on the rationale behind the classification of a sequence as positive or negative, but also to enable performing further analyses, such as automata-theoretic formal verification. In particular, a probabilistic algorithm for constructing a deterministic finite automaton which is approximately correct with respect to an artificial neural network is proposed.
Complete list of metadatas

Cited literature [35 references]  Display  Hide  Download

https://hal.inria.fr/hal-02060043
Contributor : Hal Ifip <>
Submitted on : Thursday, March 7, 2019 - 10:36:33 AM
Last modification on : Friday, March 8, 2019 - 1:23:51 AM
Document(s) archivé(s) le : Monday, June 10, 2019 - 4:16:33 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2021-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Franz Mayr, Sergio Yovine. Regular Inference on Artificial Neural Networks. 2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.350-369, ⟨10.1007/978-3-319-99740-7_25⟩. ⟨hal-02060043⟩

Share

Metrics

Record views

61