{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007161926,0.0002701933,0.0002864518,0.0003195317,0.000532756,0.0006809415,0.001899958,0.0001915888,0.00002434377],"category_scores_gemma":[0.0001848698,0.0002365149,0.0001718862,0.00114749,0.00007787509,0.001328451,0.0002125144,0.0001568042,0.0002576932],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002305004,"about_ca_system_score_gemma":0.0004447384,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003052189,"about_ca_topic_score_gemma":0.0001489173,"domain_scores_codex":[0.9976544,0.000121323,0.0004676984,0.0007942052,0.0003215581,0.0006407561],"domain_scores_gemma":[0.9972907,0.0001336437,0.0002332649,0.001414583,0.0006684713,0.0002593699],"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.000002661,0.0002253706,0.0006936977,0.00004286244,0.00001466212,9.309463e-7,0.0001899879,0.00004085493,0.0001052391,0.9808416,0.006273086,0.01156905],"study_design_scores_gemma":[0.002362173,0.0005482334,0.05363083,0.00006064129,0.0001124962,0.0001752327,0.000250983,0.2522894,0.002278499,0.1044537,0.5821642,0.001673642],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002240775,0.0004445139,0.8689147,0.002465629,0.000493528,0.0006706473,0.00003426959,0.001371859,0.1233641],"genre_scores_gemma":[0.905539,0.000003603803,0.08893643,0.0002398398,0.000563982,0.0006122224,0.0001972855,0.00002898589,0.003878686],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9032982,"threshold_uncertainty_score":0.9644798,"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."}}