{"id":"W52985456","doi":"","title":"Towards an axiom system for default logic","year":2006,"lang":"en","type":"article","venue":"RWTH Publications (RWTH Aachen)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Default logic; Non-monotonic logic; Autoepistemic logic; Axiom; Mathematics; Zeroth-order logic; Dynamic logic (digital electronics); Intermediate logic; Second-order logic; Deductive reasoning; Computer science; Artificial intelligence; Multimodal logic; Theoretical computer science; Algebra over a field; Description logic; Higher-order logic; Pure mathematics","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.008571255,0.0005123863,0.0009041452,0.001999732,0.001709,0.002916106,0.002129125,0.0025785,0.004515739],"category_scores_gemma":[0.006789797,0.001004974,0.001821246,0.001397801,0.004984492,0.007982385,0.003943333,0.007173478,0.001570841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002751722,"about_ca_system_score_gemma":0.002794656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002086682,"about_ca_topic_score_gemma":0.002299321,"domain_scores_codex":[0.9965854,0.001515376,0.0003252114,0.000538987,0.0008288036,0.0002063717],"domain_scores_gemma":[0.9952928,0.002379492,0.0002070603,0.0007188043,0.001227131,0.0001746749],"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.00000903793,0.00001258511,0.0000974021,0.00004186372,0.000008599439,0.00005101789,0.0001763324,0.0009005348,0.0006720303,0.9895617,0.001832643,0.006636222],"study_design_scores_gemma":[0.00003634303,0.00001951372,0.0001004614,0.0000403661,0.00001338036,0.0000899501,0.00005218792,0.01216361,0.001286689,0.9624367,0.02374292,0.00001788714],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008122209,0.0006256942,0.9742387,0.004129171,0.0003448748,0.0001092509,0.0002792631,0.0006467853,0.01150402],"genre_scores_gemma":[0.1236379,0.0005845915,0.8675691,0.001804182,0.0003035442,0.0002600594,0.0005882204,0.0001455684,0.005106832],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008571255,"threshold_uncertainty_score":0.04532963,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02823441366545953,"score_gpt":0.2740992959510081,"score_spread":0.2458648822855485,"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."}}