New graphical reasoning models for understanding graphical interfaces

This paper aspires to make three points: (1) that certain graphical interfaces are especially easy to learn and use, (2) that special graphical deduction / computation systems are possible, and (3) that perhaps points (1) and (2) are intimately related, i.e., that graphical interfaces may be especially useful because they engage special human graphical reasoning processes.

[1]  J. Barwise,et al.  Visual information and valid reasoning , 1991 .

[2]  Neil Tennant.  The Withering Away of Formal Semantics , 1986 .

[3]  Bernard Meltzer,et al.  Analogical Representations of Naive Physics , 1989, Artif. Intell..

[4]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[5]  Stephen J. Guastello,et al.  Verbal versus Pictorial Representations of Objects in a Human-Computer Interface , 1989, Int. J. Man Mach. Stud..

[6]  Jakob Nielsen,et al.  Traditional dialogue design applied to modern user interfaces , 1990, CACM.

[7]  Donald A. Norman,et al.  User Centered System Design: New Perspectives on Human-Computer Interaction , 1988 .

[8]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[9]  David E. Kieras,et al.  An Approach to the Formal Analysis of User Complexity , 1999, Int. J. Man Mach. Stud..

[10]  Emil L. Post.  Formal Reductions of the General Combinatorial Decision Problem , 1943 .

[11]  Ben Shneiderman,et al.  The future of interactive systems and the emergence of direct manipulation , 1982 .

[12]  R. K. Lindsay.  Images and inference , 1988, Cognition.

[13]  Dennis Wixon,et al.  User performance with command, menu, and iconic interfaces , 1985, CHI '85.

[14]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[15]  John Karat.  Evaluating User Interface Complexity , 1987 .

[16]  James D. Hollan,et al.  Direct Manipulation Interfaces , 1985, Hum. Comput. Interact..

[17]  Rani Siromoney,et al.  Picture Languages with Array Rewriting Rules , 1973, Inf. Control..