{"id":"W2028246200","doi":"10.1016/s0004-3702(03)00111-5","title":"A consistency-based approach for belief change","year":2003,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":64,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Belief revision; Disjoint sets; Computer science; Knowledge base; Sentence; Consistency (knowledge bases); Theoretical computer science; Implementation; Artificial intelligence; Natural language processing; Programming language; Mathematics; Discrete mathematics","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.0005737065,0.0001844667,0.0002031213,0.00009690876,0.0002783007,0.0001604101,0.0006882597,0.00009495104,0.00003250769],"category_scores_gemma":[0.0003930659,0.000165682,0.0001421376,0.0004655912,0.0001282897,0.0002409362,0.00005586268,0.0001065496,0.0001588287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003647694,"about_ca_system_score_gemma":0.0001512776,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002998464,"about_ca_topic_score_gemma":0.00003131649,"domain_scores_codex":[0.9984038,0.00008486493,0.000312435,0.0005477384,0.0001874262,0.0004637586],"domain_scores_gemma":[0.9987915,0.0002261914,0.00009478709,0.0005512748,0.0002017742,0.0001345362],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007052035,0.0002098026,0.00009802264,0.0000205347,0.000006919384,0.000002885166,0.0007845825,0.0001002559,0.0002202063,0.9435861,0.0001685015,0.05479521],"study_design_scores_gemma":[0.0001328509,0.0005457199,0.00007769981,0.00003398783,0.00002709263,0.00002164997,0.0004194283,0.5455819,0.1546405,0.2679626,0.02969837,0.0008581789],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004246388,0.0003877113,0.9783598,0.000241456,0.0005476163,0.0005328815,0.000003361841,0.0001741514,0.01932839],"genre_scores_gemma":[0.8480442,0.0000077111,0.1506854,0.0006821096,0.0001347263,0.0002575288,0.000004617939,0.00001233508,0.0001713298],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8476196,"threshold_uncertainty_score":0.6756317,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1367035714510194,"score_gpt":0.3043874597105095,"score_spread":0.1676838882594901,"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."}}