LAMBADA: Backward Chaining for Automated Reasoning in Natural Language.
Mehran KazemiNajoung KimDeepti BhatiaXin XuDeepak RamachandranPublished in: ACL (1) (2023)
Keyphrases
- automated reasoning
- backward chaining
- knowledge representation
- natural language
- inference engine
- expert systems
- rule based systems
- forward chaining
- knowledge base
- theorem proving
- reasoning systems
- knowledge acquisition
- knowledge based systems
- theorem prover
- knowledge representation and reasoning
- probabilistic reasoning
- logic programming
- machine learning
- artificial intelligence
- defeasible logic
- description logics
- neural network
- general purpose
- constraint satisfaction
- software engineering
- data mining