VMC：用于可视化统计模型检查的语法
人机交互
2024-08-30 v1
摘要
可视化在验证和改进统计模型方面发挥着关键作用。然而，模型检查可视化的设计空间鲜有人了解，这使得作者难以探索和指定有效的图形模型检查。VMC 定义了模型检查可视化的四个组成部分：（1）来自模型生成的可检查量分布样本，包括针对新数据的预测分布以及模型参数的分布；（2）对观察数据进行转换以便于比较；（3）分布的视觉表示；以及（4）用于比较模型样本和观察数据的布局。我们贡献了一个将 VMC 实现为 R 软件包的实现。我们通过复现一组标准模型检查示例来验证 VMC，并展示使用 VMC 生成模型检查相对于现有可视化工具箱所需的编辑距离较小。三位专家模型化者使用 VMC 进行访谈研究的结果揭示了鼓励正确、有效模型检查可视化探索的挑战和机遇。
引用
@article{arxiv.2408.16702,
title = {VMC: A Grammar for Visualizing Statistical Model Checks},
author = {Ziyang Guo and Alex Kale and Matthew Kay and Jessica Hullman},
journal= {arXiv preprint arXiv:2408.16702},
year = {2024}
}