{"id":"W2156474728","doi":"10.1016/j.artint.2014.08.006","title":"Belief revision in Horn theories","year":2014,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":51,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Belief revision; French horn; Horn clause; Iterated function; Mathematics; Representation (politics); Inference; Relevance (law); Logic programming; Algorithm; Computer science; Algebra over a field; Artificial intelligence; Pure mathematics","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.008801711,0.0005867886,0.00127665,0.002205256,0.001555894,0.005495979,0.00173275,0.001834712,0.005962371],"category_scores_gemma":[0.0351727,0.0007901374,0.001495997,0.002270331,0.005247218,0.009843514,0.002734897,0.00522873,0.0005395174],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002598124,"about_ca_system_score_gemma":0.001470356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002882051,"about_ca_topic_score_gemma":0.002336795,"domain_scores_codex":[0.9932967,0.00399704,0.0003373627,0.0005149959,0.001419791,0.0004341811],"domain_scores_gemma":[0.9657894,0.02829128,0.001134645,0.00200516,0.002226246,0.0005532943],"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.00008825691,0.00003520092,0.0003884692,0.00009122781,0.00004424128,0.00006669546,0.0003452641,0.003334026,0.0001778137,0.979391,0.001491375,0.01454649],"study_design_scores_gemma":[0.00001545072,0.000006361187,0.00007028349,0.00001472989,0.00001184337,0.00001772204,0.0000342,0.01068662,0.00007397014,0.9885649,0.0004985813,0.000005306143],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09423985,0.007443486,0.8247896,0.009853581,0.0004508373,0.0001433512,0.0003881098,0.0004083243,0.06228301],"genre_scores_gemma":[0.8808833,0.002269973,0.1027786,0.0009668835,0.0007782612,0.0001869798,0.0004729886,0.00008882476,0.01157418],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008801711,"threshold_uncertainty_score":0.04654849,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02850185044916365,"score_gpt":0.2806735463121939,"score_spread":0.2521716958630302,"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."}}