{"id":"W2615306226","doi":"10.1145/3091119","title":"Progression of Decomposed Local-Effect Action Theories","year":2017,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Situation calculus; Forgetting; Action (physics); Bridging (networking); Computer science; Representation (politics); Decomposition; Subject (documents); Modularity (biology); Belief revision; Theory; Mathematics; Artificial intelligence; Cognitive science; Theoretical computer science; Cognitive psychology; Psychology","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003441522,0.0001871856,0.0002335611,0.0001334762,0.0009047046,0.0001756324,0.001242985,0.0001000771,0.00004413132],"category_scores_gemma":[0.000112004,0.0001453907,0.0001570057,0.0001444652,0.000249697,0.0005445756,0.00004196361,0.0001912346,0.00007999653],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005638401,"about_ca_system_score_gemma":0.0000858706,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001567372,"about_ca_topic_score_gemma":0.00001273198,"domain_scores_codex":[0.9986501,0.0001426421,0.0002505798,0.0003767548,0.0003722211,0.0002077122],"domain_scores_gemma":[0.9979544,0.000668644,0.0002634559,0.0008411116,0.0001915326,0.00008081758],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001381957,0.0004710327,0.0005626418,0.00006197906,0.00007674375,0.00001262497,0.0003443602,0.04900263,0.0004206035,0.1693637,0.00006650738,0.779479],"study_design_scores_gemma":[0.002195156,0.002116192,0.04720332,0.0001616605,0.00005607641,0.00007621966,0.00005241039,0.1863192,0.02664836,0.734042,0.0005683046,0.0005610949],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0136421,0.00005387069,0.9819708,0.0007456382,0.000686514,0.000238515,0.000005520651,0.0001600693,0.002496982],"genre_scores_gemma":[0.9421711,0.00001132103,0.05756578,0.00007584962,0.00004097424,0.00003311644,0.000007268171,0.000008491728,0.00008612623],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.928529,"threshold_uncertainty_score":0.6958348,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03292469093502936,"score_gpt":0.3370005077113563,"score_spread":0.3040758167763269,"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."}}