{"id":"W2400452393","doi":"","title":"Kernel contraction and base dependence: redundancy in the base resulting in different types of dependence","year":2015,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta; Simon Fraser University","funders":"","keywords":"Belief revision; Contraction (grammar); Knowledge base; Redundancy (engineering); Computer science; Mathematics; Base (topology); Theoretical computer science; Artificial intelligence","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.003789353,0.0006180945,0.000794986,0.001797479,0.0009431119,0.002064328,0.001915351,0.001194815,0.00523785],"category_scores_gemma":[0.02492327,0.0006310597,0.001300239,0.001536577,0.004289827,0.007401431,0.004522988,0.002297306,0.0005036257],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001286358,"about_ca_system_score_gemma":0.0008210533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00112386,"about_ca_topic_score_gemma":0.0007576355,"domain_scores_codex":[0.9965049,0.000814579,0.0002822615,0.0006493997,0.001322849,0.0004260069],"domain_scores_gemma":[0.9770134,0.01224134,0.001664681,0.00598286,0.002419517,0.0006781984],"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.0004927028,0.000145722,0.008206409,0.0004360437,0.0001048239,0.001046012,0.003808438,0.01254593,0.01587502,0.8671274,0.001756837,0.08845472],"study_design_scores_gemma":[0.00005080238,0.0001614367,0.00599057,0.00008943203,0.0001198607,0.001356552,0.0007220861,0.1044593,0.01129955,0.8702101,0.005466959,0.00007334572],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2303271,0.0005319921,0.746235,0.0009422404,0.00006328226,0.0001277966,0.0003096856,0.0005222844,0.02094055],"genre_scores_gemma":[0.9084162,0.0002207157,0.08632834,0.00019731,0.00005780282,0.0001443968,0.0003008073,0.0001821359,0.004152322],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00523785,"threshold_uncertainty_score":0.02004021,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03795989307581698,"score_gpt":0.2716025185068079,"score_spread":0.2336426254309909,"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."}}