In this paper, we investigate the measurement of trace satisfaction probabilities within probabilistic Declare models, where Declare constraints are associated with probabilities. Each constraint, with a probability p, is independently included in a model with probability p or excluded with probability 1 - p. This probabilistic framework creates multiple possible worlds, each corresponding to a specific selection of constraints, with the probability of each world calculated as the product of the probabilities of its included constraints. A trace can be satisfied by some of these worlds, and the probability that a trace is satisfied is the sum of the probabilities of all satisfying worlds. We develop techniques to compute this satisfaction probability by integrating a tool that determines trace satisfaction for crisp Declare models with an implementation of the inclusion-exclusion principle. Our preliminary experiments compare the performance of our prototype with and without the inclusion-exclusion principle, highlighting its impact on the efficiency and accuracy of the probability computations. The results demonstrate the potential of our approach in enhancing the analysis of probabilistic Declare models, providing a foundation for more sophisticated probabilistic reasoning in process mining.

Efficient Compliance Computation in Probabilistic Declarative Specifications

Alviano M.
;
Ielo A.;Ricca F.
2024-01-01

Abstract

In this paper, we investigate the measurement of trace satisfaction probabilities within probabilistic Declare models, where Declare constraints are associated with probabilities. Each constraint, with a probability p, is independently included in a model with probability p or excluded with probability 1 - p. This probabilistic framework creates multiple possible worlds, each corresponding to a specific selection of constraints, with the probability of each world calculated as the product of the probabilities of its included constraints. A trace can be satisfied by some of these worlds, and the probability that a trace is satisfied is the sum of the probabilities of all satisfying worlds. We develop techniques to compute this satisfaction probability by integrating a tool that determines trace satisfaction for crisp Declare models with an implementation of the inclusion-exclusion principle. Our preliminary experiments compare the performance of our prototype with and without the inclusion-exclusion principle, highlighting its impact on the efficiency and accuracy of the probability computations. The results demonstrate the potential of our approach in enhancing the analysis of probabilistic Declare models, providing a foundation for more sophisticated probabilistic reasoning in process mining.
2024
Declare
Probabilistic Reasoning
Process Mining
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/20.500.11770/376943
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact