Regular Inference on Artificial Neural Networks

Speaker : Franz Mayr
Universidad ORT Uruguay
Date: 19/09/2018
Time: 2:00 pm - 3:00 pm
Location: LINCS / EIT Digital


This lecture 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.