Can Neural Networks Learn Implicit Logic from Physical Reasoning?
Aaron TraylorRoman FeimanEllie PavlickPublished in: ICLR (2023)
Keyphrases
- neural network
- proof theory
- automated reasoning
- order of magnitude reasoning
- deductive reasoning
- logical framework
- computational properties
- knowledge base
- pattern recognition
- human reasoning
- commonsense reasoning
- probabilistic logic
- neural network model
- intuitionistic logic
- reasoning systems
- high level knowledge
- reasoning about actions
- fuzzy logic
- learning rules
- modal logic
- logic programming
- artificial neural networks
- reasoning tasks
- scientific discovery
- proof theoretic
- reasoning engine
- logical inference
- logical rules
- case based reasoning
- real world
- genetic algorithm
- reasoning problems
- qualitative reasoning
- description logics