Generating Explanations for Temporal Logic Planner Decisions


  • Daniel Kasenberg Tufts University
  • Ravenna Thielstrom Tufts University
  • Matthias Scheutz Tufts University


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.




How to Cite

Kasenberg, D., Thielstrom, R., & Scheutz, M. (2020). Generating Explanations for Temporal Logic Planner Decisions. Proceedings of the International Conference on Automated Planning and Scheduling, 30(1), 449-458. Retrieved from