Chain-of-Thought (CoT) prompting has emerged as a pivotal technique for
augmenting the inferential capabilities of language models during reasoning
tasks. Despite its advancements, CoT often grapples with challenges in
validating reasoning validity and ensuring informativeness. Addressing these
limitations, this paper introduces the Logic Agent (LA), an agent-based
framework aimed at enhancing the validity of reasoning processes in Large
Language Models (LLMs) through strategic logic rule invocation. Unlike
conventional approaches, LA transforms LLMs into logic agents that dynamically
apply propositional logic rules, initiating the reasoning process by converting
natural language inputs into structured logic forms. The logic agent leverages
a comprehensive set of predefined functions to systematically navigate the
reasoning process. This methodology not only promotes the structured and
coherent generation of reasoning constructs but also significantly improves
their interpretability and logical coherence. Through extensive
experimentation, we demonstrate LA's capacity to scale effectively across
various model sizes, markedly improving the precision of complex reasoning
across diverse tasks.

通过引入逻辑代理（LA）框架，将 LLM 转化为逻辑代理，使用预定义函数和命题逻辑规则实现推理过程，提高推理构建的结构性、连贯性和逻辑一致性，从而显著提高复杂推理精确性。