论文标题
对LTLF和PLTLF目标的热情计划
FOND Planning for LTLf and PLTLf Goals
论文作者
论文摘要
在本报告中，我们将定义一种针对扩展时间目标的非确定性计划问题的新方法。特别是，我们将解决此问题，将其简化为完全可观察到的非确定性（FAND）计划问题，并利用LTLFTODFA工具。首先，我们将介绍支持我们方法的主要思想和动机。然后，我们将提供一些预先解释规划域定义语言（PDDL）语言和正式计划问题的初步。之后，我们将用将时间目标编码为PDDL域和问题来说明我们的FOND4LTLFPLTLF（也可以在线使用）方法。最后，我们将介绍通过应用建议解决方案获得的一些结果。
In this report, we will define a new approach to the problem of non deterministic planning for extended temporal goals. In particular, we will give a solution to this problem reducing it to a fully observable non deterministic (FOND) planning problem and taking advantage of the LTLfToDFA tool. First of all, we will introduce the main idea and motivations supporting our approach. Then, we will give some preliminaries explaining the Planning Domain Definition Language (PDDL) language and the FOND planning problem formally. After that, we will illustrate our FOND4LTLfPLTLf (also available online) approach with the encoding of temporal goals into a PDDL domain and problem. Finally, we will present some of the results obtained through the application of the proposed solution.
