Quantified Answer Set Programming (QASP) extends Answer Set Programming (ASP) by allowing quantification over propositional variables, similar to Quantified Boolean Formulas (QBF). In this paper, we interpret models of QASP formulas in terms of policies, which represent decision-making strategies that determine how existentially quantified variables should be assigned, given the conditions set by universally quantified variables. As a main contribution, we present an algorithm for policy extraction under QASP semantics, inspired by the Equilibrium Logic semantics for general ASP theories.

翻译：量化答案集编程（QASP）通过允许对命题变量进行量化（类似于量化布尔公式（QBF））扩展了答案集编程（ASP）。在本文中，我们将QASP公式的模型解释为策略，这些策略代表了决策制定策略，用于确定在给定全称量化变量所设定条件的情况下，应如何分配存在量化变量。作为主要贡献，我们提出了一种在QASP语义下进行策略提取的算法，其灵感来源于一般ASP理论的均衡逻辑语义。