liu.seSearch for publications in DiVA
Operational message
There are currently operational disruptions. Troubleshooting is in progress.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Explainable Planning via Counterfactual Task Analysisfor the Beluga Challenge and Beyond
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. (MR Lab)ORCID iD: 0009-0009-0753-8704
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0009-0001-3945-454X
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0002-5883-3107
Universidad Carlos III de Madrid, Spain.
Show others and affiliations
2025 (English)Conference paper, Oral presentation with published abstract (Refereed)
Abstract [en]

The Beluga Challenge, recently organized by the Tuples con-sortium, offered a track on explainable planning (XAIP), to the best of our knowledge the first XAIP competition to date. Within the setting of the Beluga logistics domain, participantswere given a planning task and a plan, and were supposed toanswer a query to explain to a human expert certain choices made in the plan. The queries ask about particular state atomsthat were achieved and alternatives “why achieve this atom A instead of that atom B?”, action reordering “can I do A before B instead?”, or about the consequences of object removal “what happens if we forbid to use object X?”. In this work, we propose counterfactual reasoning to come up with explanations that answer these queries. We design task reformulations, modifications that alter the input planning task, such that the solutions for the modified task allow to explain the choices made in the initial plan. Our framework generalizes the queries posed in the Beluga challenge. To obtain textual explanations, we employ a large language model (LLM) that allows our system to be used without planning-specific knowledge. We empirically show that solving the modifiedtask is similarly hard as finding a plan for the original task,showing that our approach is efficient for practical usage.

Place, publisher, year, edition, pages
2025.
National Category
Artificial Intelligence
Identifiers
URN: urn:nbn:se:liu:diva-220250OAI: oai:DiVA.org:liu-220250DiVA, id: diva2:2025237
Conference
International Conference on Planning and Scheduling (ICAPS) 2025 Workshop on Human-Aware and Explainable Planning(HAXP)
Available from: 2026-01-05 Created: 2026-01-05 Last updated: 2026-01-07

Open Access in DiVA

No full text in DiVA

Other links

https://openreview.net/pdf?id=d4BMCAsHC2

Authority records

Gestrin, ElliotSöderholm, GustafHöft, PaulSeipp, JendrikGnad, Daniel

Search in DiVA

By author/editor
Gestrin, ElliotSöderholm, GustafHöft, PaulSeipp, JendrikGnad, Daniel
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
Artificial Intelligence

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 33 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf