研究人员开发了一种新的神经符号预测过程监控方法,该方法将数据驱动的学习与时序逻辑相结合,以改进业务流程管理中的后缀预测。该方法将有限迹上的线性时序逻辑(LTLf)通过可微分逻辑损失函数整合到自回归序列预测器的训练中。在真实数据集上的实验表明,生成的后缀在准确性和逻辑一致性方面得到了增强,并且除了BPM之外,还可以应用于任何符号序列生成任务。 AI
影响 引入了一种新颖的神经符号框架,用于通过逻辑一致性增强序列生成任务。
排序理由 这是一篇详细介绍序列生成新方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
- Business Process Management
- Ivan Donadello
- Linear Temporal Logic over finite traces
- Neuro-Symbolic Predictive Process Monitoring
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →