{"id":"W2561059964","doi":"10.1007/978-1-4020-2808-3_16","title":"Belief Contraction, Anti-Formulae and Resource Overdraft:Part II Deletion In Resource Unbounded Logics","year":2009,"lang":"en","type":"book-chapter","venue":"Logic, epistemology, and the unity of science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Object (grammar); Resource (disambiguation); Computer science; Overdraft; Theoretical computer science; Bounded function; Algorithm; Mathematics; Artificial intelligence; Computer security; Computer network","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.006076217,0.0006003323,0.001174027,0.001178934,0.002174881,0.006106489,0.003677299,0.002467706,0.006452858],"category_scores_gemma":[0.01585378,0.0009100158,0.001636617,0.002413107,0.0119647,0.02139184,0.004896116,0.008331341,0.0007424583],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003349965,"about_ca_system_score_gemma":0.002441121,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002519887,"about_ca_topic_score_gemma":0.001380001,"domain_scores_codex":[0.9958631,0.001743694,0.0003058535,0.0006592853,0.0009902659,0.0004379282],"domain_scores_gemma":[0.9882601,0.008331299,0.0005266998,0.001833323,0.0008311517,0.0002173223],"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.00001874099,0.000009029794,0.00008254455,0.00003336116,0.000004776831,0.00003898745,0.0005787678,0.0006842636,0.0002486891,0.9924912,0.0006414253,0.005168184],"study_design_scores_gemma":[0.000007968491,0.000006881181,0.0000638498,0.00002403973,0.000009834603,0.00005427143,0.0001616725,0.00337598,0.0004892764,0.9913748,0.00442308,0.000008492944],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06365035,0.00391935,0.7715462,0.01051854,0.0004494082,0.0001827332,0.0002818339,0.0004036707,0.1490479],"genre_scores_gemma":[0.8231902,0.00216412,0.1286646,0.001787911,0.0005976682,0.0005890622,0.0004085055,0.0005104725,0.04208764],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006452858,"threshold_uncertainty_score":0.03213447,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01828526491901435,"score_gpt":0.2323821108294633,"score_spread":0.2140968459104489,"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."}}