游戏源证据结构及其应用
人工智能
2025-07-25 v2
摘要
数据库源证据研究已涵盖正查询、递归查询以及一阶查询（FO查询），即包含否定而无递归。查询求值可被理解为两人游戏，其中对手争论某元组是否属于查询结果。这种博弈论方法为FO查询提供了自然的源证据模型，统一了如何-为什么-否定源证据。本文研究游戏源证据的细粒度结构。博弈G=(V,E)由位置V和移动E组成，可通过计算单个不可分层规则的well-founded模型来求解： win(X) ← move(X, Y), ¬ win(Y)。在解答后的博弈G^λ中，位置x∈V的值为赢、输或平局。该值由源证据\mathscr{P}(x)解释，即从x可到达的确定（标注）边。我们识别出七种边类型，引申出潜在的、实际的和原始的源证据新类型，证明“并非所有移动都同等重要”。我们描述新的源证据类型，说明如何在求解博弈时计算它们，并讨论应用，例如用于抽象论证框架。
引用
@article{arxiv.2410.05094,
title = {On the Structure of Game Provenance and its Applications},
author = {Shawn Bowers and Yilin Xia and Bertram Ludäscher},
journal= {arXiv preprint arXiv:2410.05094},
year = {2025}
}