Skip to main content
SpringerLink
Log in
Book cover

International Conference on Theory and Application of Diagrams

Diagrams 2018: Diagrammatic Representation and Inference pp 296–312Cite as

Operations on Single Feature Indicator Systems

  • Conference paper
  • First Online:

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

Abstract

A single feature indicator system (SFIS) is a signaling system where a representation carries information through a one-to-one correspondence of the “values” taken by its elements to those taken by a set of represented objects. The purpose of this paper is to demonstrate that many common diagrammatic systems are either SFISs or have SFISs as their semantic basis. We take as examples several familiar diagrammatic systems with seemingly diverse semantic systems (tables, charts, connectivity diagrams) and show the fundamental similarities among them that put them all under the concept of SFIS. We then explore different ways in which an SFIS is extended to a new, perhaps more expressive representation system. The paper paves the way to an account of the functional commonality and diversity of diagrammatic systems in terms of the operations that generate them from some basic systems.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    We assume that stations are not connected to themselves, and that connections are bidirectional.

  2. 2.

    In [16] we give a different account of neutral values as not referring to any value in the target system. These two accounts are equivalent, but the account here allows us to generalize the idea of complete neutrality.

References

  1. Barker-Plummer, D., Swoboda, N.: Reasoning with coincidence grids—a sequent-based logic and an analysis of complexity. J. Vis. Lang. Comput. 22(1), 56–65 (2011)

    Article  Google Scholar 

  2. Barker-Plummer, D., Swoboda, N., Murray, M.D.: An example HyperVenn proof. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS (LNAI), vol. 8578, pp. 51–53. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44043-8_8

    Chapter  Google Scholar 

  3. Barwise, J., Etchemendy, J.: Heterogeneous logic. In: Glasgow, J., Hari Narayanan, N., Chanrasekaran, B. (eds.) Diagrammatic Reasoning: Cognitive and Computational Perspectives, pp. 211–234. MIT Press/AAAI Press, Cambridge/Menlo Park (1995)

    Google Scholar 

  4. Bulkowski, T.N.: Encyclopedia of Chart Patterns, 2nd edn. Wiley, Hoboken (2005)

    Google Scholar 

  5. Giaquinto, M.: Visual Thinking in Mathematics: An Epistemological Study. Oxford University Press, Oxford (2007)

    Book  Google Scholar 

  6. Hammer, E.: Logic and Visual Information. CSLI Publications, Stanford (1995)

    MATH  Google Scholar 

  7. Howse, J., Molina, F., Taylor, J., Kent, S., Gil, J.Y.: Spider diagrams: A diagrammatic reasoning system. J. Vis. Lang. Comput. 12, 299–324 (2001)

    Article  Google Scholar 

  8. Jamnik, M.: Mathematical Reasoning with Diagrams. CSLI Publications, Stanford (2001)

    MATH  Google Scholar 

  9. Lemon, O., Pratt, I.: Spatial logic and the complexity of diagrammatic reasoning. Mach. Graph. Vis. 6(1), 89–108 (1997)

    Google Scholar 

  10. Lowe, R.K.: Diagram prediction and higher order structures in mental representation. Res. Sci. Educ. 24, 208–216 (1994)

    Article  Google Scholar 

  11. Miller, N.: Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. CSLI Publications, Stanford (2007)

    MATH  Google Scholar 

  12. Mineshima, K., Okada, M., Takemura, R.: A diagrammatic inference system with Euler circles. J. Log. Lang. Inf. 21(3), 365–391 (2012)

    Article  MathSciNet  Google Scholar 

  13. Ratwani, R.M., Trafton, J.G., Boehm-Davis, D.A.: Thinking graphically: connecting vision and cognition during graph comprehension. J. Exp. Psychol.: Appl. 14(1), 36–49 (2008)

    Google Scholar 

  14. Shimojima, A.: Semantic Properties of Diagrams and Their Cognitive Potentials. CSLI Publications, Stanford (2015)

    Google Scholar 

  15. Shimojima, A., Barker-Plummer, D.: The Barwise-Seligman model of representation systems: a philosophical explication. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS (LNAI), vol. 8578, pp. 231–245. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44043-8_25

    Chapter  Google Scholar 

  16. Shimojima, A., Barker-Plummer, D.: A generic approach to diagrammatic representation: the case of single feature indicator systems. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS (LNAI), vol. 9781, pp. 83–97. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42333-3_7

    Chapter  MATH  Google Scholar 

  17. Shin, S.-J.: A situation-theoretic account of valid reasoning with Venn diagram. In: Barwise, J., Gawron, J.M., Tutiya, S. (eds.) Situation Theory and Its Applications, pp. 581–606. CSLI Publications, Stanford (1991)

    Google Scholar 

  18. Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)

    MATH  Google Scholar 

  19. Tufte, E.R.: Envisioning Information. Graphics Press, Cheshire (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Culture and Information Science, Doshisha University, 1-3 Tatara-Miyakodani, Kyotanabe, 610-0394, Japan

    Atsushi Shimojima

  2. CSLI/Stanford University, Cordura Hall, 210 Panama Street, Stanford, CA, 94305, USA

    Dave Barker-Plummer

Authors
  1. Atsushi Shimojima
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dave Barker-Plummer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Atsushi Shimojima .

Editor information

Editors and Affiliations

  1. Edinburgh Napier University, Edinburgh, UK

    Peter Chapman

  2. University of Brighton, Brighton, UK

    Gem Stapleton

  3. Tallinn University of Technology, Tallinn, Estonia

    Amirouche Moktefi

  4. Mitre Corporation, McLean, VA, USA

    Sarah Perez-Kriz

  5. University of Bologna, Bologna, Italy

    Francesco Bellucci

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Shimojima, A., Barker-Plummer, D. (2018). Operations on Single Feature Indicator Systems. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds) Diagrammatic Representation and Inference. Diagrams 2018. Lecture Notes in Computer Science(), vol 10871. Springer, Cham. https://doi.org/10.1007/978-3-319-91376-6_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91376-6_28

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91375-9

  • Online ISBN: 978-3-319-91376-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation