A semantic framework for preference handling in answer set programming

Loading...
Thumbnail Image
File version
Author(s)
Schaub, T
Wang, KW
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2003
Size

342850 bytes

File type(s)

application/pdf

Location
License
Abstract

We provide a semantic framework for preference handling in answer set programming. To this end, we introduce preference preserving consequence operators. The resulting fixpoint characterizations provide us with a uniform semantic framework for characterizing preference handling in existing approaches. Although our approach is extensible to other semantics by means of an alternating fixpoint theory, we focus here on the elaboration of preferences under answer set semantics. Alternatively, we show how these approaches can be characterized by the concept of order preservation. These uniform semantic characterizations provide us with new insights about inter-relationships and moreover about ways of implementation.

Journal Title

Theory and Practice of Logic Programming

Conference Title
Book Title
Edition
Volume

3

Issue

4-May

Thesis Type
Degree Program
School
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

© 2003 Cambridge University Press : Reproduced in accordance with the copyright policy of the publisher : This journal is available online - use hypertext links.

Item Access Status
Note
Access the data
Related item(s)
Subject

Theory of computation

Persistent link to this record
Citation
Collections