Abstract
The aim of my address will be to argue for the utility of “homomorphic representations” but against the quest for a universal homomorphic representational system. As a corollary, I will argue for the usefulness of heterogeneous reasoning systems and for the special role of linguistic representations within such systems. I will illustrate the points with examples using hardware diagrams and Hyperproof.
Preview
Unable to display preview. Download preview PDF.
References
Barwise, Jon, and John Etchemendy. Hyperproof, CSLI Lecture Notes. Chicago: U of Chicago P., (to appear 1993).
Barwise, Jon, and John Etchemendy. Tarski's World 3.0. CSLI Lecture Notes. Chicago: U of Chicago P, 1991.
Barwise, Jon, and John Etchemendy. “Visual Information and Valid Reasoning.” Visualization in Mathematics. Ed. Walter Zimmerman and Steve Cunningham. Washington: Mathematical Assn. of America, 1991. 9–24. Rpt. in Philosophy and the Computer. Ed. Leslie Burkholder. San Francisco: Westview, 1992. 160–82.
Barwise, Jon, and John Perry. Situations and Attitudes. Cambridge, MA: Bradford-MIT, 1983.
Johnson, Steven, Gerard Allwein, and Jon Barwise. “Toward the Rigorous Use of Diagrams in Hardware Synthesis and Verification.” In progress.
Myers, Karen, and Kurt Konolige. “Integrating Sentential Reasoning for Perception.” Proc. of AAAI Symposium on Reasoning with Diagrammatic Representations. 25–27 March 1992. Stanford: Stanford U, 1992.
Shin, Sun-Joo. “An Information-Theoretic Analysis of Valid Reasoning with Venn Diagrams.” Situation Theory and Its Applications, Part 2. Ed. Jon Barwise et al. CSLI Lecture Notes. Chicago, U of Chicago P, 1991.
Tennant, Neil. “The Withering Away of Formal Semantics.” Mind and Language 1 (1986): 302–18.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barwise, J. (1993). Heterogeneous reasoning. In: Mineau, G.W., Moulin, B., Sowa, J.F. (eds) Conceptual Graphs for Knowledge Representation. ICCS 1993. Lecture Notes in Computer Science, vol 699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56979-0_3
Download citation
DOI: https://doi.org/10.1007/3-540-56979-0_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56979-4
Online ISBN: 978-3-540-47848-5
eBook Packages: Springer Book Archive