SymBa: Symbolic Backward Chaining for Multi-step Natural Language Reasoning.
Jinu LeeWonseok HwangPublished in: CoRR (2024)
Keyphrases
- backward chaining
- multi step
- forward chaining
- natural language
- expert systems
- inference engine
- knowledge base
- knowledge representation
- rule based systems
- inference process
- knn
- defeasible logic
- artificial intelligence
- planning systems
- knowledge based systems
- fuzzy logic
- machine learning
- action selection
- knowledge structures
- theorem proving
- blocks world
- search algorithm