{"id":"W48073604","doi":"","title":"Situations, Si! situation terms, No!","year":2004,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":40,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Situation calculus; Determinacy; Action (physics); Computer science; Calculus (dental); Expressive power; Knowledge representation and reasoning; Algebra over a field; Mathematics; Artificial intelligence; Theoretical computer science; Pure mathematics","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.001963679,0.001559133,0.0009416169,0.001799147,0.00257516,0.005822126,0.00212122,0.001515073,0.02178166],"category_scores_gemma":[0.003161404,0.001097128,0.001371864,0.00230417,0.005620476,0.01839933,0.004125643,0.004577118,0.01208366],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002086413,"about_ca_system_score_gemma":0.00141636,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002529544,"about_ca_topic_score_gemma":0.004269706,"domain_scores_codex":[0.9984872,0.0005244761,0.0001596521,0.0003867316,0.0002816938,0.0001601642],"domain_scores_gemma":[0.9990189,0.0003072965,0.0001116783,0.0002804983,0.0001897539,0.00009192339],"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.00002668173,0.00000764451,0.00005367852,0.00008052561,0.000006256105,0.00004877836,0.0004274856,0.0001959965,0.0003814246,0.9785945,0.009803822,0.01037315],"study_design_scores_gemma":[0.00001599655,0.00002477292,0.0001123871,0.00007668942,0.00002532067,0.0002360262,0.0004363298,0.003005766,0.001151489,0.6709659,0.3239161,0.0000331684],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009052118,0.00454256,0.6876891,0.01094566,0.004570044,0.0003415837,0.002018186,0.006563902,0.2742769],"genre_scores_gemma":[0.3715136,0.006322474,0.4223703,0.003561201,0.002012918,0.000993258,0.004781372,0.004514826,0.18393],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02178166,"threshold_uncertainty_score":0.07286692,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01346669246121889,"score_gpt":0.2355873607558928,"score_spread":0.2221206682946739,"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."}}