Truculent
发表于 2025-3-23 12:16:37
Measuring User Comprehension of Inference Rules in Euler Diagrams ., if users make fewer errors in understanding which inference rules were applied in . than in ., and do so in a shorter time. We analysed the readability of individual rules in an empirical study which required users to identify the rules used in inferences. We found that increased clutter (redund
pacific
发表于 2025-3-23 15:19:06
http://reply.papertrans.cn/28/2709/270821/270821_12.png
lanugo
发表于 2025-3-23 21:19:53
http://reply.papertrans.cn/28/2709/270821/270821_13.png
Pantry
发表于 2025-3-23 22:58:56
http://reply.papertrans.cn/28/2709/270821/270821_14.png
范例
发表于 2025-3-24 03:49:36
A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systemsof a class of representation systems, and proving formal results based on this characterization..We illustrate this approach by defining and investigating two closely related classes of representations that we call . (SFIS), with and without .. Many common representations including ., such as timeta
LIMIT
发表于 2025-3-24 07:37:29
A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economicsis paper, we apply the proof-theoretic techniques developed in our previous studies [., .] to heterogeneous reasoning with graphs in elementary economics. We apply the natural deduction-style formalization, which makes it possible to apply well-developed proof-theoretic techniques to the analysis of
Crumple
发表于 2025-3-24 12:25:36
Minimizing Clutter Using Absence in Venn-,s of monadic first-order logic, sometimes with equality, and are equipped with sound and complete inference rules. A particular challenge is the representation of . statements. This paper addresses the problem of how to represent negated statements involving constants, thus asserting the absence of
隐士
发表于 2025-3-24 15:26:57
Human Reasoning with Proportional Quantifiers and Its Support by Diagramse diagrams can represent syllogistic reasoning with proportional quantifiers, building on previous work on diagrams for the so-called plurative syllogism (Rescher and Gallagher, 1965). We then conduct an experiment to compare performances on syllogistic reasoning tasks of two groups: those who use o
Mettle
发表于 2025-3-24 19:41:15
Extensions of Euler Diagrams in Peirce’s Four Manuscripts on Logical Graphsed many paragraphs, figures and important variants of the main text, and diagrams were reproduced misleadingly or imprecisely. Another important and wholly unpublished paper of his (Ms 481, 1896-7) presents a novel extension of Euler’s diagrams for negative terms. Third, among the discarded pages of
Addictive
发表于 2025-3-25 02:37:32
Hint, Instruction, and Practice: The Necessary Components for Promoting Spontaneous Diagram Use in Sdents undertaking an undergraduate course in education. The course required the students to regularly produce for homework a one-page explanation of what they had learned. In the first few weeks of the course, they rarely included diagrams in their explanations. Following a hint to use diagrams (pro