The proceedings contain 60 papers. The special focus in this conference is on diagrammaticrepresentation and inference. The topics include: Inferential and expressive capacities of graphical representations;psychologi...
ISBN:
(纸本)354021268X
The proceedings contain 60 papers. The special focus in this conference is on diagrammaticrepresentation and inference. The topics include: Inferential and expressive capacities of graphical representations;psychological foundations for concept modeling;on differences between the real and physical plane;towards a default reading for constraint diagrams;diagrams and non-monotonicity in puzzles;ensuring the drawability of extended Euler diagrams for up to 8 sets;on extending Venn diagram by augmenting names of individuals;an architecture for problem solving with diagrams;inter-diagrammatic reasoning and digital geometry;roles of diagrammatic information for the discovery of geometrical theorems;incorporating perceptual task effort into the recognition of intention in information graphics;co-ordinating conventions in graphical dialogue;predictors of success in diagrammatic problem solving;speech and graphical interaction in multimodal communication;generating new research hypotheses from a result diagram of qualitative research;effects on inferences and the integration of information;the effect of knowledge-of-external-representations upon performance and representational choice in a database query task;a training program to be perceptually sensitive and conceptually productive through meta-cognition;constructing diagrams representing group motions;an informative illustration of the pairing problem;visualization techniques for product change and product modelling in complex design;an empirical study on real-life credit-risk data;using color component overlays for result visualization in a classification by sketch system and perceptually supported diagram image editing.
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development of software systems. They generalize ...
详细信息
ISBN:
(纸本)354021268X
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler circles, and include facilities for quantification and navigation of relations. Due to the lack of a linear ordering of symbols inherent in a diagrammatic language which expresses logical statements, some constraint diagrams have more than one intuitive meaning. We generalize, from an example based approach, to suggest a default reading for constraint diagrams. This reading is usually unique, but may require a small number of simple user choices.
Liar puzzles have been popularized by Raymond Smullyan in several books. This paper presents a logical and diagrammatic examination of such puzzles in terms of a epistemic truth values. Also, non-monotonic reasoning m...
详细信息
ISBN:
(纸本)354021268X
Liar puzzles have been popularized by Raymond Smullyan in several books. This paper presents a logical and diagrammatic examination of such puzzles in terms of a epistemic truth values. Also, non-monotonic reasoning may occur as new information is learned about a puzzle. This paper presents a way to think about such non-monotonic reasoning which does not involve the use of a non-monotonic logic but instead utilizes context shifts among static logics. The information coming from the presented diagrams is timeless, it is a monotonic back-bone of the whole non-monotonic knowledge.
We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). To evaluate its pragmatic val...
详细信息
ISBN:
(纸本)354021268X
We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). To evaluate its pragmatic value, pilot experiments were conducted using this logic implemented in an interactive theorem prover - to teach undergraduate students (and comparing performance against an equivalent algebraic logic). Our results show significantly better performance for students using diagrammatic reasoning. We conclude that diagrams are a useful tool for reasoning in such domains.
In this paper, an overview of the general construction principles of an interactively animated diagrammatic system, called diagrammatic spreadsheet, is described. An example of the use of the system in interactive exp...
详细信息
TRACS: Tool for Research on Adaptive Cognitive Strategies, is a new family of card games played with a special deck. Each card in the deck is a double-sided diagram, where the back gives a clue to the front. Compared ...
详细信息
ISBN:
(纸本)354021268X
TRACS: Tool for Research on Adaptive Cognitive Strategies, is a new family of card games played with a special deck. Each card in the deck is a double-sided diagram, where the back gives a clue to the front. Compared to standard card games, this clue/truth structure makes TRACS more tractable to theoretical investigations in the lab and more typical of practical situations in the world. Here I present the design of the deck and discuss some research results.
In this paper we examine inter-diagrammatic reasoning (IDR) as a framework for digital geometry. We show how IDR can be used to represent digital geometry in two dimensions, as well as providing a concise language for...
详细信息
ISBN:
(纸本)354021268X
In this paper we examine inter-diagrammatic reasoning (IDR) as a framework for digital geometry. We show how IDR can be used to represent digital geometry in two dimensions, as well as providing a concise language for specifying algorithms. As an example, we specify algorithms and examine the algorithmic complexity of using IDR for reasoning about the relationships between planar regions. Finally, we discuss the circumstance under which the algorithmic abstractions in IDR can produce efficient algorithms under realistic computational assumptions.
Knowledge discovery is one of the humans' most creative activities. As is often pointed out, humans often draw figures in the process of reasoning and problem solving. diagrammatic information from a figure gives ...
详细信息
ISBN:
(纸本)354021268X
Knowledge discovery is one of the humans' most creative activities. As is often pointed out, humans often draw figures in the process of reasoning and problem solving. diagrammatic information from a figure gives us numerical and relational data for reasoning, and it also gives us cues for controlling reasoning, The author has developed four discovery systems in the domain of plane geometry. These systems automatically draw several forms of figures and observe the figures in order to acquire geometrical data. The data are used for extracting numerical expressions needed for discovering theorems, controlling discovery processes in order to avoid combinatorial explosion, and evaluating the usefulness of generated numerical expressions. As an approach of automated scientific discovery, this paper discusses the roles of diagrammatic information in the process of knowledge discovery.
The more extensive use of diagrammaticrepresentations as a tool for managing complexity and communication problems of mathematical knowledge is advocated in the paper. The specifics of this representation tool are in...
详细信息
ISBN:
(纸本)3540230297
The more extensive use of diagrammaticrepresentations as a tool for managing complexity and communication problems of mathematical knowledge is advocated in the paper. The specifics of this representation tool are introduced, including the problems with using diagrams in mathematics, issues of proper design of diagrams, specification of main usage types of mathematical diagrams and ways of their implementation. The discussion is illustrated by a number of diagrams, mostly taken from the diagrammatic notation for interval algebra recently developed by the author. These and other issues of diagrammaticrepresentation and reasoning are investigated by the recently emerging discipline of diagrammatics.
This builds on previous work in which we have developed diagramming principles based on theories of structural object perception. We call these geon diagrams. We have previously shown that such diagrams are easy to re...
详细信息
ISBN:
(纸本)354021268X
This builds on previous work in which we have developed diagramming principles based on theories of structural object perception. We call these geon diagrams. We have previously shown that such diagrams are easy to remember and to analyze. To evaluate our hypothesis that geon diagrams should also be easy to understand we carried out an empirical study to evaluate the learnability of geon diagram semantics in comparison with the well-established UML convention. The results support our theory of learnability. Both "novices" and "experts" found the geon diagram syntax easier to apply in a diagram-to-textual description matching task than the equivalent UML syntax.
暂无评论