Implementing ordered choice logic programming using answer set solvers


De Vos, M., 2004. Implementing ordered choice logic programming using answer set solvers. In: Foundations of Information and Knowledge Systems, Proceedings.Vol. 2942. , pp. 59-77. (Lecture Notes in Computer Science)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.


Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for 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 and eliminated using a simple pre-processor, making it also an easy language for users less familiar with logic programming. The semantics of the language is based on the preference between alternatives, yielding both a skeptical and a credulous approach. In this paper we demonstrate how OCLPs can be translated to semi-negative logic programs such that, depending on the transformation, the answer sets of the latter correspond with the skeptical/credulous answer sets of the former. By providing such a mapping, we have a mechanism for implementing OCLP using answer set solvers like Smodels or dlv. We end with a discussion of the complexity of our system and the reasoning tasks it can perform.


Item Type Book Sections
CreatorsDe Vos, M.
DepartmentsFaculty of Science > Computer Science
ID Code5487
Additional InformationID number: ISI:000189407700006


Actions (login required)

View Item