面向 LTLf 与 PLTLf 目标的 FOND 规划
人工智能
2020-04-16 v1
摘要
在本报告中，我们将定义一种解决扩展时序目标的非确定性规划问题的新方法。具体而言，我们将通过将该问题归约为完全可观测非确定性（FOND）规划问题，并利用 LTLfToDFA 工具，给出此问题的一种解决方案。首先，我们将介绍支撑我们方法的主要思想与动机。随后，我们将给出一些预备知识，正式解释规划领域定义语言（PDDL）与 FOND 规划问题。此后，我们将通过把时序目标编码进 PDDL 领域与问题，来阐述我们的 FOND4LTLfPLTLf（亦可在线获取）方法。最后，我们将展示通过应用所提方案获得的部分结果。
引用
@article{arxiv.2004.07027,
title = {FOND Planning for LTLf and PLTLf Goals},
author = {Francesco Fuggitti},
journal= {arXiv preprint arXiv:2004.07027},
year = {2020}
}
备注
Extract of MSc Thesis, 35 pages