Complex optimization in answer set programming
- 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.
Author details: | Martin GebserORCiD, Roland KaminskiORCiD, Torsten SchaubORCiDGND |
---|---|
URN: | urn:nbn:de:kobv:517-opus4-412436 |
DOI: | https://doi.org/10.25932/publishup-41243 |
ISSN: | 1866-8372 |
Title of parent work (English): | Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe |
Publication series (Volume number): | Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (554) |
Publication type: | Postprint |
Language: | English |
Date of first publication: | 2019/01/29 |
Publication year: | 2011 |
Publishing institution: | Universität Potsdam |
Release date: | 2019/01/29 |
Tag: | answer set programming; complex optimization; meta-programming; preference handling |
Issue: | 554 |
Number of pages: | 19 |
Source: | Theory and Practice of Logic Programming 11 (2011) 4–5, pp. 821–839 DOI 10.1017/S1471068411000329 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät |
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Peer review: | Referiert |
Publishing method: | Open Access |
Grantor: | Cambridge University Press (CUP) |
License (German): | Keine öffentliche Lizenz: Unter Urheberrechtsschutz |
External remark: | Bibliographieeintrag der Originalveröffentlichung/Quelle |