为证明设计图形用户界面——一项人机交互实验的评估
人工智能
2009-03-24 v1
摘要
定理证明系统的用户界面通常侧重于辅助受过专门训练且熟练的用户，即证明专家。因此，非专家用户难以使用这些系统。本文描述了一项纸笔人机交互实验，在该实验中，（非专家）学生被要求为用于数学证明的交互式系统提出图形用户界面建议。他们必须通过应用该界面来为给定定理构建证明草图，从而解释该界面的用法。该实验的评估为面向非专家用户的交互设计以及该用户群体的需求和期望提供了见解。
引用
@article{arxiv.0903.3926,
title = {Designing a GUI for Proofs - Evaluation of an HCI Experiment},
author = {Martin Homik and Andreas Meier},
journal= {arXiv preprint arXiv:0903.3926},
year = {2009}
}