Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference.
Yufei FengXiaoyu YangXiaodan ZhuMichael A. GreenspanPublished in: CoRR (2022)
Keyphrases
- natural language
- logical inference
- abductive reasoning
- autoepistemic logic
- classical logic
- revision operators
- natural language interface
- deductive reasoning
- natural language understanding
- logic programming
- belief revision
- formal language
- neural network
- inference mechanism
- theorem proving
- probabilistic inference
- machine learning
- modal logic
- semantic analysis
- dialogue system
- automated reasoning
- natural language processing
- knowledge representation
- predicate logic
- truth maintenance systems
- symbolic description
- neuro fuzzy
- belief networks
- machine translation
- information extraction
- bayesian networks
- relational structures
- intermediate level
- computational properties
- logical framework
- bayesian inference
- binary decision diagrams
- temporal logic
- proof theory
- logical formulas
- high level
- real world