Extending Logical Neural Networks using First-Order Theories.
Aidan EvansJorge BlancoPublished in: CoRR (2022)
Keyphrases
- neural network
- logical theories
- theory revision
- logical formulas
- situation calculus
- pattern recognition
- higher order
- probabilistic logic
- genetic algorithm
- action theories
- fuzzy logic
- predicate calculus
- first order logic
- neural network model
- back propagation
- belief revision
- information systems
- model theoretic
- fuzzy systems
- probability theory
- artificial intelligence
- logical representation
- logical framework
- theoretical framework
- feed forward
- fault diagnosis
- computational intelligence
- activation function
- hopfield neural network
- network architecture
- reasoning about actions
- recurrent neural networks
- knowledge base
- computational models
- probabilistic knowledge
- radial basis function
- logical reasoning