Neural Unification for Logic Reasoning over Natural Language.
Gabriele PiccoHoang Thanh LamMarco Luca SbodioVanessa López GarciaPublished in: CoRR (2021)
Keyphrases
- natural language
- automated reasoning
- knowledge representation
- proof theory
- deductive reasoning
- theorem proving
- computational properties
- logical formulas
- order of magnitude reasoning
- automated theorem proving
- intuitionistic logic
- proof procedure
- theorem prover
- knowledge representation formalisms
- network architecture
- proof theoretic
- commonsense reasoning
- logical inference
- human reasoning
- probabilistic logic
- logical framework
- reasoning systems
- knowledge base
- horn logic
- neural network
- reasoning engine
- logic programming
- language processing
- probabilistic reasoning
- causal reasoning
- artificial intelligence
- natural language processing
- classical logic
- formal language
- logical rules
- qualitative reasoning
- knowledge representation language
- reasoning tasks
- higher order
- modal logic
- semantic analysis
- natural language generation
- abductive reasoning
- language understanding
- neural model
- reasoning process
- semantic interpretation
- conceptual representation
- reasoning problems
- reasoning about actions
- natural language interface
- expert systems
- natural language understanding
- dialogue system
- fuzzy logic
- information extraction
- derivation rules