Navigating ASP Solution Spaces

Vortrag von Sarah Gaggl

Veranstaltungsort: APB room 3027
Beginn: 6. Juli 2023 um 11:00
Ende: 6. Juli 2023 um 12:00
Event series: Research Seminar Logic and AI
iCal

Abstract: A wide range of combinatorial search problems can be modelled and solved with Answer Set Programming (ASP). While modern ASP solvers

allow to quickly enumerate solutions, the user faces the problem of dealing with a possibly exponential number of solutions, which may easily go into millions and beyond. To still be able to reach an understanding of the answer set space, we propose navigation approaches to reach subspaces that fulfil desirable criteria. We start with an iterative approach to compute a diverse collection of answer sets that allows to exchange some answer sets to improve the size and diversity of the whole collection. Then, we will discuss the concept of weighted faceted answer set navigation, which allows for a quantitative understanding of the answer set space. Weights can be assigned to atoms depending on how much they restrict the remaining solution space, either by counting the number of answer sets (resp. supported models) or counting the number of atoms still available to choose. Finally, we will present a visual approach to explore solution spaces and apply it to the domain of abstract argumentation.

The talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:

https://bbb.tu-dresden.de/b/pio-zwt-smp-aus