Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice

Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complete absence of negation does not weaken the language as both forms (classical and as-failure) can be intuitively simulated in the language. The semantics of the language is based on the preference between alternatives, yielding both a skeptical and a credulous approach. In this paper we discuss the theoretical basis for the implementation of an OCLP front-end for answer set solvers that can compute both semantics in an efficient manner. Both the basic algorithm and the proposed optimizations can be used in general and are not tailored towards any particular answer set solver.

• Type: Conference
• Year: 2003
• Where: ASP
• Authors: Martin Brain, Marina De Vos
• Keywords: Answer Set Solver, ASP 2003, Choice Logic Programming, Multiple Alternatives