{"id":"W2051119578","doi":"10.1093/logcom/exm050","title":"Goal Change in the Situation Calculus","year":2007,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University; University of Toronto","funders":"","keywords":"Situation calculus; Calculus (dental); Action (physics); Computer science; Contraction (grammar); Artificial intelligence; Philosophy; Linguistics; Medicine","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.001253963,0.00005185236,0.00008690219,0.00009699928,0.00005759627,0.00006536453,0.0001841714,0.00003474874,0.000001177137],"category_scores_gemma":[0.00003660588,0.00003072938,0.00003086074,0.0002093063,0.00001822628,0.0003024493,0.00002609261,0.0001113012,0.000003083162],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002489825,"about_ca_system_score_gemma":0.00001834075,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001167189,"about_ca_topic_score_gemma":0.00002229714,"domain_scores_codex":[0.9993626,0.00007022711,0.0002138536,0.00007052614,0.0001793602,0.0001034348],"domain_scores_gemma":[0.9995029,0.0001417682,0.000180688,0.00004682272,0.00009651056,0.00003130446],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00003778555,0.000207133,0.01020683,0.00001596522,0.00001252688,0.0001996008,0.02959265,0.0004710153,0.0001601825,0.1767655,0.0004619139,0.7818689],"study_design_scores_gemma":[0.001097968,0.0007020796,0.8070086,0.00004155241,0.00001330813,0.0006097719,0.0008652169,0.1154441,0.0000651115,0.07323734,0.0007615021,0.0001534893],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1975672,0.0005264812,0.7992527,0.0008389065,0.0002254895,0.00006242048,5.087174e-8,0.000006804408,0.001519926],"genre_scores_gemma":[0.9945436,0.00003243512,0.004659688,0.0005140777,0.0002410133,6.503114e-7,3.941733e-7,0.000001207027,0.000006998048],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7969763,"threshold_uncertainty_score":0.1253108,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04146586588425641,"score_gpt":0.3086231164052781,"score_spread":0.2671572505210217,"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."}}