{"id":"W4388154056","doi":"10.1016/j.is.2023.102312","title":"Measuring rule-based LTLf process specifications: A probabilistic data-driven approach","year":2023,"lang":"en","type":"article","venue":"Information Systems","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Computer science; Probabilistic logic; Data mining; Process (computing); Event (particle physics); Process mining; Context (archaeology); Conformance checking; Temporal logic; Key (lock); Isolation (microbiology); Linear temporal logic; Software engineering; Programming language; Work in process; Artificial intelligence; Business process; Business process modeling","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008909209,0.0001890218,0.0002555536,0.0007574039,0.0003254661,0.001225771,0.0006964811,0.00007873831,0.00001333765],"category_scores_gemma":[0.000269207,0.0001676847,0.00005142962,0.001967001,0.00003505296,0.00556732,0.0001215695,0.0001132637,0.002214159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000038889,"about_ca_system_score_gemma":0.00008134962,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002183789,"about_ca_topic_score_gemma":0.000003756059,"domain_scores_codex":[0.9981068,0.00001154587,0.0006966423,0.0002713615,0.0006361747,0.0002774808],"domain_scores_gemma":[0.9980513,0.00002960384,0.0005043213,0.0006858735,0.0007110473,0.00001782985],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000154932,0.00005237138,0.001722919,0.004139351,0.00004294571,8.074965e-7,0.000216618,0.9836172,0.000006844275,0.004216021,0.002709775,0.003259611],"study_design_scores_gemma":[0.0003000856,9.789359e-7,0.0004710192,0.000132149,0.00005727413,0.000001245106,0.001221095,0.9794169,0.000001432638,0.0001794954,0.01799754,0.0002207991],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.160251,0.0003837603,0.6925821,0.003052877,0.002670685,0.004629681,0.0002808601,0.008600081,0.1275489],"genre_scores_gemma":[0.9958369,0.000003495966,0.000187005,0.0001882698,0.0006102911,0.0002607805,0.002815439,0.00002052492,0.00007726562],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8355859,"threshold_uncertainty_score":0.9998111,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1687923905927181,"score_gpt":0.2611907434386695,"score_spread":0.09239835284595149,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}