{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004892469,0.0008736735,0.000821632,0.003243501,0.001971488,0.004511647,0.001894939,0.001186906,0.00726108],"category_scores_gemma":[0.01132746,0.0009912768,0.003252309,0.001786451,0.004991374,0.01043415,0.004835767,0.004542363,0.001081305],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002999539,"about_ca_system_score_gemma":0.002117402,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003895385,"about_ca_topic_score_gemma":0.002405975,"domain_scores_codex":[0.9961082,0.0007906922,0.0003123878,0.0008074453,0.001454272,0.0005268944],"domain_scores_gemma":[0.9950047,0.001934257,0.0004292244,0.001007285,0.001108814,0.0005157127],"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.00008340264,0.00002657233,0.0005395373,0.00009139891,0.00002940268,0.0004819042,0.001488195,0.005193341,0.002057411,0.978613,0.0005521917,0.01084364],"study_design_scores_gemma":[0.0000431052,0.00004503419,0.000219767,0.00005017373,0.0000412858,0.0001852579,0.0001761006,0.02061537,0.001505864,0.9711112,0.005979924,0.0000269647],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1046423,0.0008602451,0.8640167,0.001012903,0.0001617407,0.0003392388,0.0005564299,0.001378772,0.02703176],"genre_scores_gemma":[0.6766508,0.001039481,0.3057552,0.0003483375,0.0001994945,0.0003662955,0.001161118,0.0003625778,0.01411676],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00726108,"threshold_uncertainty_score":0.02587414,"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."}}