{"id":"W2890178860","doi":"10.1145/3203409","title":"General Belief Revision","year":2018,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Belief revision; Iterated function; Possible world; Propositional calculus; Classical logic; Computer science; Representation (politics); Literal (mathematical logic); Mathematics; Artificial intelligence; Algorithm; Programming language; Epistemology; Philosophy","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.006996895,0.001390449,0.001415234,0.001788222,0.001384955,0.004298022,0.002683271,0.003413687,0.007879599],"category_scores_gemma":[0.01443082,0.0005287323,0.001713001,0.001709344,0.00656092,0.005819002,0.003238657,0.004414472,0.001629757],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004288345,"about_ca_system_score_gemma":0.001705563,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001941329,"about_ca_topic_score_gemma":0.001337744,"domain_scores_codex":[0.9927856,0.003427921,0.0004526067,0.001387411,0.001611326,0.0003352689],"domain_scores_gemma":[0.9936578,0.003544656,0.0004006772,0.001198801,0.0009952438,0.0002028361],"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.00001237499,0.000008797982,0.00008828689,0.0001216266,0.0000351496,0.0000459688,0.0001768972,0.002079121,0.00007729862,0.9843107,0.002478799,0.01056493],"study_design_scores_gemma":[0.00001374488,0.000009364106,0.0000450157,0.00003049673,0.000008048794,0.00005159983,0.00002142897,0.003051996,0.00003819329,0.9902762,0.006447255,0.000006701242],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01065432,0.02025572,0.7652341,0.02056924,0.00127657,0.0003467506,0.0007635992,0.0005765192,0.1803231],"genre_scores_gemma":[0.7613434,0.01225531,0.1814862,0.006173803,0.003402886,0.001008764,0.000949158,0.0001616522,0.0332188],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007879599,"threshold_uncertainty_score":0.03700358,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02115725974050229,"score_gpt":0.2720268880641111,"score_spread":0.2508696283236088,"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."}}