Backpropagation in the Simply Typed Lambda-calculus with Linear Negation.
Aloïs BrunelDamiano MazzaMichele PaganiPublished in: CoRR (2019)
Keyphrases
- lambda calculus
- back propagation
- neural network
- artificial neural networks
- programming language
- feed forward
- training algorithm
- neural nets
- predicate calculus
- bp algorithm
- feedforward neural networks
- learning algorithm
- backpropagation neural network
- bp neural network
- feed forward neural networks
- activation function
- database query languages
- fuzzy logic
- hidden layer
- multilayer perceptron neural network
- logic programming
- program understanding
- multilayer perceptron
- neural network ensemble
- backpropagation neural networks
- cascade correlation
- predicate logic
- backpropagation algorithm
- complex objects
- higher order
- formal model
- first order logic
- expert systems
- object oriented
- data model