Towards ILP-based LTLf passive learning

doi:10.1093/logcom/exaf069

Towards ILP-based LTLf passive learning

2026-03-01

0

PRE

AI

DOI：10.1093/logcom/exaf069

原文链接

原文求助

摘要

En 中文

从一组示例轨迹推断线性时态逻辑（$\text{LTL}_{\text{f}}$）公式，即被动学习，因其组合性质而面临重大挑战。本文提出了一种基于归纳逻辑编程（ILP）的$\text{LTL}_{\text{f}}$被动学习方法，利用归纳学习答案集程序框架。我们的ILP方法有效利用示例轨迹集指导学习过程，实验结果表明，与传统基于命题可满足性的技术相比，它提供了更高效的解决方案。

Keyword:

Answer set programming

linear temporal logic over finite traces

learning from answer sets

Towards ILP-based LTLf passive learning

摘要

期刊

机构