Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 006.33 Sei f
Collection Type Indeks Artikel LNCS
Title Implementing ordered choice logic programming using answer set solvers, Hal.59-77
Author Marina De Vos;
Publisher Springer, 2004
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
006.33 Sei f TERSEDIA
Tidak ada review pada koleksi ini: 40621
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 (classsical and as-failure) can be intuitively simulated in the language for users less familiar with logic programming. The semantics of the language is based on the preference between alternatives, vielding both a skeptical and a credulous approach. In this paper we demostrate how OCLPs can be translated to semi-negative logic programs such that, depending on the transformation. the answer sets of latter correspond with the skeptical/credulous answer sets of the former. By providing such a mapping, we have a mechanism for implementingOCLP using answer set solvers like smodels or dlv. We end with a discussion of the complexity of our system and the reasoning taks it can perform