A semantic framework for preference handling in answer set programming
File version
Author(s)
Wang, KW
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
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