{"id":"W3133174645","doi":"","title":"Neural Disjunctive Normal Form: Vertically Integrating Logic With Deep Learning For Classification","year":2021,"lang":"en","type":"article","venue":"Summit (Simon Fraser University)","topic":"Explainable Artificial Intelligence (XAI)","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Interpretability; Disjunctive normal form; Artificial intelligence; Artificial neural network; Computer science; Deep learning; Conjunctive normal form; Inductive logic programming; Classifier (UML); Representation (politics); Deep neural networks; Machine learning; Theoretical computer science; Algorithm","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.001296059,0.001188524,0.0008585929,0.001176454,0.0004576654,0.001959568,0.002329896,0.001024296,0.005284436],"category_scores_gemma":[0.004126043,0.000534871,0.001121293,0.001149755,0.001383853,0.004823083,0.002040258,0.002560256,0.001533559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001406743,"about_ca_system_score_gemma":0.001608619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005025592,"about_ca_topic_score_gemma":0.007410267,"domain_scores_codex":[0.9990954,0.0001430681,0.00006626757,0.0002378348,0.0003622365,0.00009520967],"domain_scores_gemma":[0.9990356,0.0003677591,0.00008511271,0.0001780904,0.0002789996,0.00005436055],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000236077,0.0002097347,0.001273395,0.000240969,0.0000952969,0.0001539451,0.0001544262,0.1785067,0.01258936,0.08051199,0.008014818,0.7180133],"study_design_scores_gemma":[0.00001381368,0.00005054525,0.00009870105,0.0000187676,0.00001766178,0.00004629649,0.00001520374,0.9251987,0.00429159,0.06737431,0.002863339,0.00001098124],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009530384,0.0003615891,0.9849209,0.0002862684,0.00007123486,0.00008366426,0.0001181757,0.002158298,0.002469375],"genre_scores_gemma":[0.2895253,0.0005798352,0.7023479,0.0006667993,0.0001168941,0.0002266852,0.0008900401,0.0002870662,0.005359595],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005284436,"threshold_uncertainty_score":0.0176782,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02546261787081183,"score_gpt":0.2330917904819621,"score_spread":0.2076291726111502,"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."}}