本文研究了纯过去时线性时态逻辑（PPLTL）在规划中的应用，提出了将PPLTL目标转化为标准计划的技术，并探讨了基于知识图谱的推理方法及其在图形遍历任务中的表现，揭示了大型语言模型在图推理中的局限性及改进策略。