{"id":"W4311471986","doi":"10.1109/icpm57379.2022.9980690","title":"Measurement of Rule-based LTLf Declarative Process Specifications","year":2022,"lang":"en","type":"article","venue":"","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; TRACE (psycholinguistics); Probabilistic logic; Process (computing); Association rule learning; Key (lock); Data mining; Linear temporal logic; Granularity; Theoretical computer science; Programming language; Temporal logic; Artificial intelligence","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004896059,0.0001236613,0.0001888557,0.0003202377,0.0003871406,0.00007003635,0.000298567,0.00001866483,0.001381845],"category_scores_gemma":[0.00005124405,0.0001131131,0.00009335553,0.001059333,0.00003644069,0.0003237379,0.0000778601,0.0001057771,0.00004292094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004364672,"about_ca_system_score_gemma":0.00009223733,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002208592,"about_ca_topic_score_gemma":0.00003048883,"domain_scores_codex":[0.9985366,0.000009975483,0.0003000963,0.0002533042,0.000740641,0.0001593077],"domain_scores_gemma":[0.9987707,0.00000884723,0.0002561544,0.0002235618,0.0007330995,0.000007652669],"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.0004342674,0.004564089,0.06840707,0.002425654,0.0005661183,0.00001067392,0.0005070969,0.77561,0.01154447,0.09321818,0.01105831,0.03165412],"study_design_scores_gemma":[0.003338544,0.00004491951,0.01047056,0.0001501706,0.0008959379,0.000001490388,0.008039166,0.8792667,0.007429207,0.02768786,0.06112177,0.001553622],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5107629,0.001127075,0.3316135,0.01700351,0.0006382522,0.001077121,0.00002840972,0.0008868021,0.1368624],"genre_scores_gemma":[0.9985539,0.000001188704,0.000273393,0.0007232006,0.0001396137,0.0001173048,0.00003045433,0.000016464,0.0001444438],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.487791,"threshold_uncertainty_score":0.999531,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0838021066925337,"score_gpt":0.2477980935328251,"score_spread":0.1639959868402914,"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."}}