Detecting Multiple Classes of User Errors
Detecting Multiple Classes of User Errors
复制标题
检测多类用户错误
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
A. Blandford
中科院分区：
文献类型：
--
作者：
P. Curzon;A. Blandford
系统用户错误通常发生在交互系统的使用中。我们描述了一个用高阶逻辑实现的正式可重用用户模型，该模型可用于机器辅助的用户错误推理。该模型的核心是一系列不确定的守卫时间规则。我们考虑这种方法如何允许检测各种特定类型的错误，从而通过证明关于交互系统的单个定理来避免错误。我们使用一个简单的案例研究来说明这种方法。
Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order 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.