Publikation: Solving Configuration Problems with ASP...
Stammdaten
Titel: | Solving Configuration Problems with ASP and Declarative Domain-Specific Heuristics |
Untertitel: | |
Kurzfassung: | Domain-specific heuristics are an essential technique for solving configuration problems efficiently. Current approaches to integrate domain-specific heuristics with Answer Set Programming (ASP) are unsatisfactory when dealing with heuristics that are specified non-monotonically on the basis of partial assignments. Such heuristics frequently occur in practice, for example, when picking a component that has not yet been placed in a configuration problem. Therefore, we present novel syntax and semantics for declarative specifications of domain-specific heuristics in ASP. Our approach supports heuristic statements that depend on the partial assignment maintained during solving, which has not been possible before. We provide an implementation in ALPHA that makes ALPHA the first lazy-grounding ASP system to support declaratively specified domain-specific heuristics. Two well-known configuration problems are used to demonstrate the benefits of our proposal. The experiments confirm that combining lazy-grounding ASP solving and our novel heuristics can be vital for solving industrial-size configuration problems. |
Schlagworte: | answer set programming, lazy solving, heuristics |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 03.01.2022 (Online) |
Erschienen in: |
CEUR Workshop Proceedings
CEUR Workshop Proceedings
(
CEUR Workshop Proceedings (CEUR-WS.org);
)
zur Publikation |
Titel der Serie: | Proceedings of the 23rd International Configuration Workshop |
Bandnummer: | 2945 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 13 - 20 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 03.01.2022 |
ISBN (e-book): | - |
eISSN: | - |
DOI: | - |
Homepage: | http://ceur-ws.org/Vol-2945/21-RT-ConfWS21\_paper\_4.pdf |
Open Access |
|
AutorInnen
Richard Taupe (extern) |
Gerhard Friedrich (intern) |
Konstantin Schekotihin (intern) |
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 Graz, Institut für Softwaretechnologie
|
AT - 8010 Graz |
||
Siemens AG Österreich
|
AT - 1211 Wien Postfach |
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 |