{"id":"W2166645709","doi":"","title":"Horn clause contraction functions: belief set and belief base approaches","year":2010,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Contraction (grammar); Horn clause; Propositional calculus; French horn; Belief revision; Mathematics; Computer science; Algorithm; Artificial intelligence; Discrete mathematics; Logic programming; Linguistics; Psychology","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.01129266,0.0008497357,0.0009407327,0.002898495,0.001148344,0.003533276,0.003349558,0.002001548,0.005469472],"category_scores_gemma":[0.01863846,0.0005450394,0.001708594,0.002757274,0.00541457,0.01062364,0.003540126,0.004684374,0.0008746114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003073796,"about_ca_system_score_gemma":0.001503439,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002192415,"about_ca_topic_score_gemma":0.001227148,"domain_scores_codex":[0.9936584,0.003145118,0.0003064795,0.0006366819,0.001880586,0.0003728851],"domain_scores_gemma":[0.9889305,0.007838587,0.0004350895,0.001206583,0.001274864,0.000314282],"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.00002801872,0.00002430161,0.0001383669,0.0000591531,0.00001972062,0.00002947019,0.0003694859,0.006460304,0.0002598295,0.9670023,0.0006082563,0.02500067],"study_design_scores_gemma":[0.00001808332,0.00003321058,0.0001178735,0.00005198322,0.00002206604,0.00004826571,0.0001617083,0.0564216,0.0007949543,0.936565,0.005749087,0.0000162044],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005739462,0.0008330258,0.9784244,0.001460363,0.00005146491,0.00008284447,0.00007180183,0.0001179856,0.01321861],"genre_scores_gemma":[0.4452514,0.001950527,0.5374988,0.001164569,0.0004345736,0.0007986844,0.0003980719,0.0001698661,0.01233347],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01129266,"threshold_uncertainty_score":0.05972207,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0617395922315109,"score_gpt":0.2860782928732976,"score_spread":0.2243387006417867,"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."}}