Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic.
Nathaniel WeirKate SandersOrion WellerShreya SharmaDongwei JiangZhengping JiangBhavana Dalvi MishraOyvind TafjordPeter A. JansenPeter ClarkBenjamin Van DurmePublished in: CoRR (2024)
Keyphrases
- natural language
- logical inference
- formal language
- deductive reasoning
- bayesian networks
- knowledge representation
- inference mechanism
- logic programming
- natural language interface
- natural language processing
- probabilistic inference
- semantic interpretation
- abductive reasoning
- natural language generation
- machine learning
- logical formulas
- language processing
- proof theory
- multi valued
- qualitative and quantitative
- modal logic
- logic programs
- natural language sentences
- epistemic logic
- causal theories
- data sets
- set theory
- inference process
- classical logic
- natural language understanding
- bayesian model
- automated reasoning
- bayesian inference
- belief networks
- model checking
- question answering