Publikation: Exploiting Partial Knowledge in Declara...
Stammdaten
Titel: | Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP |
Untertitel: | |
Kurzfassung: | Domain-specific heuristics are an important technique for solving combinatorial problems efficiently. We propose a novel semantics for declarative specifications of domain-specific heuristics in Answer Set Programming (ASP). Decision procedures that are based on a partial solution are a frequent ingredient of existing domain-specific heuristics, e.g., for placing an item that has not been placed yet in bin packing. Therefore, in our novel semantics negation as failure and aggregates in heuristic conditions are evaluated on a partial solver state. State-of-the-art solvers do not allow such a declarative specification. Our implementation in the lazy-grounding ASP system Alpha supports heuristic directives under this semantics. By that, we also provide the first implementation for incorporating declaratively specified domain-specific heuristics in a lazy-grounding setting. Experiments confirm that the combination of ASP solving with lazy grounding and our novel heuristics can be a vital ingredient for solving industrial-size problems. |
Schlagworte: | ASP, Heuristics, |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 19.10.2019 (Online) |
Erschienen in: |
Proceedings 35th International Conference on Logic Programming (Technica Communications), {ICLP} 2019 Technical Communications
Proceedings 35th International Conference on Logic Programming (Technica Communications), {ICLP} 2019 Technical Communications
(
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 22 - 35 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 19.10.2019 |
ISBN (e-book): | - |
eISSN: | - |
DOI: | http://dx.doi.org/10.4204/EPTCS.306.9 |
Homepage: | https://doi.org/10.4204/EPTCS.306.9 |
Open Access |
|
AutorInnen
Richard Taupe (extern) | ||||
Konstantin Schekotihin (intern) | ||||
Gerhard Friedrich (intern) | ||||
Peter Schuller
|
||||
Antonius Weinzierl (extern) |
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster |
|
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
Technische Universität Wien
|
AT - 1040 Wien |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |