Relating Two Image-Based Diagrammatic Reasoning Architectures
Furnas, George; Anderson, Michael
2010
View/ Open
bitpict-IDR-Figure-8A-NOT-annotated.mov
#1/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the NOT operator. Bitpict rules for each case leave the result where the red NOT-operator color was, and light yellow emptyspace behind. This is a video version of Figure 8 (first part) in Anderson&Furnas (2010).
(993.2KB
QuickTime video)#1/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the NOT operator. Bitpict rules for each case leave the result where the red NOT-operator color was, and light yellow emptyspace behind. This is a video version of Figure 8 (first part) in Anderson&Furnas (2010).
bitpictIDR-FIgure-8B-AND-annotated.mov
#2/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the AND operator. Bitpict rules for each case leave the result where the blue AND-operator color was, and light yellow emptyspace behind. This is a video version of Figure 8 (second part) in Anderson&Furnas (2010).
(308.7KB
QuickTime video)#2/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the AND operator. Bitpict rules for each case leave the result where the blue AND-operator color was, and light yellow emptyspace behind. This is a video version of Figure 8 (second part) in Anderson&Furnas (2010).
bitpictIDR-Figure-9A-MoveDataLeft-annotated.mov
#3/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the MoveDataLeft rules. This is a video version of Figure 9a in Anderson&Furnas (2010).
(514.4KB
QuickTime video)#3/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the MoveDataLeft rules. This is a video version of Figure 9a in Anderson&Furnas (2010).
bitpictIDR-Figure-9B-Overlay-NOT-AND-annotated.mov
#4/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the expression OVERLAY(NOT(D1), AND(D2,D3)), applied to 1x10 "diagrams", D1, D2, and D3. This is a video version of Figure 9b in Anderson&Furnas (2010).
(546.6KB
QuickTime video)#4/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the expression OVERLAY(NOT(D1), AND(D2,D3)), applied to 1x10 "diagrams", D1, D2, and D3. This is a video version of Figure 9b in Anderson&Furnas (2010).
bitpictIDR-Figure-10-NULLpredicate-annotated.mov
#5/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the NULL predicate. This is a video version of Figure 10 in Anderson&Furnas (2010).
(457.8KB
QuickTime video)#5/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the NULL predicate. This is a video version of Figure 10 in Anderson&Furnas (2010).
bitpictIDR-Figure-11-AccumulateOverlay-v2-annotated.mov
#6/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the ACCUMULATE function applying the OVERLAY operator repeatedly to a set of 5 1x10 diagrams. This is a video version of Figure 11 in Anderson&Furnas (2010).
(1MB
QuickTime video)#6/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the ACCUMULATE function applying the OVERLAY operator repeatedly to a set of 5 1x10 diagrams. This is a video version of Figure 11 in Anderson&Furnas (2010).
bitpictIDR-Figure-12-FILTER-LT2-v2-annotated.mov
#7/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the FILTER function, filtering a set of 5 diagrams based on a pre-defined "LessThanTwo" predicate. This is a video version of Figure 12 in Anderson&Furnas (2010).
(1.4MB
QuickTime video)#7/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the FILTER function, filtering a set of 5 diagrams based on a pre-defined "LessThanTwo" predicate. This is a video version of Figure 12 in Anderson&Furnas (2010).
bitpictIDR-Figure-13-MAP-MAX-annotated.mov
#8/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the MAP function applying a three-place MAX predicate to three corresponding sets of 1-dimensional "diagrams". This is a video version of Figure 13 in Anderson&Furnas (2010).
(975.5KB
QuickTime video)#8/8 - BITPICT implementation of InterDiagrammatic Reasoning -- the MAP function applying a three-place MAX predicate to three corresponding sets of 1-dimensional "diagrams". This is a video version of Figure 13 in Anderson&Furnas (2010).
Abstract
To advance the understanding of different diagrammatic reasoning architectures that reason directly with images, we examine the relationship between Anderson's Inter-Diagrammatic Reasoning (IDR) architecture and Furnas' BITPICT architecture using the technique of cross-implementation. Implementing substantial functionality of each in the other, and noting what is easy and what is difficult, yields insights into the two architectures and such systems in general.PMID
19818971
Subjects
Diagrammatic Reasoning Depictive Representations InterDiagrammatic Reasoning Bitpict
Description
Additional supportive materials, most notably video versions of many of the figures, are included in this item. This paper is in press, and will appear in the proceedings of the "Diagrams 2010" conference, published as a volume in the Springer series, Lecture Notes in Computer Science.
Types
Article Video
URI
http://www.ncbi.nlm.nih.gov/sites/entrez?cmd=retrieve&db=pubmed&list_uids=19818971&dopt=citationMetadata
Show full item recordRemediation of Harmful Language
The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.