Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference.
Yufei FengXiaoyu YangXiaodan ZhuMichael A. GreenspanPublished in: Trans. Assoc. Comput. Linguistics (2022)
Keyphrases
- natural language
- formal language
- logical inference
- autoepistemic logic
- abductive reasoning
- inference mechanism
- deductive reasoning
- belief revision
- logic programming
- semantic analysis
- neural network
- knowledge representation
- real world
- natural language generation
- classical logic
- bayesian inference
- probabilistic inference
- bayesian networks
- intermediate level
- logical framework
- revision operators
- automated reasoning
- natural language understanding
- multi valued
- machine learning
- information extraction
- belief networks
- probabilistic reasoning
- language processing
- semantic interpretation
- inference process
- defeasible logic
- inference engine
- natural language interface
- logic programs
- natural language processing
- artificial neural networks
- conceptual spaces
- high level
- probabilistic logic
- horn logic