Abstract
In this paper we describe the Openproof heterogeneous reasoning framework. The Openproof framework provides support for the implementation of heterogeneous reasoning environments, i.e., environments for writing arguments or proofs involving a number of different kinds of representation. The resulting environments are in a similar spirit to our Hyperproof program, though the Openproof framework goes beyond Hyperproof by providing facilities for the inclusion of a variety of representation systems in the same environment. The framework serves as the core of a number of widely used educational programs including Fitch.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Barwise, J., Etchemendy, J.: Information, infons and inference. In: Situation Theory and Its Applications, pp. 33–78. CSLI Publications, Stanford (1990)
Barwise, J., Etchemendy, J.: Heterogeneous logic. In: Logical reasoning with diagrams, pp. 179–200. Oxford University Press, New York (1996)
Barwise, J., Etchemendy, J.: Visual information and valid reasoning. In: Logical reasoning with diagrams, pp. 3–25. Oxford University Press, New York (1996)
Barwise, J., Etchemendy, J.: Hyperproof. CSLI Publications, Stanford (1994)
Barker-Plummer, D., Etchemendy, J.: Visual decision making: A computational architecture for heterogeneous reasoning. In: Kovalerchuk, B., Schwing, J. (eds.) Visual and Spatial Analysis: Advances in Data Mining, Reasoning and Problem Solving, pp. 79–109. Springer, Berlin (2004)
Barker-Plummer, D., Etchemendy, J.: A computational architecture for heterogeneous reasoning. Journal of Theoretical and Experimental Artificial Intelligence 19(3), 195–225 (2007)
Barker-Plummer, D., Etchemendy, J.: Applications of heterogeneous reasoning in design. Machine Graphics and Vision 12(1), 39–54 (2003)
Swoboda, N., Allwein, G.: Modeling heterogeneous systems. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, pp. 131–145. Springer, Heidelberg (2002)
Barwise, J., Etchemendy, J., Allwein, G., Barker-Plummer, D., Liu, A.: Language Proof and Logic. CSLI Publications, University of Chicago Press, Stanford (1999)
Swoboda, N., Allwein, G.: Heterogeneous reasoning with euler/venn diagrams containing named constants and fol. Electronic Notes in Theoretical Computer Science 134, 153–187 (2005)
Barker-Plummer, D., Swoboda, N.: A sequent based logic for coincidence grid. In: CEUR Workshop Proceedings, vol. 274, pp. 1–12 (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barker-Plummer, D., Etchemendy, J., Liu, A., Murray, M., Swoboda, N. (2008). Openproof - A Flexible Framework for 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_32
Download citation
DOI: https://doi.org/10.1007/978-3-540-87730-1_32
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)