{"id":"W2054098217","doi":"10.1111/j.0824-7935.2004.t01-1-00230.x","title":"Reasoning with Sets of Defaults in Default Logic","year":2004,"lang":"en","type":"article","venue":"Computational Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Default logic; Default; Default rule; Computer science; Non-monotonic logic; Extension (predicate logic); Set (abstract data type); Artificial intelligence; Theoretical computer science; Autoepistemic logic; Description logic; Programming language; Economics; Multimodal logic; Finance","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.0002450655,0.0001552291,0.0001982865,0.0001624311,0.00006675858,0.00005212523,0.0007014964,0.00005914174,0.00001071457],"category_scores_gemma":[0.000127033,0.0001282491,0.00004769771,0.0007682072,0.0001221664,0.0003069715,0.0001415044,0.0001512472,0.00007768399],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009193399,"about_ca_system_score_gemma":0.0002619643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001020314,"about_ca_topic_score_gemma":0.00009929652,"domain_scores_codex":[0.9986472,0.00004364251,0.0003268284,0.0003920914,0.0003290488,0.0002612344],"domain_scores_gemma":[0.9990339,0.0002234705,0.0001469065,0.0002436765,0.0002724479,0.00007962018],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001145886,0.0001041667,0.002403916,0.00001440451,0.000007488559,0.00003788319,0.001234091,0.5210891,0.00001381127,0.4657516,0.00001042551,0.009321696],"study_design_scores_gemma":[0.0005410131,0.0004129903,0.04672338,0.0003918014,0.00000660215,0.0002094625,0.0001855418,0.3031855,0.003985405,0.6438032,0.00009612226,0.0004589674],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06296974,0.0003113509,0.9321759,0.0001733812,0.0001053416,0.0001276426,0.000001423862,0.00007191627,0.004063298],"genre_scores_gemma":[0.8064862,0.000009679643,0.1933373,0.0001095829,0.00001440188,0.000008306918,0.000004916059,0.00000596977,0.00002357967],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7435165,"threshold_uncertainty_score":0.5229846,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02536463840298186,"score_gpt":0.2859904590066911,"score_spread":0.2606258206037093,"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."}}