{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01770621,0.001186355,0.002131686,0.005204651,0.002847389,0.006812986,0.008307878,0.00411925,0.009142019],"category_scores_gemma":[0.08936248,0.001552993,0.003718962,0.004351845,0.005889262,0.01575249,0.007287501,0.007967616,0.001228988],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003263163,"about_ca_system_score_gemma":0.003115439,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006081798,"about_ca_topic_score_gemma":0.004518935,"domain_scores_codex":[0.9841684,0.006309347,0.001231142,0.002817524,0.004816711,0.0006569464],"domain_scores_gemma":[0.9451798,0.03595665,0.002387314,0.00762437,0.007878754,0.0009731181],"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.0002019824,0.0001206815,0.001394945,0.0002455915,0.0002212955,0.0002311905,0.0009242716,0.03072325,0.0008645958,0.8603473,0.003769603,0.1009552],"study_design_scores_gemma":[0.00005997795,0.00005800791,0.0002957792,0.00006693595,0.0001160316,0.0001560674,0.0001345727,0.1663766,0.0008993591,0.8271624,0.004627333,0.00004688685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002806726,0.0003469821,0.9898303,0.001455066,0.0001389134,0.0001232004,0.0001299214,0.0002195343,0.004949295],"genre_scores_gemma":[0.2859944,0.000548853,0.7050334,0.0008995656,0.0006602246,0.0006336785,0.0005851526,0.0002253663,0.005419369],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01770621,"threshold_uncertainty_score":0.09364057,"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."}}