Extending Logical Neural Networks using First-Order Theories

Aidan Evans, Jorge Blanco

Logical Neural Networks (LNNs) are a type of architecture which combine a neural network's abilities to learn and systems of formal logic's abilities to perform symbolic reasoning.…