Skip to main content
SpringerLink
Log in
Book cover

International Conference on Conceptual Structures

ICCS 1993: Conceptual Graphs for Knowledge Representation pp 64–74Cite as

Heterogeneous reasoning

  • Invited Talks
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 699))

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barwise, Jon, and John Etchemendy. Hyperproof, CSLI Lecture Notes. Chicago: U of Chicago P., (to appear 1993).

    Google Scholar 

  2. Barwise, Jon, and John Etchemendy. Tarski's World 3.0. CSLI Lecture Notes. Chicago: U of Chicago P, 1991.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. Barwise, Jon, and John Perry. Situations and Attitudes. Cambridge, MA: Bradford-MIT, 1983.

    Google Scholar 

  5. Johnson, Steven, Gerard Allwein, and Jon Barwise. “Toward the Rigorous Use of Diagrams in Hardware Synthesis and Verification.” In progress.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. Tennant, Neil. “The Withering Away of Formal Semantics.” Mind and Language 1 (1986): 302–18.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departments of Computer Science, Philosophy, and Mathematics, Indiana University, USA

    Jon Barwise

Authors
  1. Jon Barwise
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy W. Mineau Bernard Moulin John F. Sowa

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation