Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation

A recent problem of interest in Explainable AI Planning is that of explaining the unsolvability of planning problems. Though there has been a lot of research on generating explanations of solutions to planning problems, explaining the absence of solutions remains a largely open and understudied prob...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings (ACM and IEEE International Conference on Formal Methods and Models for Co-Design) s. 47 - 58
Hlavní autoři:	Sarwar, Mir Md Sajid, Ray, Rajarshi, Banerjee, Ansuman
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 21.09.2023
Témata:	Bounded Reachability Explainable AI Planning Hybrid Systems Model Reconciliation Unsolvability
ISSN:	2832-6520
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!