{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts"],"consensus_categories":["sts"],"category_scores_codex":[0.004495389,0.0004520489,0.0008902624,0.0004448741,0.001447716,0.0001893584,0.001626203,0.0004948519,0.00001205886],"category_scores_gemma":[0.0006008424,0.0003173571,0.0001189248,0.0003836571,0.008919761,0.0004342836,0.0009618786,0.0008224663,0.000006908374],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001224918,"about_ca_system_score_gemma":0.0002262325,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000130482,"about_ca_topic_score_gemma":0.0001382727,"domain_scores_codex":[0.9968768,0.0002526301,0.0007203661,0.001005663,0.0005370888,0.0006074609],"domain_scores_gemma":[0.9971172,0.0007075291,0.0007578218,0.000906068,0.0003137599,0.0001976143],"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.00006875693,0.00006500561,0.0001149354,0.00003809579,0.00001319252,0.0000244879,0.0009913376,0.00002768608,0.00005648134,0.9893998,0.0003406161,0.008859584],"study_design_scores_gemma":[0.002504474,0.000874269,0.007638341,0.0003026086,0.00005982084,0.0006954671,0.0001905693,0.002663999,0.0001180409,0.7395007,0.2446897,0.0007620543],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02019459,0.00534211,0.00452984,0.005520802,0.0005721576,0.001108807,0.00001569065,0.0001839719,0.962532],"genre_scores_gemma":[0.8985384,0.002870328,0.002624499,0.003701936,0.000288441,0.00001239971,0.00002093361,0.00003035563,0.09191271],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8783438,"threshold_uncertainty_score":0.9999279,"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."}}