Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability.
Kyle RichardsonAshish SabharwalPublished in: CoRR (2021)
Keyphrases
- natural language
- knowledge representation
- terminological reasoning
- reasoning problems
- production rules
- reasoning systems
- computational properties
- satisfiability problem
- knowledge base
- natural language interface
- description logics
- automated reasoning
- probabilistic reasoning
- conceptual representation
- natural language generation
- reasoning tasks
- rule learning
- logical rules
- language processing
- semantic analysis
- propositional logic
- question answering
- np complete
- semantic interpretation
- natural language processing
- association rules
- computational complexity
- maximal tractable
- decision trees
- classification rules
- reasoning process
- machine translation
- case based reasoning
- partial discharge