Sciweavers

Share
PADL
2005
Springer

An Ordered Logic Program Solver

12 years 3 months ago
An Ordered Logic Program Solver
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended answer sets of a simple program using an intuitive 9-valued lattice, called T9. During the computation, this lattice is employed to keep track of the status of the literals and the rules while evolving to a solution. It turns out that the basic algorithm needs little modification in order to be able to compute the preferred answer sets of an ordered logic program. We illustrate the system using an example from diagnostic reasoning and we present some preliminary benchmark results comparing OLPS with existing answer set solvers such as SMODELS and DLV.
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where PADL
Authors Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
Comments (0)
books