On Differences between the Real and Physical Plane

  • Daniel Winterstein
  • Alan Bundy
  • Mateja Jamnik
Conference paper

DOI: 10.1007/978-3-540-25931-2_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2980)
Cite this paper as:
Winterstein D., Bundy A., Jamnik M. (2004) On Differences between the Real and Physical Plane. In: Blackwell A.F., Marriott K., Shimojima A. (eds) Diagrammatic Representation and Inference. Diagrams 2004. Lecture Notes in Computer Science, vol 2980. Springer, Berlin, Heidelberg

Abstract

When formalising diagrammatic systems, it is quite common to situate diagrams in the real plane, \({\mathbb R}^{\rm 2}\). However this is not necessarily sound unless the link between formal and physical diagrams is examined. We explore some issues relating to this, and potential mistakes that can arise. This demonstrates that the effects of drawing resolution and the limits of perception can change the meaning of a diagram in surprising ways. These effects should therefore be taken into account when giving formalisations based on \({\mathbb R}^{\rm 2}\).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Daniel Winterstein
    • 1
  • Alan Bundy
    • 1
  • Mateja Jamnik
    • 1
  1. 1.Edinburgh University & Cambridge University 

Personalised recommendations