NAVAS
NAVAS

Forschungsgruppe
Personen
- Kontaktperson Sarah Alice Gaggl
- Autoren Sarah Alice Gaggl
- 1. Oktober 2020 – 30. September 2024
- finanziert durch BMBF; 1.268.842,48 €
Durch die kontinuierliche Weiterentwicklung in den letzten Jahren können heute eine Vielzahl anspruchsvoller kombinatorischer Suchprobleme von enormer praktischer Relevanz effizient durch Answer Set Programming (ASP) gelöst werden. Dabei kann es je nach Umfang des zu lösenden Problems sehr rasch zu einer “kombinatorischen Explosion” der Menge von Lösungen kommen. Während moderne ASP Solver problemlos mehrere Millionen von Lösungen in kurzer Zeit berechnen können, stellt dies den Anwender vor ein neues Problem: Wie soll der enorme Lösungsraum gehandhabt und zugänglich gemacht werden? Typischer Weise werden die Answer Sets in beliebiger Reihenfolge ausgegeben. Jedoch sind viele dieser Lösungen sehr ähnlich. In der Praxis sind hingegen oft nur Lösungen von Interesse, die sich hinreichend voneinander unterscheiden, die besondere Eigenschaften aufweisen, oder die einer gegebenen Menge von Lösungen ähnlich sind. Derlei Features werden allerdings bis jetzt noch nicht von ASP Solvern unterstützt. Um eine interaktive und transparente Navigation in ASP-Lösungsräumen zu ermöglichen wird sich das Projekt NAVAS mit den folgenden Themen befassen:
- Entwicklung von Methoden zur interaktiven und transparenten Navigation im Lösungsraum der Answer Sets;
- Implementierung der Methoden mit effizienten Algorithmen;
- Evaluation des Prototyps anhand von Anwendungsfällen aus den Bereichen Konfiguration und Argumentation.
Wir sind zuversichtlich, dass ASP-Technologie durch die in NAVAS erzielten Erkenntnisse, Entwicklungen und Implementierungen auch für eine breitere Masse zugänglicher wird. Hierbei sehen wir ein besonderes unmittelbares Potential im Bereich industrieller Anwendungen, etwa zur Produktkonfiguration.
News:
Erster NAVAS Workshop in Wien (23.-24.05.2022) [1]
Artikel in Fachzeitschriften
Admissibility in Probabilistic Argumentation
Journal of Artificial Intelligence Research, 74:957-1004, June 2022
Details Download
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Artikel in Tagungsbänden
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
Rushing and Strolling among Answer Sets - Navigation Made Easy
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), volume 36 of 5, 5651-5659, June 2022
Details Download
Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract)
In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, Tuncay Tekle, eds., Technical Communication Proceeding of the 38th International Conference on Logic Programming (ICLP 2022), volume 364 of EPTCS, 181-184, to appear. Open Publishing Association
Details
Simulating Sets in Answer Set Programming
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), to appear
Details Download
A Practical Account into Counting Dung’s Extensions by Dynamic Programming
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details Download
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), to appear
Details Download
Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
Admissibility in Probabilistic Argumentation
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 87-98, November 2021
Details Download
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation
In Pietro Baroni, Christoph Benzmüller, Yì N. Wán, eds., Proceedings of the 4th International Conference on Logic and Argumentation (CLAR 2021), volume 13040 of LNCS, 147-168, 2021. Springer
Details Download
Technische Berichte
Rushing and Strolling among Answer Sets - Navigation Made Easy
Technical Report, arXiv.org, volume CoRR abs/2112.07596, December 2021
Details Download
Vorträge und Sonstiges
Rushing and Strolling among Answer Sets - Navigation Made Easy (Extended Abstract)
KR Recently Published Research Track (KR 2022), August 2022
Details