POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Communications of the ACM
Topology via logic
Envisioning information
Basic category theory for computer scientists
Basic category theory for computer scientists
An Iconic Programming System, HI-VISUAL
IEEE Transactions on Software Engineering
Handbook of logic in computer science (vol. 1)
Toolglass and magic lenses: the see-through interface
SIGGRAPH '93 Proceedings of the 20th annual conference on Computer graphics and interactive techniques
Hybrid reasoning using universal attachment
Artificial Intelligence
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Designing visual interfaces: communication oriented techniques
Designing visual interfaces: communication oriented techniques
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Visual information and valid reasoning
Logical reasoning with diagrams
Toward the rigorous use of diagrams in reasoning about hardware
Logical reasoning with diagrams
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Theories of programming languages
Theories of programming languages
A simplied universal relation assumption and its properties
ACM Transactions on Database Systems (TODS)
Logic and Visual Information
Principles of Visual Programming Systems
Principles of Visual Programming Systems
Using Animation in Diagrammatic Theorem Proving
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Modeling Heterogeneous Systems
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
STACS '87 Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science
Diagram processing: computing with diagrams
Artificial Intelligence
Information Visualization: Perception for Design
Information Visualization: Perception for Design
The Expressiveness of Spider Diagrams
Journal of Logic and Computation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
We introduce Vivid, a domain-independent framework for mechanized heterogeneous reasoning that combines diagrammatic and symbolic representation and inference. The framework is presented in the form of a family of denotational proof languages (DPLs). We present novel formal structures, called named system states, that are specifically designed for modeling potentially underdetermined diagrams. These structures allow us to deal with incomplete information, a pervasive feature of heterogeneous problem solving. We introduce a notion of attribute interpretations that enables us to interpret first-order relational signatures into named system states, and develop a formal semantic framework based on 3-valued logic. We extend the assumption-base semantics of DPLs to accommodate 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-step operational semantics is given, on the basis of which we prove that the framework is sound. We present examples of particular instances of Vivid in order to solve a series of problems, and discuss related work.