Complex optimization in answer set programming

Loading...
Thumbnail Image
File version
Author(s)
Gebser, Martin
Kaminski, Roland
Schaub, Torsten
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2011
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

Persistent link to this record
Citation
Collections