Exploring Neural Models for Parsing Natural Language into First-Order Logic.
Hrituraj SinghMilan AggarwalBalaji KrishnamurthyPublished in: CoRR (2020)
Keyphrases
- first order logic
- neural models
- natural language
- knowledge representation
- expressive power
- natural language processing
- neural model
- bio inspired
- probabilistic reasoning
- neural network model
- neural network
- theorem proving
- inductive logic programming
- inference rules
- artificial neural networks
- representation language
- probabilistic graphical models
- theorem prover
- information extraction
- spiking neural networks
- markov networks
- machine learning
- horn clauses
- markov logic
- transitive closure
- natural language text
- recurrent neural networks
- fuzzy logic
- knowledge structures
- markov logic networks
- domain knowledge
- logical formulas