Regular Inference on Artificial Neural Networks - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Regular Inference on Artificial Neural Networks

Franz Mayr
  • Fonction : Auteur
  • PersonId : 1043684
Sergio Yovine
  • Fonction : Auteur
  • PersonId : 1043685

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
143 Consultations
190 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More