Researchers have developed a new Neuro-Symbolic Predictive Process Monitoring approach that integrates data-driven learning with temporal logic for improved suffix prediction in Business Process Management. This method incorporates Linear Temporal Logic over finite traces (LTLf) into the training of autoregressive sequence predictors using a differentiable logical loss function. Experiments on real-world datasets demonstrate enhanced accuracy and logical consistency in generated suffixes, with potential applications beyond BPM to any symbolic sequence generation task. AI
IMPACT Introduces a novel neuro-symbolic framework for enhancing sequence generation tasks with logical consistency.
RANK_REASON This is a research paper detailing a novel methodology for sequence generation. [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-generated summary · Google Gemini · from 1 sources. How we write summaries →