LAMBADA: Backward Chaining for Automated Reasoning in Natural Language.
Seyed Mehran KazemiNajoung KimDeepti BhatiaXin XuDeepak RamachandranPublished in: CoRR (2022)
Keyphrases
- automated reasoning
- backward chaining
- knowledge representation
- natural language
- inference engine
- forward chaining
- expert systems
- rule based systems
- knowledge base
- theorem proving
- reasoning systems
- theorem prover
- knowledge representation and reasoning
- probabilistic reasoning
- knowledge based systems
- first order logic
- knowledge acquisition
- artificial intelligence
- knowledge structures
- description logics
- machine learning
- logic programming
- general purpose
- rule base
- orders of magnitude
- inference process
- inference rules
- background knowledge
- depth first search
- rough sets
- defeasible logic