{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004760404,0.0008622219,0.0006592171,0.002692708,0.00146963,0.003108456,0.001757067,0.001250225,0.006941405],"category_scores_gemma":[0.01003688,0.0007437645,0.00275967,0.001209462,0.005925677,0.0100293,0.004735339,0.003879113,0.0008118094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002495033,"about_ca_system_score_gemma":0.00164027,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003128985,"about_ca_topic_score_gemma":0.002798,"domain_scores_codex":[0.9968869,0.0008182079,0.0002215764,0.0006243048,0.001109915,0.0003389969],"domain_scores_gemma":[0.9953318,0.002169451,0.0003948801,0.000991498,0.0007731484,0.0003391787],"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.00006121214,0.00002740585,0.0006334328,0.000103514,0.00002873638,0.0004254094,0.001673833,0.008412669,0.002097869,0.9734995,0.0003340832,0.01270229],"study_design_scores_gemma":[0.00003169667,0.00004975594,0.0002620668,0.00005578314,0.00004161072,0.0001562422,0.0002120912,0.02699315,0.001762941,0.9654011,0.005010247,0.00002342151],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.08955528,0.000598746,0.881891,0.0008356545,0.0000836735,0.0002460821,0.0002698076,0.0008733118,0.02564653],"genre_scores_gemma":[0.7034855,0.000759091,0.2833981,0.0002467577,0.0001054106,0.0002820481,0.0006504616,0.0002565115,0.01081611],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.006941405,"threshold_uncertainty_score":0.02517569,"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."}}