arXiv:2406.10449v3 通告类型: replace-cross 摘要: 时间逻辑规则在控制和机器人学中常被用于提供有序、易于人类理解的轨迹数据描述。这些规则在确保安全性、约束自主代理的运动规划以及数据分类等方面具有广泛的应用。然而，现有的从数据中学习时间逻辑谓词的方法并不能保证所得到的谓词的正确性。我们提出了一种新的方法，可以从数据中学习具有有限样本正确性保证的时间逻辑谓词。我们的方法利用表达式优化和齐性预测来学习在轻微统计假设下能够正确描述未来轨迹的谓词。我们提供了在模拟轨迹数据集上的实验结果，并进行了消融研究，以理解我们算法的各个组成部分如何影响其性能。