From a Formal User Model to Design Rules

Authors:
Paul Curzon;Ann Blandford
Affiliations:
-;-
Venue:
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Year:
2002

Citing 7
Cited 2

Unified theories of cognition

Unified theories of cognition
Introduction to HOL: a theorem proving environment for higher order logic

Introduction to HOL: a theorem proving environment for higher order logic
Using Interaction Framework to guide the design of interactive systems

International Journal of Human-Computer Studies
Permissive user interfaces

International Journal of Human-Computer Studies
Modelling Unwarranted Commitment in Information Artefacts

Proceedings of the IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction
Detecting Multiple Classes of User Errors

EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
The Design of Everyday Things

The Design of Everyday Things

Models of interactive systems: a case study on programmable user modelling

International Journal of Human-Computer Studies
Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking

International Journal of Human-Computer Studies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Design rules sometimes seem to contradict. We examine how a formal description of user behaviour can help explain the context when such rules are, or are not, applicable. We describe how they can be justified from a formally specified generic user model. This model was developed by formalising cognitively plausible behaviour, based on results from cognitive psychology. We examine how various classes of erroneous actions emerge from the underlying model. Our lightweight semiformal reasoning from the user model makes predictions that could be used as the basis for further usability studies. Although the user model is very simple, a range of error patterns and design principles emerge.