Graphical Navigation in Solution Spaces using PlanPilot

Michelle KornherrMichelle Kornherr, Augusto B. CorreaAugusto B. Correa, Sarah Alice GagglSarah Alice Gaggl, Markus HecherMarkus Hecher, Dominik RusovacDominik Rusovac, David SpeckDavid Speck, Johannes K. FichteJohannes K. Fichte, Daniel GnadDaniel Gnad

Download

Michelle Kornherr, Augusto B. Correa, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac, David Speck, Johannes K. Fichte, Daniel Gnad
Graphical Navigation in Solution Spaces using PlanPilot
System Demonstrations and Exhibits program at ICAPS 2025 (The 35th International Conference on Automated Planning and Scheduling), to appear

Details
Bibtex

KurzfassungAbstract
Many planning applications require not only a single solution but benefit substantially from having a set of possible plans from which users can select according to preferences. Surprisingly, planning research has primarily focused on quickly finding single plans for decades. Only recently have researchers started to investigate plan enumeration by top-k planning, offering more flexibility to the user. But simply enumerating the k best plans is far from targeted due to the time-consuming nature of enumeration, likely feeding many similar plans to the user, and forcing the user to define filters beforehand. In fact, in extensive search spaces, enumeration is hardly practical. We present an approach and a tool called PlanPilot to navigate solution spaces of planning tasks iteratively and interactively. We build on answer-set programming (ASP) to restrict the plan space. To that end, we employ facets, which are meaningful actions that appear in some, but not all plans. Enforcing or forbidding such facets allows for navigating even large plan spaces while ensuring desired properties quickly and step by step.
Forschungsgruppe:Research Group: Logische Programmierung und ArgumentationLogic Programming and Argumentation

@inproceedings{KCGHRSFG2025,
  author    = {Michelle Kornherr and Augusto B. Correa and Sarah Alice Gaggl and
               Markus Hecher and Dominik Rusovac and David Speck and Johannes K.
               Fichte and Daniel Gnad},
  title     = {Graphical Navigation in Solution Spaces using {PlanPilot}},
  booktitle = {System Demonstrations and Exhibits program at {ICAPS} 2025 (The
               35th International Conference on Automated Planning and
               Scheduling)},
  year      = {2025}
}