Measuring User Comprehension of Inference Rules in Euler Diagrams
Measuring User Comprehension of Inference Rules in Euler Diagrams
复制标题
测量用户对欧拉图中推理规则的理解
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
A. Blake
中科院分区：
文献类型：
--
作者：
Sven Linker;Jim Burton;A. Blake
图形定理证明器创建的证明并不是为人类读者设计的。我们说一个证明（P_1）比另一个证明（P_2）更“可读”，如果用户在理解（P_1）中应用的推理规则时犯的错误比（P_2）中少，并且在更短的时间内这样做。我们分析了可读性的个别规则的实证研究，需要用户识别的规则中使用的推理。我们发现，增加混乱（冗余语法）的前提图影响可读性，规则的应用程序，要求用户从几个图联合收割机的信息有时比那些专注于一个单一的图表可读性较差。我们提供了一个基于心理模型的解释。
Proofs created by diagrammatic theorem provers are not designed with human readers in mind. We say that one proof, (P_1), is more “readable” than another, (P_2), if users make fewer errors in understanding which inference rules were applied in (P_1) than in (P_2), and do so in a shorter time. We analysed the readability of individual rules in an empirical study which required users to identify the rules used in inferences. We found that increased clutter (redundant syntax) in the premiss diagrams affects readability, and that rule applications which require the user to combine information from several diagrams are sometimes less readable than those which focus on a single diagram. We provide an explanation based on mental models.