Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability.
Kyle RichardsonAshish SabharwalPublished in: AAAI (2022)
Keyphrases
- natural language
- knowledge representation
- reasoning problems
- terminological reasoning
- production rules
- computational properties
- natural language generation
- knowledge base
- reasoning process
- automated reasoning
- conceptual representation
- language processing
- association rules
- machine learning
- satisfiability problem
- natural language interface
- semantic analysis
- reasoning tasks
- decision procedures
- rule learning
- active databases
- spatial reasoning
- natural language processing
- propositional logic
- possibilistic networks
- fuzzy logic
- dialogue system
- description logics
- information extraction
- computational complexity
- reasoning systems
- language understanding
- search algorithm
- quantified boolean formulas
- logic programming