[1]:

import warnings
warnings.filterwarnings("ignore", category=UserWarning)

Model Discovery with the DECLARE Miner¶

This tutorial explains how to perform the discovery of a DECLARE model (without payload) and how to save the discovered model. We first import the relative DeclareMiner class and the load the log.

[2]:

import os

from Declare4Py.ProcessModels.DeclareModel import DeclareModel
from Declare4Py.ProcessMiningTasks.Discovery.DeclareMiner import DeclareMiner
from Declare4Py.D4PyEventLog import D4PyEventLog

log_path = os.path.join("../../../", "tests", "test_logs","Sepsis Cases.xes.gz")
event_log = D4PyEventLog(case_name="case:concept:name")
event_log.parse_xes_log(log_path)

The discovery of a DECLARE model is performed with the DeclareMiner class by setting:

the computing of the frequent item sets with an input support and of length 2. However, this is hidden to the programmer, and he just needs to set the float parameter itemsets_support when instantiating the DeclareMiner class.
Some other parameters of the DeclareMiner class have to be set:
1. the event log;
2. The boolean parameter consider_vacuity=true that considers vacuously satisfied traces as satisfied, violated otherwise.
3. the float parameter min_support that sets the support to be satisfied in the log by each discovered constraint.
4. The integer parameter max_declare_cardinality sets the cardinality of the Exactly, Existence and Absence templates.

Then, the model is discovery by calling theDeclareMiner.run() method that returns an DeclareModel object.

[3]:

discovery = DeclareMiner(log=event_log, consider_vacuity=False, min_support=0.2, itemsets_support=0.9, max_declare_cardinality=3)
discovered_model: DeclareModel = discovery.run()

Computing discovery ...

The discovered model can be inspected by showing the list of serialized_constraints:

[4]:

discovered_model.serialized_constraints

[4]:

