{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004386822,0.001075248,0.001430776,0.003662294,0.00283,0.005393958,0.002329239,0.001606095,0.009115037],"category_scores_gemma":[0.01205997,0.001524219,0.004024295,0.002670098,0.006752057,0.0164991,0.005181787,0.004926165,0.001090201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002139658,"about_ca_system_score_gemma":0.001918729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005783001,"about_ca_topic_score_gemma":0.003633131,"domain_scores_codex":[0.9964141,0.0005825624,0.0003410751,0.0008061502,0.001222438,0.0006337486],"domain_scores_gemma":[0.9935483,0.003017006,0.0004629697,0.001451035,0.0009921672,0.0005285062],"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.00005704754,0.00002107262,0.0003684922,0.0000519347,0.0000218688,0.000247236,0.0006912348,0.001905602,0.0006327853,0.98874,0.0002716169,0.006991058],"study_design_scores_gemma":[0.00002787973,0.00002471491,0.0002547003,0.00002359695,0.00005257638,0.0001602886,0.00007261985,0.009068266,0.000847952,0.9864938,0.002947288,0.00002626923],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1279266,0.001210384,0.8218926,0.0007912377,0.0001619413,0.0002631235,0.0003748653,0.001989427,0.04538982],"genre_scores_gemma":[0.8218682,0.00101616,0.1587459,0.0002211257,0.0002742969,0.000344328,0.0006133559,0.0006208339,0.01629572],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009115037,"threshold_uncertainty_score":0.03049284,"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."}}