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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We assume that stations are not connected to themselves, and that connections are bidirectional.
- 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
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)
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
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)
Bulkowski, T.N.: Encyclopedia of Chart Patterns, 2nd edn. Wiley, Hoboken (2005)
Giaquinto, M.: Visual Thinking in Mathematics: An Epistemological Study. Oxford University Press, Oxford (2007)
Hammer, E.: Logic and Visual Information. CSLI Publications, Stanford (1995)
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)
Jamnik, M.: Mathematical Reasoning with Diagrams. CSLI Publications, Stanford (2001)
Lemon, O., Pratt, I.: Spatial logic and the complexity of diagrammatic reasoning. Mach. Graph. Vis. 6(1), 89–108 (1997)
Lowe, R.K.: Diagram prediction and higher order structures in mental representation. Res. Sci. Educ. 24, 208–216 (1994)
Miller, N.: Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. CSLI Publications, Stanford (2007)
Mineshima, K., Okada, M., Takemura, R.: A diagrammatic inference system with Euler circles. J. Log. Lang. Inf. 21(3), 365–391 (2012)
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)
Shimojima, A.: Semantic Properties of Diagrams and Their Cognitive Potentials. CSLI Publications, Stanford (2015)
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
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
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)
Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)
Tufte, E.R.: Envisioning Information. Graphics Press, Cheshire (1990)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
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)