{"id":"W1604488814","doi":"","title":"Iterated belief contraction from first principles","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Iterated function; Contraction (grammar); Lexicographical order; Belief revision; Mathematics; Contraction mapping; Computer science; Mathematical economics; Algorithm; Discrete mathematics; Artificial intelligence; Combinatorics; Philosophy","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.0002588551,0.00009574346,0.0001006374,0.00004974356,0.0001387497,0.0001538936,0.0003554059,0.00006890573,0.0001492983],"category_scores_gemma":[0.00006244194,0.00007408633,0.00003943349,0.0001947771,0.00001903132,0.0003627774,0.00009567282,0.00008607276,0.0004004145],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004081912,"about_ca_system_score_gemma":0.00002491292,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002530706,"about_ca_topic_score_gemma":0.001021237,"domain_scores_codex":[0.9991726,0.00001574927,0.0001740247,0.0002688938,0.0001334602,0.0002352181],"domain_scores_gemma":[0.999283,0.0001878511,0.00005890166,0.000289528,0.00008681766,0.00009394129],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005092063,0.0005892182,0.05278246,0.00001440745,0.00009166497,0.0001556986,0.004777241,0.000137107,0.004316571,0.8512015,0.008682096,0.07720115],"study_design_scores_gemma":[0.001224187,0.0001567063,0.3956239,0.00003740034,0.00001202088,0.00002576874,0.00008186713,0.09537456,0.02835119,0.005681001,0.4728874,0.0005440045],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08717972,0.0001659663,0.7441723,0.0003141155,0.0007144298,0.00009621044,0.000001097498,0.0003890728,0.1669671],"genre_scores_gemma":[0.9817957,0.00001245198,0.01387053,0.0002836897,0.0001919436,0.000002475108,0.000005708977,0.000004525454,0.003832927],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.894616,"threshold_uncertainty_score":0.5146652,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02130776953435058,"score_gpt":0.2400043263602015,"score_spread":0.2186965568258509,"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."}}