Chapter

Diagrammatic Representation and Inference

Volume 2980 of the series Lecture Notes in Computer Science pp 29-31

# On Differences between the Real and Physical Plane

• Daniel WintersteinAffiliated withEdinburgh University & Cambridge University
• , Alan BundyAffiliated withEdinburgh University & Cambridge University
• , Mateja JamnikAffiliated withEdinburgh University & Cambridge University

* Final gross prices may vary according to local VAT.

## 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}$$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9173563122749329, "perplexity": 1805.5179935170777}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-36/segments/1471982290765.41/warc/CC-MAIN-20160823195810-00166-ip-10-153-172-175.ec2.internal.warc.gz"}