Abstract
During the 1990s, we developed the theory of formal heterogeneous deduction: logically valid inference that involves information expressed using multiple different representations. The Hyperproof program was developed as an implementation of that theory, and permitted deductions using sentences of first-order logic and blocks world diagrams.We have since been generalizing both the theory and the implementation to allow applications in a wide variety of domains.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Etchemendy, J. (2008). Heterogeneous Reasoning. In: Stapleton, G., Howse, J., Lee, J. (eds) Diagrammatic Representation and Inference. Diagrams 2008. Lecture Notes in Computer Science(), vol 5223. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87730-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-87730-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87729-5
Online ISBN: 978-3-540-87730-1
eBook Packages: Computer ScienceComputer Science (R0)