{"id":"W972909139","doi":"10.1609/aaai.v27i1.8612","title":"Progression of Decomposed Situation Calculus Theories","year":2013,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"Russian Academy of Sciences; Natural Sciences and Engineering Research Council of Canada; Deutsche Forschungsgemeinschaft","keywords":"Forgetting; Decomposition; Situation calculus; Computer science; Scope (computer science); Subject (documents); Theory; Signature (topology); Action (physics); Calculus (dental); Theoretical computer science; Artificial intelligence; Mathematics; Cognitive psychology; Programming language; Psychology","routes":{"ca_aff":true,"ca_fund":true,"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.0004490914,0.0001881508,0.0002575084,0.0001019281,0.0001624954,0.0001938545,0.001665574,0.00009182969,0.00009947547],"category_scores_gemma":[0.0005021795,0.0001207458,0.0001144793,0.0005373903,0.0003312183,0.0005624632,0.0003737085,0.0001766948,0.0001261914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000288218,"about_ca_system_score_gemma":0.00009307067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005466526,"about_ca_topic_score_gemma":0.000007485516,"domain_scores_codex":[0.9983606,0.00002562787,0.0005084986,0.0003639421,0.0004617271,0.0002795478],"domain_scores_gemma":[0.9978651,0.0001156416,0.0004983462,0.0002858716,0.001157254,0.00007783349],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0000168964,0.0001254964,0.000346615,0.00003037416,0.000007393963,8.518695e-8,0.002056761,0.000006023663,0.07597376,0.8024847,0.00007179086,0.1188801],"study_design_scores_gemma":[0.00002179788,0.0001877281,0.0007677303,0.0001476494,0.000005905711,0.000001655068,0.0003313843,0.03932834,0.6219651,0.3371025,0.00001957271,0.0001206124],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7708454,0.0001080577,0.1504368,0.003510543,0.001009033,0.001464496,0.000002940454,0.0002264114,0.07239625],"genre_scores_gemma":[0.9952934,0.00001849593,0.004380126,0.00005879252,0.00004637681,0.00003914822,3.764636e-7,0.000007586539,0.0001557412],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5459914,"threshold_uncertainty_score":0.4923872,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04310182647796734,"score_gpt":0.2960530619333507,"score_spread":0.2529512354553834,"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."}}