Results 1  10
of
433
UniversitÃ© de BretagneSud
"... Morineau T. (2012). Hypercube algebra: a diagrammatic and sentential notation to support inferences in logic. European ..."
Abstract
 Add to MetaCart
Morineau T. (2012). Hypercube algebra: a diagrammatic and sentential notation to support inferences in logic. European
Why a diagram is (sometimes) worth ten thousand words
 Cognitive Science
, 1987
"... We distinguish diagrammatic from sentential paperandpencil representationsof information by developing alternative models of informationprocessing systems that are informationally equivalent and that can be characterized as sentential or diagrammatic. Sentential representations are sequential, li ..."
Abstract

Cited by 777 (2 self)
 Add to MetaCart
We distinguish diagrammatic from sentential paperandpencil representationsof information by developing alternative models of informationprocessing systems that are informationally equivalent and that can be characterized as sentential or diagrammatic. Sentential representations are sequential
External Cognition: How do Graphical Representations Work?
 INTERNATIONAL JOURNAL OF HUMANCOMPUTER STUDIES
, 1996
"... Advances in graphical technology have now made it possible for us to interact with information in innovative ways, most notably by exploring multimedia environments and by manipulating threedimensional virtual worlds. Many benefits have been claimed for this new kind of interactivity, a general ass ..."
Abstract

Cited by 335 (26 self)
 Add to MetaCart
Advances in graphical technology have now made it possible for us to interact with information in innovative ways, most notably by exploring multimedia environments and by manipulating threedimensional virtual worlds. Many benefits have been claimed for this new kind of interactivity, a general
Spatial Logic and the Complexity of Diagrammatic Reasoning
 MACHINE GRAPHICS AND VISION
, 1997
"... Researchers have sought to explain the observed "efficacy" of diagrammatic reasoning (DR) via the notions of "limited abstraction" and inexpressivity [17, 20]. We argue that application of the concepts of computational complexity to systems of diagrammatic representation is neces ..."
Abstract

Cited by 22 (2 self)
 Add to MetaCart
. This focus raises some problems for the expressive power of graphical systems, related to the topological and geometrical constraints of the medium. A further idea is that some diagrammatic reasoning may be analysed as a variety of topological inference [15]. In particular, we show how reasoning in some
Combining diagrammatic and symbolic reasoning
"... We introduce a domainindependent framework for heterogeneous natural deduction that combines diagrammatic and sentential reasoning. The framework is presented in the form of a family of denotational proof languages (DPLs). Diagrams are represented as possibly partial descriptions of finite system s ..."
Abstract
 Add to MetaCart
strong threevalued logic. We extend the assumptionbase semantics of DPLs to accodomodate diagrammatic reasoning by introducing general inference mechanisms for the valid extraction of information from diagrams and for the incorporation of sentential information into diagrams. A rigorous big
On Automating Diagrammatic Proofs of Arithmetic Arguments
 Journal of Logic, Language and Information
, 1999
"... . Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corres ..."
Abstract

Cited by 35 (9 self)
 Add to MetaCart
. Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than
Diagrammatic representation and reasoning
 Machine GRAPHICS & VISION 3(1/2
, 1994
"... Abstract. The rapidly developing field of diagrammatic knowledge representation and reasoning is surveyed. The origins and rationale of the field, basic principles and methodologies, as well as selected applications are discussed. Closely related areas, like visual languages, data presentation, and ..."
Abstract

Cited by 30 (2 self)
 Add to MetaCart
Abstract. The rapidly developing field of diagrammatic knowledge representation and reasoning is surveyed. The origins and rationale of the field, basic principles and methodologies, as well as selected applications are discussed. Closely related areas, like visual languages, data presentation
Using Diagrammatic Reasoning for . . .
, 2004
"... This project looks at using diagrammatic reasoning to prove mathematical theorems. The work is motivated by a need for theorem provers whose reasoning is readily intelligible to human beings. It should also have practical applications in mathematics teaching. We focus on the continuous domain of ana ..."
Abstract
 Add to MetaCart
quantifiers, sequences and generalisation. We developed representations and reasoning methods to solve these. Our diagram logic isn't complete, but does cover a reasonable range of theorems. It utilises computers to extend diagrammatic reasoning in new directions â€“ including using animation. This work
Strategies in sentential reasoning
, 2002
"... Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed in the paper, each of the strategies depends on component tactics, which all normal adults possess, and which are based ..."
Abstract

Cited by 18 (8 self)
 Add to MetaCart
single model step by step. Moreover, the difficulty of a problem (i.e., the number of mental models required by the premises) predisposes reasoners towards certain strategies. Likewise, the sentential connectives in the premises also bias reasoners towards certain strategies, e.g., conditional premises
Results 1  10
of
433