Publikation: Combining Anser Set Programming and dom...
Stammdaten
Titel: | Combining Anser Set Programming and domain heuristics for solving hard industrial problems |
Untertitel: | |
Kurzfassung: | Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial problems defined by Siemens: the Partner Units Problem (PUP) and the Combined Configuration Problem (CCP). The hardest instances of PUP and CCP are out of reach for state-of-the-art ASP solvers. Experiments show that the performance of ASP solvers could be significantly improved by embedding domain-specific heuristics, but a proper effective integration of such criteria in off-the-shelf ASP implementations is not obvious. In this paper the combination of ASP and domain-specific heuristics is studied with the goal of effectively solving real-world problem instances of PUP and CCP. As a byproduct of this activity, the ASP solver wasp was extended with an interface that eases embedding new external heuristics in the solver. The evaluation shows that our domain-heuristic-driven ASP solver finds solutions for all the real-world instances of PUP and CCP ever provided by Siemens. |
Schlagworte: |
Publikationstyp: | Beitrag in Zeitschrift (Autorenschaft) |
Erscheinungsdatum: | 14.10.2016 (Online) |
Erschienen in: |
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
(
Cambridge University Press;
M. Truszczynski
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | 16 |
Heftnummer: | 5-6 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 653 - 669 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 14.10.2016 |
ISBN (e-book): | - |
eISSN: | 1471-0684 |
DOI: | http://dx.doi.org/10.1017/S1471068416000284 |
Homepage: | https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/div-classtitlecombining-answer-set-prog |
Open Access |
|
AutorInnen
Carmine Dodaro (extern) |
Philip Gasgteiger (extern) |
Nicola Leone (extern) |
Benjamin Musitsch (extern) |
Francesco Ricca (extern) |
Konstantin Schekotihin (intern) |
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Zitationsindex |
Informationen zum Zitationsindex: Master Journal List
|
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen | Keine Arbeitsgruppe ausgewählt |
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
University of Calabria
|
IT - 87036 Arcavacata di Rende |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: |
|
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |