Computing and Library Services - delivering an inspiring information environment

Complexity of super-coherence problems in ASP

Alviano, Mario, Faber, Wolfgang and Woltran, Stefan (2014) Complexity of super-coherence problems in ASP. Theory and Practice of Logic Programming, 14 (3). pp. 339-361. ISSN 1471-0684

PDF - Submitted Version
Download (216kB) | Preview


Adapting techniques from database theory in order to optimize Answer Set Programming
(ASP) systems, and in particular the grounding components of ASP systems, is an important
topic in ASP. In recent years, the Magic Set method has received some interest in this setting,
and a variant of it, called Dynamic Magic Set, has been proposed for ASP. However, this
technique has a caveat, because it is not correct (in the sense of being query-equivalent)
for all ASP programs. In a recent work, a large fragment of ASP programs, referred to as
super-coherent programs, has been identified, for which Dynamic Magic Set is correct. The
fragment contains all programs which possess at least one answer set, no matter which set of
facts is added to them. Two open question remained: How complex is it to determine whether
a given program is super-coherent? Does the restriction to super-coherent programs limit
the problems that can be solved? Especially the first question turned out to be quite difficult
to answer precisely. In this paper, we formally prove that deciding whether a propositional
program is super-coherent is Π3 -complete in the disjunctive case, while it is Π2 -complete for
normal programs. The hardness proofs are the difficult part in this endeavor: We proceed
by characterizing the reductions by the models and reduct models which the ASP programs
should have, and then provide instantiations that meet the given specifications. Concerning
the second question, we show that all relevant ASP reasoning tasks can be transformed into
tasks over super-coherent programs, although this transformation is more of theoretical than
practical interest.

Item Type: Article
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering > High-Performance Intelligent Computing
School of Computing and Engineering
Depositing User: Wolfgang Faber
Date Deposited: 23 Jun 2014 08:06
Last Modified: 04 Nov 2015 18:10


Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©