{"id":"W2118078906","doi":"10.1142/s0218213001000623","title":"EFFICIENT DEFEASIBLE REASONING SYSTEMS","year":2001,"lang":"en","type":"article","venue":"International Journal of Artificial Intelligence Tools","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":120,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Australian Research Council; Griffith University","keywords":"Defeasible estate; Forward chaining; Computer science; Non-monotonic logic; Defeasible reasoning; Backward chaining; Chaining; Logic programming; Simplicity; Description logic; Monotonic function; Theoretical computer science; Artificial intelligence; Programming language; Inference engine; Expert system; 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.00291019,0.0008781127,0.001135269,0.00137643,0.001469885,0.004006876,0.002140418,0.002078911,0.01338529],"category_scores_gemma":[0.01076216,0.000817623,0.0008590835,0.0015871,0.001136232,0.004478501,0.003047195,0.001511803,0.004019896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001147247,"about_ca_system_score_gemma":0.001452805,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001400917,"about_ca_topic_score_gemma":0.001654634,"domain_scores_codex":[0.9967996,0.0008452779,0.0003171628,0.000483449,0.00135602,0.0001984722],"domain_scores_gemma":[0.9961216,0.001953145,0.0002179239,0.001000499,0.0006141736,0.00009269169],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005279946,0.0003813287,0.001268337,0.0009426072,0.0002028513,0.0005734186,0.0007266694,0.1358282,0.0139614,0.4842045,0.02111797,0.3402648],"study_design_scores_gemma":[0.0002719504,0.00008285108,0.0003300333,0.0001001253,0.00009737519,0.0003425045,0.000185919,0.5491797,0.01099335,0.3590887,0.0792885,0.00003895032],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02165374,0.001244849,0.9498628,0.001052165,0.0001318635,0.0004952455,0.0006905249,0.003318986,0.02154978],"genre_scores_gemma":[0.2468927,0.001449595,0.7337188,0.0004465225,0.0001157028,0.000525384,0.00234122,0.0003421567,0.01416783],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01338529,"threshold_uncertainty_score":0.04477829,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06739144958469796,"score_gpt":0.3207842718029209,"score_spread":0.2533928222182229,"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."}}