本文提出了一种将时间逻辑推理与部分可观马尔可夫决策过程（POMDP）结合的方法，以解决不确定性下的可解释决策问题。研究表明，基于事件演算的线性时间逻辑生成的持久宏动作显著提高了推理效率和表现力，优于传统方法。