Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higherorder logic that can be used for machine-assisted reasoning about user errors. The core of this model is a series of non-deterministic guarded temporal rules. We consider how this approach allows errors of various specific kinds to be detected and so avoided by proving a single theorem about an interactive system. We illustrate the approach using a simple case study.
CITATION STYLE
Curzon, P., & Blandford, A. (2001). Detecting multiple classes of user errors. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2254, pp. 57–71). Springer Verlag. https://doi.org/10.1007/3-540-45348-2_9
Mendeley helps you to discover research relevant for your work.