{"id":"W4283810932","doi":"10.1609/aaai.v36i5.20485","title":"From Actions to Programs as Abstract Actual Causes","year":2022,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; University of Regina; York University","funders":"","keywords":"Abstraction; Causality (physics); Causation; Computer science; Programming language; Action (physics); Situation calculus; Sequence (biology); Theoretical computer science; Epistemology","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":[],"consensus_categories":[],"category_scores_codex":[0.0003654548,0.0002292149,0.0002419263,0.0001325825,0.0005902617,0.0003803261,0.002818825,0.00005736062,0.000539195],"category_scores_gemma":[0.0003843296,0.00018082,0.0001429084,0.0008701241,0.0001420543,0.0003644007,0.001081023,0.000443389,0.0003947094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001042426,"about_ca_system_score_gemma":0.0002029375,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004507316,"about_ca_topic_score_gemma":0.00005350577,"domain_scores_codex":[0.9978907,0.00001921246,0.000419085,0.0006151483,0.0006487162,0.000407128],"domain_scores_gemma":[0.9986584,0.0001161912,0.0002874875,0.0003749954,0.0003995717,0.0001634072],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00007565834,0.0005131281,0.0002389869,0.00001047575,0.00003143638,0.000002128177,0.01016008,0.00007232215,0.03431429,0.8007307,0.0009134708,0.1529373],"study_design_scores_gemma":[0.00005967202,0.001182064,0.001133435,0.0001342404,0.00003269139,0.00002074661,0.008533794,0.007564588,0.5932378,0.376804,0.01061069,0.0006862626],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9285811,0.0000313647,0.005890096,0.006492013,0.001877207,0.0009682744,0.00002297883,0.0003476635,0.05578935],"genre_scores_gemma":[0.9972267,0.000007678128,0.001360964,0.000330785,0.0001453655,0.0001398619,0.000001528491,0.00001325819,0.0007738487],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5589235,"threshold_uncertainty_score":0.7373624,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1214503070346684,"score_gpt":0.3222884280208421,"score_spread":0.2008381209861737,"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."}}