Advertisement

Operations on Single Feature Indicator Systems

  • Atsushi ShimojimaEmail author
  • Dave Barker-Plummer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

References

  1. 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)CrossRefGoogle Scholar
  2. 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_8CrossRefGoogle Scholar
  3. 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. 4.
    Bulkowski, T.N.: Encyclopedia of Chart Patterns, 2nd edn. Wiley, Hoboken (2005)Google Scholar
  5. 5.
    Giaquinto, M.: Visual Thinking in Mathematics: An Epistemological Study. Oxford University Press, Oxford (2007)CrossRefGoogle Scholar
  6. 6.
    Hammer, E.: Logic and Visual Information. CSLI Publications, Stanford (1995)zbMATHGoogle Scholar
  7. 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)CrossRefGoogle Scholar
  8. 8.
    Jamnik, M.: Mathematical Reasoning with Diagrams. CSLI Publications, Stanford (2001)zbMATHGoogle Scholar
  9. 9.
    Lemon, O., Pratt, I.: Spatial logic and the complexity of diagrammatic reasoning. Mach. Graph. Vis. 6(1), 89–108 (1997)Google Scholar
  10. 10.
    Lowe, R.K.: Diagram prediction and higher order structures in mental representation. Res. Sci. Educ. 24, 208–216 (1994)CrossRefGoogle Scholar
  11. 11.
    Miller, N.: Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. CSLI Publications, Stanford (2007)zbMATHGoogle Scholar
  12. 12.
    Mineshima, K., Okada, M., Takemura, R.: A diagrammatic inference system with Euler circles. J. Log. Lang. Inf. 21(3), 365–391 (2012)MathSciNetCrossRefGoogle Scholar
  13. 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. 14.
    Shimojima, A.: Semantic Properties of Diagrams and Their Cognitive Potentials. CSLI Publications, Stanford (2015)Google Scholar
  15. 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_25CrossRefGoogle Scholar
  16. 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_7CrossRefzbMATHGoogle Scholar
  17. 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. 18.
    Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)zbMATHGoogle Scholar
  19. 19.
    Tufte, E.R.: Envisioning Information. Graphics Press, Cheshire (1990)Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Faculty of Culture and Information ScienceDoshisha UniversityKyotanabeJapan
  2. 2.CSLI/Stanford UniversityStanfordUSA

Personalised recommendations