{"id":"W2785356083","doi":"10.1609/aaai.v32i1.11561","title":"Situation Calculus Semantics for Actual Causality","year":2018,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; York University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Semantics (computer science); Calculus (dental); Causality (physics); Computer science; Programming language; Mathematics; Algebra over a field; Theoretical computer science; Medicine; Pure mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.006630903,0.00101049,0.0008448219,0.002714761,0.002619525,0.005493386,0.002416278,0.002999866,0.007632994],"category_scores_gemma":[0.009915523,0.0008316918,0.002683497,0.002005419,0.01096657,0.01125583,0.004356798,0.005764962,0.0009121121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004041307,"about_ca_system_score_gemma":0.00324018,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003253801,"about_ca_topic_score_gemma":0.002294963,"domain_scores_codex":[0.9939037,0.002547529,0.000591101,0.000933324,0.00151683,0.0005074767],"domain_scores_gemma":[0.9935736,0.003564202,0.0004422804,0.001075155,0.001053595,0.0002911795],"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.000001524737,0.000002296634,0.00001591063,0.000009597694,0.00000190527,0.0000147406,0.000107901,0.0004541088,0.0000285425,0.9986028,0.0001446598,0.0006159921],"study_design_scores_gemma":[0.000005928862,0.000002905845,0.00001446885,0.00001169753,0.000004048145,0.00002607152,0.0000376052,0.002749232,0.00008001964,0.9928765,0.0041871,0.000004493614],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007702653,0.001065469,0.9323773,0.004316203,0.0003162942,0.0001028004,0.0003466458,0.0005699972,0.0532026],"genre_scores_gemma":[0.6273955,0.001520527,0.354331,0.00188856,0.0005946527,0.0006708506,0.0006509197,0.0003300743,0.01261787],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007632994,"threshold_uncertainty_score":0.03506798,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1143655799003566,"score_gpt":0.3318612548278091,"score_spread":0.2174956749274524,"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."}}