Regular Inference on Artificial Neural Networks - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Regular Inference on Artificial Neural Networks

(1) , (1)
1
Franz Mayr
  • Function : Author
  • PersonId : 1043684
Sergio Yovine
  • Function : Author
  • PersonId : 1043685

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.
Fichier principal
Vignette du fichier
472936_1_En_25_Chapter.pdf (527.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02060043 , version 1 (07-03-2019)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

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⟩
131 View
111 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More