{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008671384,0.0001348304,0.0001710354,0.0001048365,0.0001269335,0.0001726552,0.0008524597,0.00007065123,0.00004934217],"category_scores_gemma":[0.0005275026,0.0001129115,0.00005696179,0.0005405787,0.0001012931,0.0003289104,0.0002292991,0.000157653,0.0009806454],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002901433,"about_ca_system_score_gemma":0.00003359112,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006840188,"about_ca_topic_score_gemma":0.0001824164,"domain_scores_codex":[0.9986147,0.0001357418,0.0003267242,0.0004107076,0.0001866797,0.0003254528],"domain_scores_gemma":[0.9989839,0.0002648046,0.00006908738,0.0005206353,0.00008310391,0.00007842118],"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.000003293143,0.0000369721,0.0002198833,0.000003610479,9.668336e-7,0.000002664233,0.0009722889,0.00005383415,0.0002103328,0.6649149,0.00005697321,0.3335243],"study_design_scores_gemma":[0.00001985257,0.0001591582,0.0005962176,0.00005347914,0.000002229203,0.000005681316,0.0001332537,0.06947108,0.04176351,0.8769263,0.01060994,0.0002593022],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01894778,0.0002342251,0.9564272,0.0006160294,0.0007093106,0.0001165365,3.074809e-7,0.0001447739,0.02280381],"genre_scores_gemma":[0.994113,0.00005200029,0.005208598,0.0002371981,0.0001768321,0.000006096563,7.37753e-7,0.000006620972,0.0001989654],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9751652,"threshold_uncertainty_score":0.9997972,"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."}}