TY - JOUR AU - Kasenberg, Daniel AU - Thielstrom, Ravenna AU - Scheutz, Matthias PY - 2020/06/01 Y2 - 2024/03/28 TI - Generating Explanations for Temporal Logic Planner Decisions JF - Proceedings of the International Conference on Automated Planning and Scheduling JA - ICAPS VL - 30 IS - 1 SE - Humans and Robotics DO - 10.1609/icaps.v30i1.6740 UR - https://ojs.aaai.org/index.php/ICAPS/article/view/6740 SP - 449-458 AB - <p>Although temporal logic has been touted as a fruitful language for specifying interpretable agent objectives, there has been little emphasis on generating explanations for agents with temporal logic objectives. In this paper, we develop an approach to generating explanations for the behavior of agents planning with several temporal logic objectives. We focus on agents operating in deterministic Markov decision processes (MDPs), and specify objectives using linear temporal logic (LTL). Given an agent planning to maximally satisfy some set of LTL objectives (with an associated preference structure) in a deterministic MDP, we introduce an algorithm for constructing explanations answering both factual and “why” queries, which queries are also specified in LTL.</p> ER -