{"id":"W48296306","doi":"","title":"A logic of limited belief for reasoning with disjunctive information","year":2004,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Computer science; Belief revision; Deductive reasoning; Propositional calculus; Non-monotonic logic; Circumscription; Artificial intelligence; Theoretical computer science; Propositional variable; Point (geometry); Description logic; Mathematics; Intermediate logic; Programming language","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.0001354001,0.00009184353,0.0001248906,0.00007742365,0.00007656135,0.00005659657,0.0002812515,0.00004173636,0.000004259606],"category_scores_gemma":[0.0000999336,0.00005894625,0.00004298971,0.0003034574,0.00003602962,0.0009040363,0.00006871615,0.00004500122,0.00001746323],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004076216,"about_ca_system_score_gemma":0.00009223509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004152672,"about_ca_topic_score_gemma":0.00003229254,"domain_scores_codex":[0.9994045,0.000009275007,0.0001535695,0.0001313821,0.0001280147,0.0001732566],"domain_scores_gemma":[0.999327,0.00005619175,0.0001160693,0.0002170732,0.0002356975,0.00004798678],"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.00003043444,0.00006075196,0.0004350765,0.00002155795,0.00001755699,6.222996e-7,0.002770744,0.0005422175,0.0000430352,0.9876826,0.0001169313,0.008278497],"study_design_scores_gemma":[0.02968003,0.01661507,0.1244461,0.001160067,0.0002125981,0.000265639,0.00476224,0.2245537,0.0812865,0.481684,0.03185679,0.003477233],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01069837,0.00002659225,0.9501994,0.0002066816,0.00006771793,0.0002382458,0.000001350856,0.0001148416,0.03844681],"genre_scores_gemma":[0.8355111,0.000003612722,0.1640579,0.0002157507,0.00001931705,0.00002799208,0.000006385377,0.000002923213,0.0001549709],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8248128,"threshold_uncertainty_score":0.2403758,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01082845824561084,"score_gpt":0.2206466398951868,"score_spread":0.2098181816495759,"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."}}