Work

Extracting Policies from Quantified Answer Set Programs

Year: 2026

Type: article

Abstract: 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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.439.16

Authors: Martín Diéguez, Igor Stéphan

Institution: Université d'Angers

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W7119479195

FWCI:

Cites:

Cited by:

Related to: