Extracting Formulae in Many-Valued Logic from Deep Neural Networks.
Yani ZhangHelmut BölcskeiPublished in: CoRR (2024)
Keyphrases
- neural network
- modal logic
- truth values
- classical logic
- pattern recognition
- valued logic
- multi valued
- inference rules
- temporal logic
- feed forward
- predicate logic
- logic programming
- neural network model
- horn clauses
- asynchronous circuits
- self organizing maps
- genetic algorithm
- back propagation
- artificial neural networks
- activation function
- multi layer perceptron
- associative memory
- conceptual clustering
- recurrent neural networks
- computational properties
- set theory
- digital circuits
- soft computing
- global exponential stability
- aggregation functions
- computational intelligence
- proof theory