{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009563467,0.001214386,0.001296183,0.003285178,0.001991433,0.005619117,0.003892943,0.00300641,0.004375692],"category_scores_gemma":[0.01015665,0.001481837,0.004106012,0.002534751,0.006014925,0.01401969,0.006037166,0.005589756,0.0007391495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003409895,"about_ca_system_score_gemma":0.001931607,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003873052,"about_ca_topic_score_gemma":0.005212238,"domain_scores_codex":[0.9921169,0.002617252,0.001107844,0.001210815,0.0023065,0.0006407389],"domain_scores_gemma":[0.9929583,0.004145175,0.0006048471,0.001387427,0.000601489,0.0003027983],"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.0001161136,0.00009737886,0.000914529,0.0002223549,0.0001259029,0.0004447961,0.001023909,0.02517955,0.002506949,0.9343417,0.001978415,0.03304847],"study_design_scores_gemma":[0.00004504354,0.00002957049,0.0001225695,0.00004939319,0.00006485174,0.0001296592,0.0001167666,0.03828916,0.002656155,0.9532627,0.005199869,0.00003430734],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01403743,0.0003243326,0.97799,0.000785508,0.00006082276,0.0001271805,0.0002724986,0.000662944,0.005739379],"genre_scores_gemma":[0.2101911,0.0005858681,0.7834145,0.0008668079,0.0001799664,0.0003762105,0.0008607402,0.0001155241,0.0034093],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009563467,"threshold_uncertainty_score":0.05057704,"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."}}