本研究提出了LTLf+和PPLTL+两种逻辑，能够有效表达无限轨迹的性质。研究结果表明，这两种逻辑的合成问题复杂性分别为2EXPTIME和EXPTIME，为相关领域提供了新技术。

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