Extracting Formulae in Many-Valued Logic from Deep Neural Networks

Yani Zhang, Helmut Bölcskei

We propose a new perspective on deep ReLU networks, namely as circuit counterparts of Lukasiewicz infinite-valued logic -- a many-valued (MV) generalization of Boolean logic. An al…