Question answering over logic puzzles using theorem proving.
Adrian GrozaCristian NituPublished in: SAC (2022)
Keyphrases
- question answering
- theorem proving
- automated reasoning
- logical inference
- proof procedure
- predicate calculus
- proof search
- automated theorem proving
- natural deduction
- first order logic
- theorem prover
- inference rules
- information retrieval
- information extraction
- natural language
- proof planning
- question answering systems
- natural language processing
- passage retrieval
- term rewriting
- question classification
- cross language
- natural language questions
- syntactic information
- qa clef
- consequence finding
- logic programming
- classical logic
- qa systems
- modal logic
- answering questions
- machine learning
- linear logic
- answer validation