{ "cells": [ { "cell_type": "markdown", "id": "4f5a9a59", "metadata": {}, "source": [ "# Synthetic Log Generation from DECLARE Models\n", "\n", "DECLARE4Py implements the generation of synthetic logs from DECLARE models with a solution based on Answer Set Programming that uses a Clingo solver. More details can be found in the paper of Chiariello, F., Maggi, F. M., & Patrizi, F. (2022, June). ASP-Based Declarative Process Mining. In *Proceedings of the AAAI Conference on Artificial Intelligence* (Vol. 36, No. 5, pp. 5539-5547).\n", "\n", "As first step, it is necessary to import a `.decl` file containing the DECLARE constraints." ] }, { "cell_type": "code", "execution_count": 2, "id": "bdf42d09", "metadata": {}, "outputs": [ { "name": "stderr", "output_type": "stream", "text": [ "/usr/lib/python3/dist-packages/pyparsing.py:108: DeprecationWarning: module 'sre_constants' is deprecated\n", " import sre_constants\n" ] } ], "source": [ "import os\n", "\n", "from Declare4Py.ProcessModels.DeclareModel import DeclareModel\n", "\n", "model_name = 'sepsis'\n", "model: DeclareModel = DeclareModel().parse_from_file(os.path.join(\"../../../\", \"tests\", \"test_models\", f\"{model_name}.decl\"))" ] }, { "cell_type": "markdown", "id": "7a9b8417", "metadata": {}, "source": [ "Then, some general settings are needed to set the number of cases to generate and the minimum and maximum number of events for each case" ] }, { "cell_type": "code", "execution_count": 3, "id": "785a61eb", "metadata": {}, "outputs": [], "source": [ "# Number of cases that have be generated\n", "num_of_cases = 10\n", "\n", "# Minimum and maximum number of events a case can contain\n", "(num_min_events, num_max_events) = (3, 10)" ] }, { "cell_type": "markdown", "id": "6a06484d", "metadata": {}, "source": [ "The class `AspGenerator` has to be instantiated with the DECLARE model and the settings of above. Then, the `run` method will generate the cases and the `to_xes` method will save them in a `.xes` event log." ] }, { "cell_type": "code", "execution_count": 4, "id": "e3669320", "metadata": {}, "outputs": [ { "name": "stderr", "output_type": "stream", "text": [ "DEBUG:ASP generator:Distribution for traces uniform\n", "DEBUG:ASP generator:traces: 10, events can have a trace min(3) max(10)\n", "INFO:ASP generator:Computing distribution\n", "DEBUG:Distributor:Distribution() uniform min_mu: 3 max_sigma: 10 num_traces: 10 custom_prob: None\n", "DEBUG:Distributor:Uniform() probabilities: [Fraction(1, 8), Fraction(1, 8), Fraction(1, 8), Fraction(1, 8), Fraction(1, 8), Fraction(1, 8), Fraction(1, 8), Fraction(1, 8)]\n", "DEBUG:Distributor:Custom_dist() min_mu:3 max_sigma:10 num_traces:10\n", "DEBUG:Distributor:Probabilities sum 1\n", "DEBUG:Distributor:Distribution result: [ 8 7 5 10 9 5 3 9 7 10]\n", "INFO:ASP generator:Distribution result Counter({7: 2, 5: 2, 10: 2, 9: 2, 8: 1, 3: 1})\n", "DEBUG:ASP generator:Using custom traces length\n", "INFO:ASP generator:Computing distribution\n", "DEBUG:Distributor:Distribution() uniform min_mu: 3 max_sigma: 10 num_traces: 10 custom_prob: None\n", "DEBUG:Distributor:Uniform() probabilities: [Fraction(1, 8), Fraction(1, 8), Fraction(1, 8), Fraction(1, 8), Fraction(1, 8), Fraction(1, 8), Fraction(1, 8), Fraction(1, 8)]\n", "DEBUG:Distributor:Custom_dist() min_mu:3 max_sigma:10 num_traces:10\n", "DEBUG:Distributor:Probabilities sum 1\n", "DEBUG:Distributor:Distribution result: [ 3 6 7 4 10 8 3 8 8 8]\n", "INFO:ASP generator:Distribution result Counter({8: 4, 3: 2, 6: 1, 7: 1, 4: 1, 10: 1})\n", "INFO:ASP generator:Computing distribution\n", "DEBUG:ASP generator:Generating traces\n", "DEBUG:ASP generator:Translate declare model to ASP\n", "DEBUG:ASP generator:Declare model translated to ASP. Total Facts 13\n", "DEBUG:ASP generator:ASP encoding generated\n", "DEBUG:ASP generator:Start generating traces: Counter({8: 4, 3: 2, 6: 1, 7: 1, 4: 1, 10: 1})\n", "DEBUG:ASP generator: Total trace to generate and events: Traces:2, Events: 3, RandFrequency: 0.9\n", "DEBUG:ASP generator: Generating trace:1/2 with events:3)\n", "DEBUG:ASP generator: Initializing clingo trace(1/2) with length:3), Seed 1850605308\n", "DEBUG:ASP generator: Traces generated :[assigned_value(attr_name_0,attr_value_3,1), assigned_value(attr_name_1,attr_value_26,1), assigned_value(attr_name_2,22,1), assigned_value(attr_name_3,attr_value_147,1), assigned_value(attr_name_4,attr_value_147,1), assigned_value(attr_name_5,attr_value_148,1), assigned_value(attr_name_6,attr_value_147,1), assigned_value(attr_name_7,attr_value_148,1), assigned_value(attr_name_8,attr_value_147,1), assigned_value(attr_name_9,attr_value_148,1), assigned_value(attr_name_10,attr_value_148,1), assigned_value(attr_name_11,attr_value_148,1), assigned_value(attr_name_12,attr_value_147,1), assigned_value(attr_name_13,attr_value_148,1), assigned_value(attr_name_14,attr_value_147,1), assigned_value(attr_name_15,attr_value_148,1), assigned_value(attr_name_16,attr_value_148,1), assigned_value(attr_name_17,attr_value_148,1), assigned_value(attr_name_18,attr_value_147,1), assigned_value(attr_name_19,attr_value_148,1), assigned_value(attr_name_20,attr_value_147,1), assigned_value(attr_name_21,attr_value_147,1), assigned_value(attr_name_22,attr_value_148,1), assigned_value(attr_name_23,attr_value_147,1), assigned_value(attr_name_24,attr_value_148,1), assigned_value(attr_name_0,attr_value_9,2), assigned_value(attr_name_1,attr_value_26,2), assigned_value(attr_name_2,21,2), assigned_value(attr_name_0,attr_value_9,3), trace(evt_val_1,1), trace(evt_val_0,2), trace(evt_val_11,3)]\n", "DEBUG:ASP generator: Clingo Result: SAT\n", "DEBUG:ASP generator: Generating trace:2/2 with events:3)\n", "DEBUG:ASP generator: Initializing clingo trace(2/2) with length:3), Seed 1331685326\n", "DEBUG:ASP generator: Traces generated :[assigned_value(attr_name_0,attr_value_9,1), assigned_value(attr_name_1,attr_value_27,1), assigned_value(attr_name_2,20,1), assigned_value(attr_name_3,attr_value_147,1), assigned_value(attr_name_4,attr_value_147,1), assigned_value(attr_name_5,attr_value_148,1), assigned_value(attr_name_6,attr_value_148,1), assigned_value(attr_name_7,attr_value_148,1), assigned_value(attr_name_8,attr_value_147,1), assigned_value(attr_name_9,attr_value_147,1), assigned_value(attr_name_10,attr_value_147,1), assigned_value(attr_name_11,attr_value_148,1), assigned_value(attr_name_12,attr_value_147,1), assigned_value(attr_name_13,attr_value_148,1), assigned_value(attr_name_14,attr_value_148,1), assigned_value(attr_name_15,attr_value_147,1), assigned_value(attr_name_16,attr_value_148,1), assigned_value(attr_name_17,attr_value_147,1), assigned_value(attr_name_18,attr_value_148,1), assigned_value(attr_name_19,attr_value_147,1), assigned_value(attr_name_20,attr_value_148,1), assigned_value(attr_name_21,attr_value_148,1), assigned_value(attr_name_22,attr_value_148,1), assigned_value(attr_name_23,attr_value_147,1), assigned_value(attr_name_24,attr_value_148,1), assigned_value(attr_name_0,attr_value_6,2), assigned_value(attr_name_1,attr_value_30,2), assigned_value(attr_name_2,20,2), assigned_value(attr_name_0,attr_value_2,3), assigned_value(attr_name_1,attr_value_26,3), assigned_value(attr_name_2,20,3), assigned_value(evt_val_3,2,3), trace(evt_val_1,1), trace(evt_val_0,2), trace(evt_val_3,3)]\n", "DEBUG:ASP generator: Clingo Result: SAT\n", "DEBUG:ASP generator: Total trace to generate and events: Traces:1, Events: 6, RandFrequency: 0.9\n", "DEBUG:ASP generator: Generating trace:1/1 with events:6)\n", "DEBUG:ASP generator: Initializing clingo trace(1/1) with length:6), Seed 809264715\n", "DEBUG:ASP generator: Traces generated :[assigned_value(attr_name_0,attr_value_1,1), assigned_value(attr_name_0,attr_value_9,2), assigned_value(attr_name_0,attr_value_9,3), assigned_value(attr_name_0,attr_value_0,4), assigned_value(attr_name_0,attr_value_9,5), assigned_value(attr_name_0,attr_value_1,6), assigned_value(attr_name_1,attr_value_27,1), assigned_value(attr_name_1,attr_value_2,2), assigned_value(attr_name_1,attr_value_26,3), assigned_value(attr_name_1,attr_value_30,6), assigned_value(attr_name_2,20,1), assigned_value(attr_name_2,20,2), assigned_value(attr_name_2,21,3), assigned_value(attr_name_2,22,6), assigned_value(attr_name_3,attr_value_148,1), assigned_value(attr_name_4,attr_value_148,1), assigned_value(attr_name_5,attr_value_148,1), assigned_value(attr_name_6,attr_value_147,1), assigned_value(attr_name_7,attr_value_147,1), assigned_value(attr_name_8,attr_value_148,1), assigned_value(attr_name_9,attr_value_148,1), assigned_value(attr_name_10,attr_value_148,1), assigned_value(attr_name_11,attr_value_147,1), assigned_value(attr_name_12,attr_value_147,1), assigned_value(attr_name_13,attr_value_148,1), assigned_value(attr_name_14,attr_value_148,1), assigned_value(attr_name_15,attr_value_147,1), assigned_value(attr_name_16,attr_value_148,1), assigned_value(attr_name_17,attr_value_148,1), assigned_value(attr_name_18,attr_value_147,1), assigned_value(attr_name_19,attr_value_148,1), assigned_value(attr_name_20,attr_value_147,1), assigned_value(attr_name_21,attr_value_147,1), assigned_value(attr_name_22,attr_value_148,1), assigned_value(attr_name_23,attr_value_147,1), assigned_value(attr_name_24,attr_value_147,1), assigned_value(evt_val_3,2715,3), assigned_value(evt_val_3,2,6), assigned_value(evt_val_5,2,4), assigned_value(evt_val_5,2,5), trace(evt_val_1,1), trace(evt_val_0,2), trace(evt_val_3,3), trace(evt_val_5,4), trace(evt_val_5,5), trace(evt_val_3,6)]\n", "DEBUG:ASP generator: Clingo Result: SAT\n", "DEBUG:ASP generator: Total trace to generate and events: Traces:1, Events: 7, RandFrequency: 0.9\n", "DEBUG:ASP generator: Generating trace:1/1 with events:7)\n", "DEBUG:ASP generator: Initializing clingo trace(1/1) with length:7), Seed 2846688113\n", "DEBUG:ASP generator: Traces generated :[assigned_value(attr_name_0,attr_value_9,1), assigned_value(attr_name_0,attr_value_0,2), assigned_value(attr_name_0,attr_value_9,3), assigned_value(attr_name_0,attr_value_9,4), assigned_value(attr_name_0,attr_value_0,5), assigned_value(attr_name_0,attr_value_0,6), assigned_value(attr_name_0,attr_value_9,7), assigned_value(attr_name_1,attr_value_26,1), assigned_value(attr_name_1,attr_value_26,2), assigned_value(attr_name_1,attr_value_26,3), assigned_value(attr_name_1,attr_value_28,5), assigned_value(attr_name_1,attr_value_30,6), assigned_value(attr_name_1,attr_value_26,7), assigned_value(attr_name_2,20,1), assigned_value(attr_name_2,21,2), assigned_value(attr_name_2,21,3), assigned_value(attr_name_2,21,5), assigned_value(attr_name_2,21,6), assigned_value(attr_name_2,24,7), assigned_value(attr_name_3,attr_value_148,1), assigned_value(attr_name_4,attr_value_148,1), assigned_value(attr_name_5,attr_value_147,1), assigned_value(attr_name_6,attr_value_148,1), assigned_value(attr_name_7,attr_value_148,1), assigned_value(attr_name_8,attr_value_147,1), assigned_value(attr_name_9,attr_value_148,1), assigned_value(attr_name_10,attr_value_147,1), assigned_value(attr_name_11,attr_value_148,1), assigned_value(attr_name_12,attr_value_147,1), assigned_value(attr_name_13,attr_value_148,1), assigned_value(attr_name_14,attr_value_148,1), assigned_value(attr_name_15,attr_value_147,1), assigned_value(attr_name_16,attr_value_148,1), assigned_value(attr_name_17,attr_value_148,1), assigned_value(attr_name_18,attr_value_148,1), assigned_value(attr_name_19,attr_value_148,1), assigned_value(attr_name_20,attr_value_147,1), assigned_value(attr_name_21,attr_value_148,1), assigned_value(attr_name_22,attr_value_148,1), assigned_value(attr_name_23,attr_value_147,1), assigned_value(attr_name_24,attr_value_148,1), assigned_value(evt_val_3,54,3), assigned_value(evt_val_3,3599,5), assigned_value(evt_val_3,875,6), assigned_value(evt_val_3,2,7), assigned_value(evt_val_5,3,4), trace(evt_val_1,1), trace(evt_val_0,2), trace(evt_val_3,3), trace(evt_val_5,4), trace(evt_val_3,5), trace(evt_val_3,6), trace(evt_val_3,7)]\n", "DEBUG:ASP generator: Clingo Result: SAT\n", "DEBUG:ASP generator: Total trace to generate and events: Traces:1, Events: 4, RandFrequency: 0.9\n", "DEBUG:ASP generator: Generating trace:1/1 with events:4)\n", "DEBUG:ASP generator: Initializing clingo trace(1/1) with length:4), Seed 2689150971\n", "DEBUG:ASP generator: Traces generated :[assigned_value(attr_name_0,attr_value_9,1), assigned_value(attr_name_0,attr_value_9,2), assigned_value(attr_name_0,attr_value_0,3), assigned_value(attr_name_0,attr_value_1,4), assigned_value(attr_name_1,attr_value_26,1), assigned_value(attr_name_1,attr_value_26,2), assigned_value(attr_name_1,attr_value_27,3), assigned_value(attr_name_1,attr_value_26,4), assigned_value(attr_name_2,23,1), assigned_value(attr_name_2,22,2), assigned_value(attr_name_2,20,3), assigned_value(attr_name_2,20,4), assigned_value(attr_name_3,attr_value_147,1), assigned_value(attr_name_4,attr_value_147,1), assigned_value(attr_name_5,attr_value_148,1), assigned_value(attr_name_6,attr_value_147,1), assigned_value(attr_name_7,attr_value_148,1), assigned_value(attr_name_8,attr_value_148,1), assigned_value(attr_name_9,attr_value_147,1), assigned_value(attr_name_10,attr_value_147,1), assigned_value(attr_name_11,attr_value_148,1), assigned_value(attr_name_12,attr_value_147,1), assigned_value(attr_name_13,attr_value_147,1), assigned_value(attr_name_14,attr_value_148,1), assigned_value(attr_name_15,attr_value_148,1), assigned_value(attr_name_16,attr_value_147,1), assigned_value(attr_name_17,attr_value_147,1), assigned_value(attr_name_18,attr_value_147,1), assigned_value(attr_name_19,attr_value_148,1), assigned_value(attr_name_20,attr_value_148,1), assigned_value(attr_name_21,attr_value_147,1), assigned_value(attr_name_22,attr_value_147,1), assigned_value(attr_name_23,attr_value_148,1), assigned_value(attr_name_24,attr_value_147,1), assigned_value(evt_val_4,831,3), assigned_value(evt_val_4,3795,4), trace(evt_val_1,1), trace(evt_val_0,2), trace(evt_val_4,3), trace(evt_val_4,4)]\n", "DEBUG:ASP generator: Clingo Result: SAT\n", "DEBUG:ASP generator: Total trace to generate and events: Traces:1, Events: 10, RandFrequency: 0.9\n", "DEBUG:ASP generator: Generating trace:1/1 with events:10)\n", "DEBUG:ASP generator: Initializing clingo trace(1/1) with length:10), Seed 327865967\n", "DEBUG:ASP generator: Traces generated :[assigned_value(attr_name_0,attr_value_0,1), assigned_value(attr_name_0,attr_value_9,2), assigned_value(attr_name_0,attr_value_0,3), assigned_value(attr_name_0,attr_value_0,4), assigned_value(attr_name_0,attr_value_9,5), assigned_value(attr_name_0,attr_value_1,6), assigned_value(attr_name_0,attr_value_9,7), assigned_value(attr_name_0,attr_value_1,8), assigned_value(attr_name_0,attr_value_1,9), assigned_value(attr_name_0,attr_value_0,10), assigned_value(attr_name_1,attr_value_31,1), assigned_value(attr_name_1,attr_value_26,2), assigned_value(attr_name_1,attr_value_27,3), assigned_value(attr_name_1,attr_value_27,4), assigned_value(attr_name_1,attr_value_26,5), assigned_value(attr_name_1,attr_value_27,6), assigned_value(attr_name_1,attr_value_26,7), assigned_value(attr_name_1,attr_value_26,8), assigned_value(attr_name_1,attr_value_27,9), assigned_value(attr_name_1,attr_value_27,10), assigned_value(attr_name_2,20,1), assigned_value(attr_name_2,20,2), assigned_value(attr_name_2,20,3), assigned_value(attr_name_2,20,4), assigned_value(attr_name_2,20,5), assigned_value(attr_name_2,20,6), assigned_value(attr_name_2,20,7), assigned_value(attr_name_2,20,8), assigned_value(attr_name_2,20,9), assigned_value(attr_name_2,25,10), assigned_value(attr_name_3,attr_value_148,1), assigned_value(attr_name_4,attr_value_148,1), assigned_value(attr_name_5,attr_value_148,1), assigned_value(attr_name_6,attr_value_147,1), assigned_value(attr_name_7,attr_value_147,1), assigned_value(attr_name_8,attr_value_148,1), assigned_value(attr_name_9,attr_value_148,1), assigned_value(attr_name_10,attr_value_148,1), assigned_value(attr_name_11,attr_value_148,1), assigned_value(attr_name_12,attr_value_148,1), assigned_value(attr_name_13,attr_value_147,1), assigned_value(attr_name_14,attr_value_147,1), assigned_value(attr_name_15,attr_value_147,1), assigned_value(attr_name_16,attr_value_148,1), assigned_value(attr_name_17,attr_value_147,1), assigned_value(attr_name_18,attr_value_147,1), assigned_value(attr_name_19,attr_value_147,1), assigned_value(attr_name_20,attr_value_148,1), assigned_value(attr_name_21,attr_value_148,1), assigned_value(attr_name_22,attr_value_148,1), assigned_value(attr_name_23,attr_value_148,1), assigned_value(attr_name_24,attr_value_148,1), assigned_value(evt_val_3,548,3), assigned_value(evt_val_3,1854,5), assigned_value(evt_val_3,2,6), assigned_value(evt_val_3,1877,7), assigned_value(evt_val_4,51,4), assigned_value(evt_val_4,966,8), assigned_value(evt_val_4,50,9), assigned_value(evt_val_4,50,10), trace(evt_val_1,1), trace(evt_val_0,2), trace(evt_val_3,3), trace(evt_val_4,4), trace(evt_val_3,5), trace(evt_val_3,6), trace(evt_val_3,7), trace(evt_val_4,8), trace(evt_val_4,9), trace(evt_val_4,10)]\n", "DEBUG:ASP generator: Clingo Result: SAT\n", "DEBUG:ASP generator: Total trace to generate and events: Traces:4, Events: 8, RandFrequency: 0.9\n", "DEBUG:ASP generator: Generating trace:1/4 with events:8)\n", "DEBUG:ASP generator: Initializing clingo trace(1/4) with length:8), Seed 3247657633\n", "DEBUG:ASP generator: Traces generated :[assigned_value(attr_name_0,attr_value_9,1), assigned_value(attr_name_0,attr_value_9,2), assigned_value(attr_name_0,attr_value_1,3), assigned_value(attr_name_0,attr_value_9,4), assigned_value(attr_name_0,attr_value_1,5), assigned_value(attr_name_0,attr_value_0,6), assigned_value(attr_name_0,attr_value_0,7), assigned_value(attr_name_0,attr_value_0,8), assigned_value(attr_name_1,attr_value_26,1), assigned_value(attr_name_1,attr_value_26,2), assigned_value(attr_name_1,attr_value_27,3), assigned_value(attr_name_1,attr_value_26,4), assigned_value(attr_name_1,attr_value_26,5), assigned_value(attr_name_1,attr_value_26,6), assigned_value(attr_name_1,attr_value_27,7), assigned_value(attr_name_1,attr_value_29,8), assigned_value(attr_name_2,26,1), assigned_value(attr_name_2,22,2), assigned_value(attr_name_2,20,3), assigned_value(attr_name_2,20,4), assigned_value(attr_name_2,20,5), assigned_value(attr_name_2,22,6), assigned_value(attr_name_2,20,7), assigned_value(attr_name_2,24,8), assigned_value(attr_name_3,attr_value_147,1), assigned_value(attr_name_4,attr_value_147,1), assigned_value(attr_name_5,attr_value_148,1), assigned_value(attr_name_6,attr_value_147,1), assigned_value(attr_name_7,attr_value_148,1), assigned_value(attr_name_8,attr_value_148,1), assigned_value(attr_name_9,attr_value_148,1), assigned_value(attr_name_10,attr_value_147,1), assigned_value(attr_name_11,attr_value_147,1), assigned_value(attr_name_12,attr_value_147,1), assigned_value(attr_name_13,attr_value_148,1), assigned_value(attr_name_14,attr_value_147,1), assigned_value(attr_name_15,attr_value_148,1), assigned_value(attr_name_16,attr_value_148,1), assigned_value(attr_name_17,attr_value_148,1), assigned_value(attr_name_18,attr_value_148,1), assigned_value(attr_name_19,attr_value_148,1), assigned_value(attr_name_20,attr_value_148,1), assigned_value(attr_name_21,attr_value_148,1), assigned_value(attr_name_22,attr_value_148,1), assigned_value(attr_name_23,attr_value_147,1), assigned_value(attr_name_24,attr_value_147,1), assigned_value(evt_val_3,2624,4), assigned_value(evt_val_3,3,5), assigned_value(evt_val_3,311,6), assigned_value(evt_val_3,2,7), assigned_value(evt_val_4,4901,3), assigned_value(evt_val_4,4396,8), trace(evt_val_1,1), trace(evt_val_0,2), trace(evt_val_4,3), trace(evt_val_3,4), trace(evt_val_3,5), trace(evt_val_3,6), trace(evt_val_3,7), trace(evt_val_4,8)]\n", "DEBUG:ASP generator: Clingo Result: SAT\n", "DEBUG:ASP generator: Generating trace:2/4 with events:8)\n", "DEBUG:ASP generator: Initializing clingo trace(2/4) with length:8), Seed 3427783313\n", "DEBUG:ASP generator: Traces generated :[assigned_value(attr_name_0,attr_value_3,1), assigned_value(attr_name_0,attr_value_2,2), assigned_value(attr_name_0,attr_value_0,3), assigned_value(attr_name_0,attr_value_5,4), assigned_value(attr_name_0,attr_value_1,5), assigned_value(attr_name_0,attr_value_0,6), assigned_value(attr_name_0,attr_value_1,7), assigned_value(attr_name_0,attr_value_2,8), assigned_value(attr_name_1,attr_value_28,1), assigned_value(attr_name_1,attr_value_26,2), assigned_value(attr_name_1,attr_value_26,3), assigned_value(attr_name_1,attr_value_26,4), assigned_value(attr_name_1,attr_value_32,5), assigned_value(attr_name_1,attr_value_26,7), assigned_value(attr_name_1,attr_value_30,8), assigned_value(attr_name_2,21,1), assigned_value(attr_name_2,22,2), assigned_value(attr_name_2,20,3), assigned_value(attr_name_2,22,4), assigned_value(attr_name_2,20,5), assigned_value(attr_name_2,20,7), assigned_value(attr_name_2,22,8), assigned_value(attr_name_3,attr_value_147,1), assigned_value(attr_name_4,attr_value_147,1), assigned_value(attr_name_5,attr_value_147,1), assigned_value(attr_name_6,attr_value_147,1), assigned_value(attr_name_7,attr_value_148,1), assigned_value(attr_name_8,attr_value_148,1), assigned_value(attr_name_9,attr_value_148,1), assigned_value(attr_name_10,attr_value_147,1), assigned_value(attr_name_11,attr_value_148,1), assigned_value(attr_name_12,attr_value_148,1), assigned_value(attr_name_13,attr_value_147,1), assigned_value(attr_name_14,attr_value_148,1), assigned_value(attr_name_15,attr_value_148,1), assigned_value(attr_name_16,attr_value_148,1), assigned_value(attr_name_17,attr_value_148,1), assigned_value(attr_name_18,attr_value_148,1), assigned_value(attr_name_19,attr_value_148,1), assigned_value(attr_name_20,attr_value_147,1), assigned_value(attr_name_21,attr_value_148,1), assigned_value(attr_name_22,attr_value_147,1), assigned_value(attr_name_23,attr_value_148,1), assigned_value(attr_name_24,attr_value_148,1), assigned_value(evt_val_3,2726,7), assigned_value(evt_val_4,50,3), assigned_value(evt_val_4,3629,4), assigned_value(evt_val_4,4598,5), assigned_value(evt_val_4,946,8), trace(evt_val_1,1), trace(evt_val_0,2), trace(evt_val_4,3), trace(evt_val_4,4), trace(evt_val_4,5), trace(evt_val_10,6), trace(evt_val_3,7), trace(evt_val_4,8)]\n", "DEBUG:ASP generator: Clingo Result: SAT\n", "DEBUG:ASP generator: Generating trace:3/4 with events:8)\n", "DEBUG:ASP generator: Initializing clingo trace(3/4) with length:8), Seed 3784098173\n", "DEBUG:ASP generator: Traces generated :[assigned_value(attr_name_0,attr_value_2,1), assigned_value(attr_name_0,attr_value_9,2), assigned_value(attr_name_0,attr_value_0,3), assigned_value(attr_name_0,attr_value_0,4), assigned_value(attr_name_0,attr_value_0,5), assigned_value(attr_name_0,attr_value_9,6), assigned_value(attr_name_0,attr_value_0,7), assigned_value(attr_name_0,attr_value_1,8), assigned_value(attr_name_1,attr_value_28,1), assigned_value(attr_name_1,attr_value_26,2), assigned_value(attr_name_1,attr_value_26,3), assigned_value(attr_name_1,attr_value_26,4), assigned_value(attr_name_1,attr_value_27,5), assigned_value(attr_name_1,attr_value_26,6), assigned_value(attr_name_1,attr_value_28,8), assigned_value(attr_name_2,23,1), assigned_value(attr_name_2,25,2), assigned_value(attr_name_2,20,3), assigned_value(attr_name_2,21,4), assigned_value(attr_name_2,20,5), assigned_value(attr_name_2,21,6), assigned_value(attr_name_2,20,8), assigned_value(attr_name_3,attr_value_148,1), assigned_value(attr_name_4,attr_value_147,1), assigned_value(attr_name_5,attr_value_147,1), assigned_value(attr_name_6,attr_value_147,1), assigned_value(attr_name_7,attr_value_147,1), assigned_value(attr_name_8,attr_value_148,1), assigned_value(attr_name_9,attr_value_148,1), assigned_value(attr_name_10,attr_value_147,1), assigned_value(attr_name_11,attr_value_148,1), assigned_value(attr_name_12,attr_value_148,1), assigned_value(attr_name_13,attr_value_147,1), assigned_value(attr_name_14,attr_value_148,1), assigned_value(attr_name_15,attr_value_147,1), assigned_value(attr_name_16,attr_value_147,1), assigned_value(attr_name_17,attr_value_148,1), assigned_value(attr_name_18,attr_value_147,1), assigned_value(attr_name_19,attr_value_148,1), assigned_value(attr_name_20,attr_value_147,1), assigned_value(attr_name_21,attr_value_147,1), assigned_value(attr_name_22,attr_value_148,1), assigned_value(attr_name_23,attr_value_147,1), assigned_value(attr_name_24,attr_value_147,1), assigned_value(evt_val_3,2,6), assigned_value(evt_val_4,1521,3), assigned_value(evt_val_4,5676,4), assigned_value(evt_val_4,104,5), assigned_value(evt_val_4,50,8), trace(evt_val_1,1), trace(evt_val_0,2), trace(evt_val_4,3), trace(evt_val_4,4), trace(evt_val_4,5), trace(evt_val_3,6), trace(evt_val_11,7), trace(evt_val_4,8)]\n", "DEBUG:ASP generator: Clingo Result: SAT\n", "DEBUG:ASP generator: Generating trace:4/4 with events:8)\n", "DEBUG:ASP generator: Initializing clingo trace(4/4) with length:8), Seed 1921505603\n", "DEBUG:ASP generator: Traces generated :[assigned_value(attr_name_0,attr_value_9,1), assigned_value(attr_name_0,attr_value_2,2), assigned_value(attr_name_0,attr_value_0,3), assigned_value(attr_name_0,attr_value_9,4), assigned_value(attr_name_0,attr_value_3,5), assigned_value(attr_name_0,attr_value_9,6), assigned_value(attr_name_0,attr_value_1,7), assigned_value(attr_name_0,attr_value_0,8), assigned_value(attr_name_1,attr_value_27,1), assigned_value(attr_name_1,attr_value_26,2), assigned_value(attr_name_1,attr_value_31,3), assigned_value(attr_name_1,attr_value_26,4), assigned_value(attr_name_1,attr_value_29,5), assigned_value(attr_name_1,attr_value_26,6), assigned_value(attr_name_1,attr_value_26,7), assigned_value(attr_name_1,attr_value_26,8), assigned_value(attr_name_2,20,1), assigned_value(attr_name_2,20,2), assigned_value(attr_name_2,20,3), assigned_value(attr_name_2,25,4), assigned_value(attr_name_2,20,5), assigned_value(attr_name_2,24,6), assigned_value(attr_name_2,20,7), assigned_value(attr_name_2,20,8), assigned_value(attr_name_3,attr_value_148,1), assigned_value(attr_name_4,attr_value_148,1), assigned_value(attr_name_5,attr_value_147,1), assigned_value(attr_name_6,attr_value_147,1), assigned_value(attr_name_7,attr_value_148,1), assigned_value(attr_name_8,attr_value_148,1), assigned_value(attr_name_9,attr_value_148,1), assigned_value(attr_name_10,attr_value_147,1), assigned_value(attr_name_11,attr_value_147,1), assigned_value(attr_name_12,attr_value_147,1), assigned_value(attr_name_13,attr_value_147,1), assigned_value(attr_name_14,attr_value_147,1), assigned_value(attr_name_15,attr_value_148,1), assigned_value(attr_name_16,attr_value_147,1), assigned_value(attr_name_17,attr_value_148,1), assigned_value(attr_name_18,attr_value_147,1), assigned_value(attr_name_19,attr_value_147,1), assigned_value(attr_name_20,attr_value_148,1), assigned_value(attr_name_21,attr_value_148,1), assigned_value(attr_name_22,attr_value_148,1), assigned_value(attr_name_23,attr_value_148,1), assigned_value(attr_name_24,attr_value_148,1), assigned_value(evt_val_3,3749,3), assigned_value(evt_val_3,2,4), assigned_value(evt_val_3,2,6), assigned_value(evt_val_4,874,5), assigned_value(evt_val_4,2998,7), assigned_value(evt_val_4,52,8), trace(evt_val_1,1), trace(evt_val_0,2), trace(evt_val_3,3), trace(evt_val_3,4), trace(evt_val_4,5), trace(evt_val_3,6), trace(evt_val_4,7), trace(evt_val_4,8)]\n", "DEBUG:ASP generator: Clingo Result: SAT\n", "DEBUG:ASP generator:Traces generated. Positive: 10 Neg: 0. Parsing Trace results.\n", "DEBUG:ASP generator:Trace results parsed\n", "DEBUG:ASP generator:Generating Pm4py log\n", "DEBUG:ASP generator:Pm4py generated but not saved yet\n" ] } ], "source": [ "from Declare4Py.ProcessMiningTasks.ASPLogGeneration.asp_generator import AspGenerator\n", "\n", "asp_gen: AspGenerator = AspGenerator(model, num_of_cases, num_min_events, num_max_events)\n", "asp_gen.run()" ] }, { "cell_type": "code", "execution_count": 5, "id": "188777b4", "metadata": {}, "outputs": [ { "data": { "application/vnd.jupyter.widget-view+json": { "model_id": "3c01d2a5a77a405ab46ee0e5de20ef2c", "version_major": 2, "version_minor": 0 }, "text/plain": [ "exporting log, completed traces :: 0%| | 0/10 [00:00