{"id":"W2741637477","doi":"10.24963/ijcai.2017/154","title":"Belief Manipulation Through Propositional Announcements","year":2017,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"British Columbia Institute of Technology","funders":"","keywords":"Undecidable problem; Decidability; Computer science; Set (abstract data type); Modal logic; Modal; Belief revision; Natural (archaeology); Mathematical economics; Artificial intelligence; Theoretical computer science; Mathematics; Programming language","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.00419291,0.0006434679,0.0005276954,0.0008858167,0.001171626,0.002844632,0.001808001,0.001149934,0.00436301],"category_scores_gemma":[0.01799946,0.0005895885,0.001015677,0.0005608356,0.003344234,0.00460248,0.003982081,0.00207638,0.0006109602],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001465818,"about_ca_system_score_gemma":0.00139533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001818148,"about_ca_topic_score_gemma":0.001809804,"domain_scores_codex":[0.996381,0.001335275,0.0002316398,0.0007155985,0.0008983588,0.0004381969],"domain_scores_gemma":[0.9883041,0.007948231,0.001145074,0.00158157,0.0006539159,0.0003671256],"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.0006522787,0.0002511636,0.003001802,0.0003644129,0.0001110793,0.000752151,0.002637309,0.04821721,0.02655629,0.7905927,0.004436527,0.122427],"study_design_scores_gemma":[0.0001592663,0.000167561,0.0008625354,0.00009670875,0.0001518659,0.0002270737,0.0003873291,0.472656,0.03602237,0.4661161,0.0230639,0.00008934327],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06168793,0.0001875336,0.920876,0.001054552,0.00008795777,0.0001416027,0.0001526267,0.003782766,0.01202917],"genre_scores_gemma":[0.769725,0.0002092423,0.2238941,0.0002732414,0.00007556883,0.0002381329,0.0001907807,0.0002862831,0.00510777],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00436301,"threshold_uncertainty_score":0.02217448,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04429722583284479,"score_gpt":0.2979485658981614,"score_spread":0.2536513400653166,"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."}}