{"id":"W147223905","doi":"","title":"Horn clause belief change: contraction functions","year":2008,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Negation; Contraction (grammar); Horn clause; Propositional calculus; Belief revision; Negation as failure; Mathematics; Computer science; Mathematical economics; Autoepistemic logic; Logic programming; Artificial intelligence; Linguistics; Programming language; Multimodal logic; Description logic; Philosophy","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00008946806,0.00009751052,0.0001012727,0.00007108213,0.0003121568,0.00005150011,0.000270725,0.000066736,0.0001426698],"category_scores_gemma":[0.00002975974,0.00007835591,0.00005936512,0.0002662021,0.00003893749,0.0006278942,0.00008044446,0.0001132994,0.001273089],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003528287,"about_ca_system_score_gemma":0.00003836305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001554829,"about_ca_topic_score_gemma":0.0001315671,"domain_scores_codex":[0.9992284,0.00002931288,0.0001132642,0.0002620487,0.0001393398,0.0002276296],"domain_scores_gemma":[0.9993693,0.0000495111,0.00004226323,0.000344486,0.00009403738,0.0001004013],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000312062,0.0011954,0.02694252,0.00002077127,0.0001137525,0.0001868014,0.007633639,0.00002025206,0.00269638,0.4283653,0.3574057,0.1753884],"study_design_scores_gemma":[0.001450742,0.000475272,0.2015926,0.00001517142,0.00002346998,0.0005525803,0.0001310431,0.018862,0.002731559,0.002467246,0.7709844,0.0007139111],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03225137,0.0005014681,0.7180488,0.00167237,0.003264706,0.000280277,0.000001436596,0.001013377,0.2429662],"genre_scores_gemma":[0.9729137,0.0001167079,0.003002829,0.0006956929,0.0004933004,0.00003934398,0.000002596215,0.000006295789,0.02272951],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9406623,"threshold_uncertainty_score":0.9995045,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05277720679870552,"score_gpt":0.2500500253080686,"score_spread":0.1972728185093631,"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."}}