Process discovery is a fundamental task in Process Mining, concerned with the extraction of process models from event logs. Alongside traditional deterministic approaches, recent works have started to consider probabilistic declarative process models, where model constraints are learnt and then annotated with weights to account for uncertainty and variability in observed behavior, as well as noise. In this setting, weights have been interpreted, up to now, in terms of the constraints’ support in the observed traces. However, the probabilistic process discovery task remains quite unexplored, often relying on the extraction of constraints by deterministic miners. In this paper, we report preliminary results on the use of PASCAL, a Probabilistic Inductive Constraint Logic algorithm, based on the Distribution Semantics, which is able to discover probabilistic declarative process models, i.e., integrity constraints annotated with a probability, directly from process traces labelled as positive and negative, without the need of a two-step approach. Preliminary results on two synthetic logs indicate that the learned theories recover most of the constraints underlying the process models.

A Preliminary Approach to Probabilistic Process Discovery / Vespa, M., Bellodi, E., Loreti, D., Chesani, F.. - ELETTRONICO. - 4244:(2026), pp. 1-9. (41th Italian Conference on Computational Logic, CILC 2026 Ferrara (italy) June 23-25, 2026).

A Preliminary Approach to Probabilistic Process Discovery

Vespa M.;
2026

Abstract

Process discovery is a fundamental task in Process Mining, concerned with the extraction of process models from event logs. Alongside traditional deterministic approaches, recent works have started to consider probabilistic declarative process models, where model constraints are learnt and then annotated with weights to account for uncertainty and variability in observed behavior, as well as noise. In this setting, weights have been interpreted, up to now, in terms of the constraints’ support in the observed traces. However, the probabilistic process discovery task remains quite unexplored, often relying on the extraction of constraints by deterministic miners. In this paper, we report preliminary results on the use of PASCAL, a Probabilistic Inductive Constraint Logic algorithm, based on the Distribution Semantics, which is able to discover probabilistic declarative process models, i.e., integrity constraints annotated with a probability, directly from process traces labelled as positive and negative, without the need of a two-step approach. Preliminary results on two synthetic logs indicate that the learned theories recover most of the constraints underlying the process models.
2026
File in questo prodotto:
File Dimensione Formato  
cilc2026.pdf

accesso aperto

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Creative commons
Dimensione 1.32 MB
Formato Adobe PDF
1.32 MB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/3016409