Communications of the ACM
Logic and Visual Information
The Logic of Architecture: Design, Computation, and Cognition
The Logic of Architecture: Design, Computation, and Cognition
Diagrammatic Reasoning: Cognitive and Computational Perspectives
Diagrammatic Reasoning: Cognitive and Computational Perspectives
Verification Tools for Finite-State Concurrent Systems
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Diagram processing: computing with diagrams
Artificial Intelligence
Openproof - A Flexible Framework for Heterogeneous Reasoning
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Reasoning with coincidence grids-A sequent-based logic and an analysis of complexity
Journal of Visual Languages and Computing
Capturing hiproofs in HOL light
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |
In this paper we describe a computational architecture for applications that support heterogeneous reasoning. Heterogeneous reasoning is, in its most general form, reasoning that employs representations drawn from multiple representational forms. Of particular importance, and the principal focus of the architecture, is heterogeneous reasoning which employs one or more forms of graphical representation, perhaps in combination with sentences (of English or another language, whether natural or scientific). Graphical representations include diagrams, pictures, layouts, blueprints, flowcharts, graphs, maps, tables, spreadsheets, animations, video, and 3D models. By 'an application that supports heterogeneous reasoning' we mean an application that allows users to construct, record, edit, and replay a process of reasoning using multiple representations so that the structure of the reasoning is maintained and the informational dependencies and justifications of the individual steps of the reasoning can be recorded.