{"id":"W2788936316","doi":"10.1609/aaai.v32i1.11561","title":"Situation Calculus Semantics for Actual Causality","year":2018,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; York University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Counterfactual thinking; Causality (physics); Context (archaeology); Computer science; Action (physics); Counterfactual conditional; Possible world; Situation calculus; Semantics (computer science); Pearl; Propositional calculus; Epistemology; Calculus (dental); Artificial intelligence; Theoretical computer science; Programming language; Philosophy","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.005974188,0.0009487261,0.0008031375,0.002533036,0.002510989,0.005329032,0.002300382,0.002772711,0.006991317],"category_scores_gemma":[0.008214408,0.0007696089,0.002614266,0.001846873,0.01080913,0.01080182,0.004353546,0.0053823,0.0008780149],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003912396,"about_ca_system_score_gemma":0.003110842,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003208631,"about_ca_topic_score_gemma":0.002234836,"domain_scores_codex":[0.9945015,0.002179704,0.000552128,0.0008241541,0.001451537,0.000491004],"domain_scores_gemma":[0.9947199,0.002774551,0.0003679433,0.000940036,0.0009374334,0.0002600707],"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.000001617227,0.000002361418,0.00001572236,0.000009686589,0.000001822064,0.00001608845,0.0001083546,0.0004967057,0.00003532906,0.9985926,0.0001317586,0.0005879316],"study_design_scores_gemma":[0.000006831007,0.000003589294,0.00001516241,0.00001195358,0.000004633159,0.0000287993,0.00004253591,0.003200872,0.0001136858,0.9917533,0.004813556,0.000005007629],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008785474,0.001038466,0.9314377,0.003803666,0.0003294193,0.0001040323,0.0003037463,0.0006154935,0.05358189],"genre_scores_gemma":[0.6491064,0.00149657,0.3323325,0.001636387,0.0005494452,0.0006221246,0.0005712787,0.0003236123,0.01336153],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006991317,"threshold_uncertainty_score":0.03159493,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03196946170056348,"score_gpt":0.2939528793221528,"score_spread":0.2619834176215893,"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."}}