Jul 2026· Diagrams· pp. 284-292· 0 citations· 8 references
Computer Science
TL;DR
This paper compares four representational conditions for syllogistic reasoning: natural language, logical notation, linear diagrams, and Euler diagrams, and suggests that the tested models gain limited benefit from diagrams in logical reasoning tasks.
Abstract
Diagrams are widely used to support logical reasoning, and prior studies suggest that representations such as Euler diagrams can improve human reasoning performance. Recent work has also explored their effects on large language models (LLMs). In this paper, we compare four representational conditions for syllogistic reasoning: natural language, logical notation, linear diagrams, and Euler diagrams. Using 285 problems from Ando et al. (2024), we evaluate two contemporary LLMs, Claude 3.5~Sonnet and GPT-4o-mini. Our results show that diagrammatic representations do not consistently improve performance. Although the models perform well on entailment and contradiction problems, they struggle with neutral problems and often make systematic conversion errors. Overall, the results suggest that the tested models gain limited benefit from diagrams in logical reasoning tasks.
Logical reasoning with large language models (LLMs) is a critical capability, as it reflects a system's ability to correctly deduce hypotheses from a given context using faithful deductive processes. However, LLM reasoning has often been shown to be sensitive to small surface-level variations in problem formulation, ra...
Ramya Keerthy Thatikonda, W. Buntine, Ehsan Shareghi· 0 citations
HexLogicAgent is proposed, a framework that first organizes the meaning of natural-language statements and then guides logical reasoning through structured verification, supported by a logical hexagon theory, which explains why a complete structure of opposing meanings is necessary for reliable reasoning.
It is shown that logical incoherencies follow from an LLM’s computation of its internal representations, in particular from an LLM’s failure to take account of the different roles that different expressions may play in determining content.
Nicholas Asher, Swarnadeep Bhar· Topoi· 0 citations
The types of errors that arise in LLMs'reasoning processes on mathematical datasets are clarified and manually analyze the features of reasoning errors.
Runa Yoshida, Kosuke Nishida, Kyosuke Nishida· 0 citations
This work conducts a controlled human study of six reasoning formats across tasks of varying complexity, supported by a web-based framework that randomizes task domains, problem instances, and representation order.
This paper investigates the reasoning capabilities of Large Language Models (LLMs) by adopting a problem-solving approach. For maritime situation awareness, ChatGPT-4 was tested on a practical task for ship identification by gradually integrating a variety of information sources and observations. Experiments were condu...
V. Dragos, Erik Blasch, A. Jousselme et al.· National Aerospace and Elect...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.