用属性规范语言学习可解释模型
本文总结了两种不同的问题设置中,从正面或反面的示例中学习 LTL 公式的两种方法,第一种方法假设示例标记有噪声,第二种方法则考虑在仅给出正面示例的情况下推断有意义的 LTL 公式,所提出的方法提供了解决上述问题的不同算法,以及推断时的其他时间性质描述,如信号时间逻辑或确定性有限自动机。
Dec, 2022
从样例中学习线性时间逻辑(LTL)公式的问题的计算复杂性进行了研究,发现 LTL 学习问题在全逻辑和几乎所有的片段中都是 NP 完全的。这激发了寻找高效启发式算法的动力,并突显了以简洁的自然语言表达分离性质的复杂性。
Dec, 2023
该论文提出了两种学习 Linear Temporal Logic(LTL)公式的新算法,该算法通过将学习任务简化为命题布尔逻辑中的一系列可满足问题来实现,并且验证了这两种算法在合成基准测试和领导者选举协议的执行理解方面的优异表现。
Jun, 2018
该论文提出了两种算法:第一种使用 MaxSAT 求解器在高噪声数据下推导出最小 LTL 公式,第二种算法则基于第一种算法使用决策树学习算法推导出 LTL 公式的决策树。这些算法能够高效地提取简明的 LTL 描述。
Apr, 2021
本文探讨黑盒系统建模中使用有限状态自动机和线性时态逻辑公式的方法,通过正例学习建立有意义的、最小化的模型。作者提出了符号方法和反例引导方法两种学习方式,并在合成数据上进行评估。
Sep, 2022
本文讨论了在 Markov 决策过程中,使用 LTL 的公式作为代理规划的规范,通过形成多目标优化问题,从 MDP 中演示的行为轨迹中推断 LTL 规范,利用遗传编程解决该问题的有效性进行了证明。
Oct, 2017
该研究探讨了最新的大型语言模型(LLMs)是否能够帮助将人类解释转化为能够支持从演示中稳定学习线性时间逻辑(LTL)的格式。我们提出了一种将 LLMs 和基于优化的方法结合的方法,用于忠实地将人类解释和演示转化为 LTL 规范。通过几个案例研究,我们的实验证明了将解释与演示相结合在学习 LTL 规范方面的有效性。
Apr, 2024
本文提出了一种名为 PUnS 的规划方法,可解决非 Markovian 规范的挑战,它们被表达为线性时间逻辑(LTL)公式的信念。该方法可以用于应对许多现实应用中的模糊任务规范,我们提出了四个标准来捕捉不同应用程序的规范信念的语义,最终,我们演示了我们的方法,通过机器人从人类演示中推断任务规范来自动设置晚餐桌。
Jun, 2019
本文提出一种基于学习的方法,通过算法生成 LTL 公式,并将其转换为结构化英语进而利用现代大型语言模型的改写功能来合成自然语言命令,从而减少人工数据依赖,以 75%的准确率将自然语言命令翻译成 LTL 规范,并发现该翻译的公式能够用于长视距的,多阶段任务的规划(以 12D 四旋翼为例)。
Mar, 2023
从观察行为中学习 Signal Temporal Logic (STL) 的要求,通过结合贝叶斯优化和信息检索技术,同时学习 STL 公式的结构和参数,提高了对于需求挖掘的有效性,进一步推动了在计算机物理系统中的研究。
May, 2024