Blog
About

127
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Formal Methods and Human Communication

      ,

      Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface (FAC)

      Formal Aspects of the Human Computer Interface

      10-12 September 1996

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          “Which picture is worth which 1000 words?” The best known theories approach this question through explanations in terms of human computational architecture. So, for Larkin & Simon [7], diagrams are efficacious because they allow the parallel computational power of human vision to be brought to bear on diagrammatic representations (at least in some cases).

          A more fundamental approach separates the problem into two parts—issues about computational complexity arising from the nature of the semantic interpretation (issues which are abstract with regard to architecture); and issues about how human computational architecture in particular can be brought to bear on different representations. On this view, diagrams are often logically inexpressive and this is why they lead to efficient inference. Indeed, this is part of the reason why parallel computational mechanisms may be applicable to them.

          This paper reviews experiences of applying this semantic approach to the empirical study of modality assignment in disparate domains (logic teaching, safety critical software engineering and the teaching of formality) and draws together some conclusions concerning the multifarious implications of formality for HCI.

          Related collections

          Most cited references 4

          • Record: found
          • Abstract: not found
          • Article: not found

          Why a Diagram is (Sometimes) Worth Ten Thousand Words

           H. Simon,  J. Larkin (1987)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Contrasting the cognitive effects of graphical and sentential logic teaching: Reasoning, representation and individual differences

                Bookmark

                Author and article information

                Contributors
                Conference
                September 1996
                September 1996
                : 1-10
                Affiliations
                Human Communication Research Centre, University of Edinburgh

                Edinburgh, UK
                Article
                10.14236/ewic/FAC1996.14
                © Keith Stenning et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University

                This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

                Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface
                FAC
                Sheffield Hallam University
                10-12 September 1996
                Electronic Workshops in Computing (eWiC)
                Formal Aspects of the Human Computer Interface
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article