{"id":"W4253372947","doi":"10.1093/logcom/13.1.3","title":"Controlled Revision - An algorithmic approach for belief revision","year":2003,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Belief revision; Library science; Operations research; Artificial intelligence; Mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0136253,0.001436117,0.001923045,0.002884113,0.00189827,0.006810153,0.004946152,0.002336157,0.009506044],"category_scores_gemma":[0.03589747,0.0008399095,0.003333683,0.002292755,0.006395392,0.006980656,0.004724975,0.004135537,0.001218143],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002852278,"about_ca_system_score_gemma":0.003391034,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002839869,"about_ca_topic_score_gemma":0.004107133,"domain_scores_codex":[0.9865204,0.007714651,0.0007996047,0.001638421,0.002804628,0.000522376],"domain_scores_gemma":[0.9734706,0.01897545,0.001151388,0.00347904,0.002391188,0.000532445],"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.0000603702,0.00003227935,0.000223108,0.0001760445,0.0001021894,0.00008171391,0.0003627363,0.01419848,0.000300778,0.9530594,0.001717831,0.02968508],"study_design_scores_gemma":[0.00006657843,0.00004406345,0.00005373545,0.00005001435,0.00003811017,0.00005107492,0.00005206858,0.06357712,0.0002984985,0.9315894,0.004153207,0.00002623046],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003226007,0.0007994525,0.9846606,0.001293103,0.0001708646,0.0001868657,0.0000907482,0.0002751551,0.009297237],"genre_scores_gemma":[0.3149956,0.0012035,0.669252,0.0006101002,0.0007397103,0.0009566667,0.0003189689,0.0001758924,0.01174751],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0136253,"threshold_uncertainty_score":0.07205838,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02937672585649816,"score_gpt":0.2915116737347467,"score_spread":0.2621349478782486,"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."}}