On the Expressibility of Stable Logic Programming

13 years 6 months ago
On the Expressibility of Stable Logic Programming
Schlipf (Sch95) proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf’s result to prove that SLP solves all search problems in the class NP. Moreover, we do this in a uniform way as defined in (MT99). Specifically, we show that there is a single DATALOG¬ program PT rg such that given any Turing machine M , any polynomial p with non-negative integer coefficients and any input σ of size n over a fixed alphabet Σ, there is an extensional database edbM,p,σ such that there is a one-to-one correspondence between the stable models of edbM,p,σ ∪ PT rg and the accepting computations of the machine M that reach the final state in at most p(n) steps. Moreover, edbM,p,σ can be computed in polynomial time from p, σ and the description of M and the decoding of such accepting computations from its corresponding stable model of edbM,p,σ ∪ PT rg can be computed in linear time. A similar statement holds for Default Logic with respect to ΣP 2 -s...
V. Wiktor Marek, Jeffrey B. Remmel
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Authors V. Wiktor Marek, Jeffrey B. Remmel
Comments (0)