Abstract
In graphical or diagrammatic representations, not only the basic component of a diagram, but also a collection of multiple components can form a unit with semantic significance. We call such a collection a “global object”, and we consider how this can assist in reasoning using diagrammatic representation. In this paper, we investigate reasoning with correspondence tables as a case study. Correspondence tables are a basic, yet widely applied graphical/diagrammatical representation system. Although there may be various types of global objects in a table, here we concentrate on global objects consisting of rows or columns taken as a whole. We investigate reasoning with tables by exploiting not only local conditions, specifying the values in individual table entries, but also global conditions, which specify constraints on rows and columns in the table. This type of reasoning with tables would typically be employed in a task solving simple scheduling problems, such as assigning workers to work on different days of the week, given global conditions such as the number of people to be assigned to each day, as well as local conditions such as the days of the week on which certain people cannot work. We investigate logical properties of reasoning with tables, and conclude, from the perspective of free ride, that the application of global objects makes such reasoning more efficient.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Barker-Plummer, D., Etchemendy, J.: A computational architecture for heterogeneous reasoning. Journal of Experimental & Theoretical Artificial Intelligence 19(3), 195–225 (2007)
Barker-Plummer, D., Swoboda, N.: Reasoning with coincidence grids–A sequent-based logic and an analysis of complexity. Journal of Visual Languages and Computing 22(1), 56–65 (2011)
Barwise, J., Etchemendy, J.: Heterogeneous Logic. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams. Oxford Studies In Logic And Computation Series, pp. 179–200 (1996)
Barwise, J., Etchemendy, J.: Hyperproof: For Macintosh. The Center for the Study of Language and Information Publications (1995)
Bertin, J.: Semiology of Graphics: Diagrams, Networks, Maps. The University of Wisconsin Press, Madison (1973)
Bertin, J.: Graphics and Graphic Information. de Gruyter, W., Berlin (1981) (Originally published in France in 1977)
Cleveland, W.S.: The Elements of Graphing Data. Hobart Press, Summit (1994)
Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Academic Press (2000)
Gilhooly, K.J., Wood, M., Kinnear, P.R., Green, C.: Skill in map reading and memory for maps. Quarterly Journal of Experimental Psychology 40A, 87–107 (1988)
Guthrie, J.T., Weber, S., Kimmerly, N.: Searching Documents: Cognitive Processes and Deficits in Understanding Graphs, Tables, and Illustrations. Contemporary Educational Psychology 18, 186–221 (1993)
Kinnear, P.R., Wood, M.: Memory for topographic contour maps. British Journal of Psychology 78, 395–402 (1987)
Kosslyn, S.M.: Elements of Graph Design. W. H. Freeman and Company (1994)
Pinker, S.: A Theory of Graph Comprehension. In: Freedle, R. (ed.) Artificial Intelligence and the Future of Testing, pp. 73–126. L. Erlbaum Associates (1990)
Ratwani, R.M., Trafton, J.G., Boehm-Davis, D.A.: Thinking Graphically: Connecting Vision and Cognition During Graph Comprehension. Journal of Experimental Psychology: Applied 14(1), 36–49 (2008)
Shimojima, A.: On the Efficacy of Representation. Ph.D thesis, Indiana University (1996)
Shimojima, A.: Derivative Meaning in Graphical Representations. In: Proceedings of 1999 IEEE Symposium on Visual Languages, pp. 212–219 (1999)
Shimojima, A.: The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, pp. 116–130. Springer, Heidelberg (2002)
Takemura, R.: Proof theory for reasoning with Euler diagrams: a Logic Translation and Normalization. Studia Logica 101(1), 157–191 (2013)
Takemura, R.: A Heterogeneous Logic with Tables. In: Burton, J., Choudhury, L. (eds.) Proceedings of International Workshop on Diagrams, Logic and Cognition (DLAC 2013). CEUR Series, vol. 1132, pp. 9–16 (2014)
Tufte, E.R.: Envisioning Information. Graphics Press, Cheshire (1990)
Wainer, H.: Understanding Graphs and Tables. Educational Researcher 21, 14–23 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Takemura, R., Shimojima, A., Katagiri, Y. (2014). Logical Investigation of Reasoning with Tables. In: Dwyer, T., Purchase, H., Delaney, A. (eds) Diagrammatic Representation and Inference. Diagrams 2014. Lecture Notes in Computer Science(), vol 8578. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44043-8_27
Download citation
DOI: https://doi.org/10.1007/978-3-662-44043-8_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44042-1
Online ISBN: 978-3-662-44043-8
eBook Packages: Computer ScienceComputer Science (R0)