Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Chain of Logic: Rule-Based Reasoning with Large Language Models

About

Rule-based reasoning, a fundamental type of legal reasoning, enables us to draw conclusions by accurately applying a rule to a set of facts. We explore causal language models as rule-based reasoners, specifically with respect to compositional rules - rules consisting of multiple elements which form a complex logical expression. Reasoning about compositional rules is challenging because it requires multiple reasoning steps, and attending to the logical relationships between elements. We introduce a new prompting method, Chain of Logic, which elicits rule-based reasoning through decomposition (solving elements as independent threads of logic), and recomposition (recombining these sub-answers to resolve the underlying logical expression). This method was inspired by the IRAC (Issue, Rule, Application, Conclusion) framework, a sequential reasoning approach used by lawyers. We evaluate chain of logic across eight rule-based reasoning tasks involving three distinct compositional rules from the LegalBench benchmark and demonstrate it consistently outperforms other prompting methods, including chain of thought and self-ask, using open-source and commercial language models.

Sergio Servantez, Joe Barrow, Kristian Hammond, Rajiv Jain• 2024

Related benchmarks

TaskDatasetResultRank
Logical reasoningLogical Deduction
Pass@11
18
First-Order Logic ReasoningFOLIO
Pass@1 Success Rate80
18
Logical reasoningLogiQA
Pass@1 Accuracy0.806
18
Deductive ReasoningProofWriter
Pass@192
18
Inductive ReasoningCLUTRR
Pass@144.8
18
Deductive ReasoningPrOntoQA
Pass@10.91
18
First-Order Logic ReasoningLogicNLI
Pass@154
18
Showing 7 of 7 rows

Other info

Follow for update