{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006995244,0.000229174,0.0003089008,0.0002184373,0.0003960257,0.0001965566,0.0002852603,0.000170878,0.00001900529],"category_scores_gemma":[0.0007332826,0.0002015936,0.00008462057,0.0003648082,0.0002276831,0.0007444422,0.0003541344,0.0003602032,0.00002221518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002254965,"about_ca_system_score_gemma":0.0001031701,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006839215,"about_ca_topic_score_gemma":0.0002549356,"domain_scores_codex":[0.9983068,0.0001384784,0.0004086643,0.0006485335,0.000207202,0.0002903626],"domain_scores_gemma":[0.9983209,0.0004061357,0.0002810725,0.0005192507,0.0002417162,0.00023096],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001128633,0.000827063,0.1759011,0.0003686775,0.0002403275,0.00001938432,0.01630578,0.0001288159,0.01839177,0.4722044,0.0007180878,0.3147817],"study_design_scores_gemma":[0.005406423,0.0005311528,0.4446308,0.0004209193,0.0002581368,0.0008695327,0.004083101,0.4540498,0.02969511,0.004262291,0.05415134,0.001641435],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8328361,0.004496629,0.09323297,0.0005166858,0.001672186,0.0007110022,0.00001153072,0.0003964721,0.06612641],"genre_scores_gemma":[0.9852056,0.0003150729,0.01216087,0.00001779063,0.0002272283,0.00004488241,0.00001979542,0.00001736745,0.001991392],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4679421,"threshold_uncertainty_score":0.8220747,"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."}}