LAMBADA: Backward Chaining for Automated Reasoning in Natural Language
Mehran Kazemi, Najoung Kim, Deepti Bhatia, Xin Xu, Deepak Ramachandran
Abstract
https://doi.org/10.18653/v1/2023.acl-long.361
Topics & Concepts
Forward chainingBackward chainingAxiomAutomated reasoningComputer scienceReasoning systemDeductive reasoningAbductive reasoningOpportunistic reasoningInferenceIntuitionMathematical proofModel-based reasoningChainingNatural languageArtificial intelligenceVerbal reasoningNatural deductionAutomated theorem provingNon-monotonic logicTheoretical computer scienceProgramming languageInference engineExpert systemCognitive scienceMathematicsKnowledge representation and reasoningNeurosciencePsychotherapistCognitionPsychologyBiologyGeometryTopic ModelingNatural Language Processing TechniquesSemantic Web and Ontologies