{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005024411,0.00005472709,0.000101646,0.00003437079,0.0001265078,0.00007727664,0.003471039,0.00002874648,0.00002631929],"category_scores_gemma":[0.0007213285,0.0000273438,0.0001193175,0.000160819,0.00004087528,0.0002215341,0.0009857694,0.0001297566,0.00007903373],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000271375,"about_ca_system_score_gemma":0.00005703156,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000194138,"about_ca_topic_score_gemma":0.000001481108,"domain_scores_codex":[0.9993435,0.00006638168,0.0001805493,0.0000740886,0.0002151208,0.0001204286],"domain_scores_gemma":[0.998589,0.00004067285,0.0002264649,0.0008894466,0.0001979755,0.0000564034],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000346994,0.0001856271,0.006448724,0.00001541649,0.00007627418,0.00004543101,0.003744341,0.00002412161,0.01255618,0.05363305,0.7419167,0.1813194],"study_design_scores_gemma":[0.001121678,0.001106377,0.05193427,0.0002720125,0.00004188706,0.001251367,0.00002697725,0.004998907,0.02925758,0.1606781,0.748996,0.0003149214],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8545122,0.002601562,0.07451414,0.02677074,0.01057234,0.0001395106,5.165001e-7,0.00005369839,0.03083535],"genre_scores_gemma":[0.9290982,0.00007865056,0.06387637,0.001180573,0.002812917,1.542582e-7,2.637573e-8,0.000005490389,0.002947576],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1810045,"threshold_uncertainty_score":0.6450112,"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."}}