{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001475996,0.00008844841,0.00007970507,0.00005893778,0.0001342952,0.000138383,0.0004190038,0.00004694405,0.00007733591],"category_scores_gemma":[0.00008544,0.00007078733,0.00004408263,0.0002195429,0.00001992872,0.0005005373,0.0001069422,0.0000595719,0.002799145],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006025087,"about_ca_system_score_gemma":0.00007811659,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004209779,"about_ca_topic_score_gemma":0.00006480414,"domain_scores_codex":[0.9992564,0.00001905589,0.0001318452,0.0002453059,0.0001682364,0.0001791811],"domain_scores_gemma":[0.9994062,0.00003389782,0.00004241587,0.0003457067,0.0001022882,0.00006947869],"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.000001387953,0.0001212656,0.0004539178,0.000005755656,0.000008324181,0.000006804932,0.001264759,0.0001630246,0.001655529,0.965129,0.003621557,0.02756869],"study_design_scores_gemma":[0.003836338,0.0005903423,0.05208609,0.00008055758,0.00003165105,0.00008948348,0.0001304684,0.06632566,0.02639749,0.7667612,0.08213609,0.001534656],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005709618,0.0000444462,0.7990673,0.001113841,0.0003612956,0.00009764681,2.982579e-7,0.0002960922,0.1933095],"genre_scores_gemma":[0.9261798,0.00001648323,0.06861907,0.0006169225,0.0001565451,0.00001056069,0.000005652993,0.000004823135,0.004390087],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9204702,"threshold_uncertainty_score":0.9979773,"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."}}