Explainable Natural Language Reasoning via Conceptual Unification.
Marco ValentinoMokanarangan ThayaparanAndré FreitasPublished in: CoRR (2020)
Keyphrases
- natural language
- conceptual representation
- knowledge representation
- machine learning
- semantic interpretation
- knowledge base
- knowledge structures
- conceptual knowledge
- higher order
- theorem proving
- automated reasoning
- reasoning process
- meta level
- natural language interface
- knowledge representation and reasoning
- reasoning systems
- language processing
- semantic analysis
- theorem prover
- analogical reasoning
- case based reasoning
- language understanding
- rule based reasoning
- automated theorem proving
- dialogue system
- formal models
- natural language understanding
- reasoning tasks
- probabilistic reasoning
- question answering
- natural language processing
- information retrieval