['Existence1[ER Triage] | |',
 'Absence2[ER Triage] | |',
 'Absence3[ER Triage] | |',
 'Exactly1[ER Triage] | |',
 'Existence1[ER Registration] | |',
 'Absence2[ER Registration] | |',
 'Absence3[ER Registration] | |',
 'Exactly1[ER Registration] | |',
 'Init[ER Registration] | |',
 'Existence1[ER Sepsis Triage] | |',
 'Absence2[ER Sepsis Triage] | |',
 'Absence3[ER Sepsis Triage] | |',
 'Exactly1[ER Sepsis Triage] | |',
 'Existence1[Leucocytes] | |',
 'Existence2[Leucocytes] | |',
 'Existence3[Leucocytes] | |',
 'Absence2[Leucocytes] | |',
 'Absence3[Leucocytes] | |',
 'Exactly1[Leucocytes] | |',
 'Exactly2[Leucocytes] | |',
 'Existence1[CRP] | |',
 'Existence2[CRP] | |',
 'Existence3[CRP] | |',
 'Absence2[CRP] | |',
 'Absence3[CRP] | |',
 'Exactly1[CRP] | |',
 'Exactly2[CRP] | |',
 'Choice[ER Registration, ER Triage] | |',
 'Choice[ER Triage, ER Registration] | |',
 'Responded Existence[ER Registration, ER Triage] | |',
 'Responded Existence[ER Triage, ER Registration] | |',
 'Response[ER Registration, ER Triage] | |',
 'Alternate Response[ER Registration, ER Triage] | |',
 'Chain Response[ER Registration, ER Triage] | |',
 'Precedence[ER Registration, ER Triage] | |',
 'Alternate Precedence[ER Registration, ER Triage] | |',
 'Chain Precedence[ER Registration, ER Triage] | |',
 'Not Response[ER Triage, ER Registration] | |',
 'Not Precedence[ER Triage, ER Registration] | |',
 'Not Chain Response[ER Triage, ER Registration] | |',
 'Not Chain Precedence[ER Triage, ER Registration] | |',
 'Choice[ER Registration, ER Sepsis Triage] | |',
 'Choice[ER Sepsis Triage, ER Registration] | |',
 'Responded Existence[ER Registration, ER Sepsis Triage] | |',
 'Responded Existence[ER Sepsis Triage, ER Registration] | |',
 'Response[ER Registration, ER Sepsis Triage] | |',
 'Alternate Response[ER Registration, ER Sepsis Triage] | |',
 'Precedence[ER Registration, ER Sepsis Triage] | |',
 'Alternate Precedence[ER Registration, ER Sepsis Triage] | |',
 'Not Response[ER Sepsis Triage, ER Registration] | |',
 'Not Precedence[ER Sepsis Triage, ER Registration] | |',
 'Not Chain Response[ER Registration, ER Sepsis Triage] | |',
 'Not Chain Response[ER Sepsis Triage, ER Registration] | |',
 'Not Chain Precedence[ER Registration, ER Sepsis Triage] | |',
 'Not Chain Precedence[ER Sepsis Triage, ER Registration] | |',
 'Choice[ER Sepsis Triage, ER Triage] | |',
 'Choice[ER Triage, ER Sepsis Triage] | |',
 'Responded Existence[ER Sepsis Triage, ER Triage] | |',
 'Responded Existence[ER Triage, ER Sepsis Triage] | |',
 'Response[ER Triage, ER Sepsis Triage] | |',
 'Alternate Response[ER Triage, ER Sepsis Triage] | |',
 'Chain Response[ER Triage, ER Sepsis Triage] | |',
 'Precedence[ER Triage, ER Sepsis Triage] | |',
 'Alternate Precedence[ER Triage, ER Sepsis Triage] | |',
 'Chain Precedence[ER Triage, ER Sepsis Triage] | |',
 'Not Response[ER Sepsis Triage, ER Triage] | |',
 'Not Precedence[ER Sepsis Triage, ER Triage] | |',
 'Not Chain Response[ER Sepsis Triage, ER Triage] | |',
 'Not Chain Precedence[ER Sepsis Triage, ER Triage] | |',
 'Choice[ER Registration, Leucocytes] | |',
 'Choice[Leucocytes, ER Registration] | |',
 'Responded Existence[ER Registration, Leucocytes] | |',
 'Responded Existence[Leucocytes, ER Registration] | |',
 'Response[ER Registration, Leucocytes] | |',
 'Alternate Response[ER Registration, Leucocytes] | |',
 'Precedence[ER Registration, Leucocytes] | |',
 'Alternate Precedence[ER Registration, Leucocytes] | |',
 'Not Response[Leucocytes, ER Registration] | |',
 'Not Precedence[Leucocytes, ER Registration] | |',
 'Not Chain Response[ER Registration, Leucocytes] | |',
 'Not Chain Response[Leucocytes, ER Registration] | |',
 'Not Chain Precedence[ER Registration, Leucocytes] | |',
 'Not Chain Precedence[Leucocytes, ER Registration] | |',
 'Choice[Leucocytes, ER Triage] | |',
 'Choice[ER Triage, Leucocytes] | |',
 'Responded Existence[Leucocytes, ER Triage] | |',
 'Responded Existence[ER Triage, Leucocytes] | |',
 'Response[ER Triage, Leucocytes] | |',
 'Alternate Response[ER Triage, Leucocytes] | |',
 'Precedence[ER Triage, Leucocytes] | |',
 'Alternate Precedence[ER Triage, Leucocytes] | |',
 'Not Response[Leucocytes, ER Triage] | |',
 'Not Precedence[Leucocytes, ER Triage] | |',
 'Not Chain Response[Leucocytes, ER Triage] | |',
 'Not Chain Response[ER Triage, Leucocytes] | |',
 'Not Chain Precedence[Leucocytes, ER Triage] | |',
 'Not Chain Precedence[ER Triage, Leucocytes] | |',
 'Choice[Leucocytes, ER Sepsis Triage] | |',
 'Choice[ER Sepsis Triage, Leucocytes] | |',
 'Responded Existence[Leucocytes, ER Sepsis Triage] | |',
 'Responded Existence[ER Sepsis Triage, Leucocytes] | |',
 'Response[ER Sepsis Triage, Leucocytes] | |',
 'Alternate Response[ER Sepsis Triage, Leucocytes] | |',
 'Chain Response[ER Sepsis Triage, Leucocytes] | |',
 'Precedence[ER Sepsis Triage, Leucocytes] | |',
 'Alternate Precedence[ER Sepsis Triage, Leucocytes] | |',
 'Not Response[Leucocytes, ER Sepsis Triage] | |',
 'Not Precedence[Leucocytes, ER Sepsis Triage] | |',
 'Not Chain Response[Leucocytes, ER Sepsis Triage] | |',
 'Not Chain Response[ER Sepsis Triage, Leucocytes] | |',
 'Not Chain Precedence[Leucocytes, ER Sepsis Triage] | |',
 'Not Chain Precedence[ER Sepsis Triage, Leucocytes] | |',
 'Choice[ER Registration, CRP] | |',
 'Choice[CRP, ER Registration] | |',
 'Responded Existence[ER Registration, CRP] | |',
 'Responded Existence[CRP, ER Registration] | |',
 'Response[ER Registration, CRP] | |',
 'Alternate Response[ER Registration, CRP] | |',
 'Precedence[ER Registration, CRP] | |',
 'Alternate Precedence[ER Registration, CRP] | |',
 'Not Response[CRP, ER Registration] | |',
 'Not Precedence[CRP, ER Registration] | |',
 'Not Chain Response[ER Registration, CRP] | |',
 'Not Chain Response[CRP, ER Registration] | |',
 'Not Chain Precedence[ER Registration, CRP] | |',
 'Not Chain Precedence[CRP, ER Registration] | |',
 'Choice[CRP, ER Triage] | |',
 'Choice[ER Triage, CRP] | |',
 'Responded Existence[CRP, ER Triage] | |',
 'Responded Existence[ER Triage, CRP] | |',
 'Response[ER Triage, CRP] | |',
 'Alternate Response[ER Triage, CRP] | |',
 'Precedence[ER Triage, CRP] | |',
 'Alternate Precedence[ER Triage, CRP] | |',
 'Not Response[CRP, ER Triage] | |',
 'Not Precedence[CRP, ER Triage] | |',
 'Not Chain Response[CRP, ER Triage] | |',
 'Not Chain Response[ER Triage, CRP] | |',
 'Not Chain Precedence[CRP, ER Triage] | |',
 'Not Chain Precedence[ER Triage, CRP] | |',
 'Choice[Leucocytes, CRP] | |',
 'Choice[CRP, Leucocytes] | |',
 'Responded Existence[Leucocytes, CRP] | |',
 'Responded Existence[CRP, Leucocytes] | |',
 'Response[Leucocytes, CRP] | |',
 'Response[CRP, Leucocytes] | |',
 'Alternate Response[Leucocytes, CRP] | |',
 'Alternate Response[CRP, Leucocytes] | |',
 'Chain Response[Leucocytes, CRP] | |',
 'Precedence[Leucocytes, CRP] | |',
 'Precedence[CRP, Leucocytes] | |',
 'Alternate Precedence[Leucocytes, CRP] | |',
 'Alternate Precedence[CRP, Leucocytes] | |',
 'Chain Precedence[Leucocytes, CRP] | |',
 'Not Chain Response[Leucocytes, CRP] | |',
 'Not Chain Response[CRP, Leucocytes] | |',
 'Not Chain Precedence[Leucocytes, CRP] | |',
 'Not Chain Precedence[CRP, Leucocytes] | |',
 'Choice[CRP, ER Sepsis Triage] | |',
 'Choice[ER Sepsis Triage, CRP] | |',
 'Responded Existence[CRP, ER Sepsis Triage] | |',
 'Responded Existence[ER Sepsis Triage, CRP] | |',
 'Response[ER Sepsis Triage, CRP] | |',
 'Alternate Response[ER Sepsis Triage, CRP] | |',
 'Precedence[ER Sepsis Triage, CRP] | |',
 'Alternate Precedence[ER Sepsis Triage, CRP] | |',
 'Not Response[CRP, ER Sepsis Triage] | |',
 'Not Precedence[CRP, ER Sepsis Triage] | |',
 'Not Chain Response[CRP, ER Sepsis Triage] | |',
 'Not Chain Response[ER Sepsis Triage, CRP] | |',
 'Not Chain Precedence[CRP, ER Sepsis Triage] | |',
 'Not Chain Precedence[ER Sepsis Triage, CRP] | |']

In addition, it is possible to save the discovered model in the file system:

[5]:

discovered_model.to_file("sepsis_discovered_model.decl")

Model Discovery with the DECLARE Miner¶

Declare4Py

Navigation

Related Topics