{"id":"W2807275039","doi":"10.31144/bncc.cs.2542-1972.2012.n34.p105-133","title":"COMPONENT PROPERTIES OF FORGETTING AND PROGRESSION IN THE SITUATION CALCULUS","year":2012,"lang":"en","type":"article","venue":"Bulletin of the Novosibirsk Computing Center Series Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Russian Academy of Sciences; Natural Sciences and Engineering Research Council of Canada","keywords":"Forgetting; Situation calculus; Action (physics); Scope (computer science); Computer science; Decomposition; Calculus (dental); Logical framework; Subject (documents); Component (thermodynamics); Relation (database); Mathematics; Epistemology; Artificial intelligence; Cognitive psychology; Psychology; Philosophy","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00263347,0.0002032021,0.0002722317,0.0001267246,0.0004525271,0.0001716049,0.002348405,0.00004557042,0.000001268623],"category_scores_gemma":[0.0001040706,0.0001132521,0.00008516282,0.0007009333,0.0008368909,0.0003531948,0.002376631,0.0001889719,0.000002926269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004470607,"about_ca_system_score_gemma":0.00006316359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003797807,"about_ca_topic_score_gemma":0.000004172371,"domain_scores_codex":[0.9975374,0.0002886671,0.0005458798,0.0004036473,0.0006758232,0.0005485254],"domain_scores_gemma":[0.9984949,0.0001213169,0.00043636,0.0006890504,0.0001844996,0.00007382933],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0001138876,0.003037835,0.2899985,0.001197172,0.00006889895,0.000009082934,0.2134033,0.00170374,0.04615531,0.2116079,0.001582381,0.2311219],"study_design_scores_gemma":[0.002527574,0.0007720971,0.5768141,0.003320305,0.00003200581,0.0007464428,0.001211343,0.2986879,0.1070227,0.001118214,0.006609397,0.001137905],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9208679,0.0007094638,0.07295006,0.002920173,0.001470671,0.0005638995,6.520893e-7,0.00006365757,0.0004535771],"genre_scores_gemma":[0.9715556,0.00000805162,0.02809374,0.000219606,0.00009684067,0.000004419808,2.978562e-7,0.000006959642,0.00001448712],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2969842,"threshold_uncertainty_score":0.4618287,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01739273574781714,"score_gpt":0.2347050568554903,"score_spread":0.2173123211076732,"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."}}