Solving Hard Disjunctive Logic Programs Faster (Sometimes)

13 years 11 months ago
Solving Hard Disjunctive Logic Programs Faster (Sometimes)
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assumptions, strictly more expressive than normal (disjunction-free) logic programming, whose expressiveness is limited to properties decidable in NP. However, this higher expressiveness comes at a computational cost, and while there are now several efficient systems for normal logic programming under the answer set semantics, we are only aware of two serious implementations for the full, disjunctive case. In this paper we investigate a novel technique to couple two main modules usually employed for the implementation of a DLP system more tightly: a model generator (which generates model candidates using a backtracking procedure) and a model checker (which verifies whether such a candidate indeed is an answer set). Instead of using the model checker only as a boolean oracle, in our approach, for every failed ch...
Gerald Pfeifer
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where AGP
Authors Gerald Pfeifer
Comments (0)