博弈与论证：一场家族重聚的时机！

规则“defeated(X) $\leftarrow$ attacks(Y,X), $\neg$ defeated(Y)”表明，若一个论点被一个未被击败的论点攻击，则该论点被击败。规则“win(X) $\leftarrow$ move(X,Y), $\neg$ win(Y)”表明，在博弈中，若一个位置存在一步移动到某个未被赢得的位置，则该位置为已赢。两条逻辑规则可视为近亲（甚至是同卵双胞胎），且在不同社群的不同时期都曾是关注焦点：第一条规则位于论证框架的核心，并催生了抽象论证的大量模型与语义家族。第二条规则在寻求带否定的递归逻辑程序“正确”语义的探索中发挥了关键作用，并产生了稳定语义与良基语义。这两种语义已被逻辑程序设计与非单调推理社群广泛研究。第二条规则也受到数据库与有限模型理论社群的诸多关注，例如在研究查询语言与不动点逻辑的表达能力时。尽管论证框架、逻辑程序与对话博弈之间的紧密联系早已为人所知，但这些社群之间的交集与交叉融合似乎小于预期。为此，我们回顾数据库理论中一些以赢-移动查询为核心的关键结果，例如关于查询语言的范式与表达能力。我们引入一些自然源于博弈的概念，它们或为论证框架提供新视角与研究机会。我们讨论已求解的查询求值博弈如何揭示查询答案的如何-与为何不溯源。这些技术可用于解释给定查询、博弈或论证框架如何推导出结果。