{"id":"W4411449866","doi":"10.1007/978-3-031-93930-3_6","title":"A Logic of Actual Cause for Nondeterministic Domains","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University; University of Windsor; University of Regina","funders":"","keywords":"Computer science; Nondeterministic algorithm; Programming language; Theoretical computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003225063,0.0008472448,0.0008154445,0.002040837,0.002603884,0.00532324,0.002269827,0.002319522,0.01347855],"category_scores_gemma":[0.006567005,0.001286949,0.002368447,0.001461328,0.008389493,0.01305583,0.004490147,0.006767241,0.002054431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00271161,"about_ca_system_score_gemma":0.001879442,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00160502,"about_ca_topic_score_gemma":0.002089122,"domain_scores_codex":[0.9980602,0.0006339505,0.0001634841,0.0004183332,0.000511365,0.0002126609],"domain_scores_gemma":[0.9959638,0.002801686,0.0001444863,0.0005816797,0.0003717705,0.0001365323],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006355967,0.000003576272,0.00002928779,0.000018512,0.000003345988,0.00002748936,0.0001240585,0.0003638856,0.0001006578,0.9954476,0.0008540452,0.003021237],"study_design_scores_gemma":[0.000005588088,0.000003320189,0.00001764592,0.0000103702,0.000007205907,0.00003889864,0.00002840849,0.001643926,0.0001890193,0.9907563,0.007293724,0.000005614895],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007901048,0.001498313,0.8299733,0.004991895,0.0005439342,0.00009274793,0.00042476,0.0008770603,0.153697],"genre_scores_gemma":[0.603085,0.00230948,0.3145894,0.002466701,0.001149823,0.000405774,0.0008862618,0.0006390662,0.07446862],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01347855,"threshold_uncertainty_score":0.04509026,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0250487467158796,"score_gpt":0.2759649340806172,"score_spread":0.2509161873647376,"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."}}