Affiliations: Universitat Politècnica de Catalunya, Dept. Llenguatges i Sistemes Informàtics, Spain. [email protected] | Universitat Politècnica de Catalunya, Dept. Llenguatges i Sistemes Informàtics, Spain. [email protected]
Note: [] Address for correspondence: Universitat Politècnica de Catalunya, Dept. Llenguatges i Sistemes Informàtics, Edifici K2M, Despatx 201, C/ Jordi Girona Salgado 1-3, E - 08034 Barcelona, Spain
Abstract: In this paper, we define a class of nested logic programs, called Nested Logic Programs with Ordered Disjunction (LPODs+), which makes it possible to specify conditional (qualitative) preferences by means of nested preference statements. To this end, we augment the syntax of Logic Programs with Ordered Disjunction (LPODs) to capture more general expressions. We define the LPODs+ semantics in a simple way and we extend most of the results of LPODs showing how our approach generalizes the LPODs framework in a proper way. We also show how the LPODs+ semantics can be computed in terms of a translation procedure that maps a nested ordered disjunction program (OD+-program) into a disjunctive logic program.
Keywords: Answer Set Programming, Preference Handling, Nested Preferences
