{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008158308,0.0007438964,0.00086425,0.001362728,0.00259657,0.003995548,0.002314749,0.002056489,0.004742318],"category_scores_gemma":[0.01180707,0.0007831036,0.002317206,0.001250554,0.009174429,0.01022892,0.005659219,0.005217514,0.0008974685],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002798608,"about_ca_system_score_gemma":0.002109342,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002980918,"about_ca_topic_score_gemma":0.001867907,"domain_scores_codex":[0.9913458,0.003380667,0.0004528521,0.001357749,0.002707476,0.0007554771],"domain_scores_gemma":[0.9945135,0.002975372,0.0003068234,0.001030971,0.0008135174,0.0003597995],"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.00001952229,0.00001321529,0.00008171023,0.00002522955,0.000008460438,0.00005371577,0.0006144028,0.001514983,0.0003719128,0.9912432,0.0003847926,0.005668681],"study_design_scores_gemma":[0.00003000477,0.00002356953,0.00007588886,0.0000201305,0.00002432042,0.00007499894,0.0001520374,0.01706814,0.0009845332,0.9698711,0.01165448,0.00002069679],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01465845,0.0003946848,0.9483456,0.001579995,0.0001427576,0.0001619093,0.00007762316,0.0006082451,0.03403081],"genre_scores_gemma":[0.4988673,0.0003932597,0.4862942,0.0005197884,0.0001894261,0.0005366264,0.0001596737,0.000284635,0.01275519],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008158308,"threshold_uncertainty_score":0.04314578,"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."}}