Neural Unification for Logic Reasoning over Natural Language.
Gabriele PiccoThanh Lam HoangMarco Luca SbodioVanessa LópezPublished in: EMNLP (Findings) (2021)
Keyphrases
- conceptual representation
- natural language
- network architecture
- neural network
- automated theorem proving
- proof theory
- natural language interface
- automated reasoning
- knowledge representation
- formal language
- modal logic
- theorem proving
- semantic analysis
- order of magnitude reasoning
- logical framework
- abductive reasoning
- conceptual graphs
- logical inference
- intuitionistic logic
- theorem prover
- logic programming
- computational properties
- knowledge representation language
- commonsense reasoning
- deductive reasoning
- proof theoretic
- natural language generation
- natural language understanding
- reasoning tasks
- information extraction
- language processing
- default reasoning
- case based reasoning
- inference rules
- machine learning
- equational theories
- artificial intelligence
- knowledge base
- logical rules
- question answering
- reasoning engine
- logical formulas
- legal reasoning
- human reasoning
- deontic logic
- neural model
- probabilistic logic
- reasoning systems
- classical logic