{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008933154,0.0006474479,0.0006422584,0.001842293,0.001192356,0.00274366,0.001829229,0.001789492,0.0048373],"category_scores_gemma":[0.02665304,0.0004309959,0.001365254,0.001498283,0.004653509,0.009771351,0.0033181,0.003957185,0.0006208899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002043002,"about_ca_system_score_gemma":0.0008753605,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009080942,"about_ca_topic_score_gemma":0.0004476694,"domain_scores_codex":[0.9962066,0.00172043,0.0002018077,0.0005398428,0.0009638346,0.0003674293],"domain_scores_gemma":[0.9829789,0.01210698,0.0008554764,0.001862328,0.001700114,0.0004961599],"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.00007577524,0.0000315534,0.000606731,0.00005244003,0.00001988064,0.0001088344,0.0005063386,0.004560354,0.001006449,0.9607735,0.00103092,0.03122725],"study_design_scores_gemma":[0.00002547229,0.00003847247,0.0003392037,0.00002761165,0.00002326802,0.0001592951,0.0001548441,0.06866537,0.001822387,0.9237643,0.004960454,0.00001927179],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04738276,0.000662175,0.9241056,0.00262783,0.00009038796,0.0001203745,0.0001141194,0.0004580077,0.0244388],"genre_scores_gemma":[0.7773765,0.0005994977,0.2095754,0.001058281,0.0002851427,0.0003654185,0.000252835,0.0002504792,0.01023644],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008933154,"threshold_uncertainty_score":0.0472436,"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."}}