Complex optimization in answer set programming
File version
Author(s)
Kaminski, Roland
Schaub, Torsten
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
Size
166808 bytes
File type(s)
application/pdf
Location
License
Abstract
Preference handling and optimization are indispensable means for addressing nontrivial applications in Answer Set Programming (ASP). However, their implementation becomes difficult whenever they bring about a significant increase in computational complexity. As a consequence, existing ASP systems do not offer complex optimization capacities, supporting, for instance, inclusion-based minimization or Pareto efficiency. Rather, such complex criteria are typically addressed by resorting to dedicated modeling techniques, like saturation. Unlike the ease of common ASP modeling, however, these techniques are rather involved and hardly usable by ASP laymen. We address this problem by developing a general implementation technique by means of meta-prpogramming, thus reusing existing ASP systems to capture various forms of qualitative preferences among answer sets. In this way, complex preferences and optimization capacities become readily available for ASP applications.
Journal Title
Theory and Practice of Logic Programming
Conference Title
Book Title
Edition
Volume
11
Issue
4-May
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2011 Association for Logic Programming. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
Item Access Status
Note
Access the data
Related item(s)
Subject
Artificial intelligence not elsewhere classified
Theory of computation