




















Abstract:The Game Description Language (GDL) is a widely used formalism for specifying general games. Due to their similar syntax and semantics, Answer Set Programming (ASP) and its extensions have been applied to single- and two-player deterministic turn-taking GDL games. This paper presents the first ASP-based approach for solving two-player turn-taking GDL games with uncertainty. We introduce Stochastic An- swer Set Programming (SQASP) to encode the maximally achievable winning probability for a given player in stochastic GDL games, and develop a translation-based solver that evaluates SQASP programs by converting them to Extended Stochastic Satisfiability. Our empirical results show that the proposed approach is competitive with forward search on small stochastic games and can potentially support general game players in endgame evaluation.
| Subjects: | Logic in Computer Science (cs.LO) |
| Cite as: | arXiv:2605.23705 [cs.LO] |
| (or arXiv:2605.23705v1 [cs.LO] for this version) | |
| https://doi.org/10.48550/arXiv.2605.23705 arXiv-issued DOI via DataCite (pending registration) |
From: Yifan He [view email]
[v1]
Fri, 22 May 2026 14:53:40 UTC (39 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。