{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001488549,0.0001815514,0.0001773368,0.0001726517,0.0004839207,0.0001834392,0.0006228713,0.00009169572,0.00002395015],"category_scores_gemma":[0.0002099996,0.0001757301,0.00009617078,0.001102106,0.0000977008,0.001422254,0.0002113766,0.000293892,0.00003284423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001901281,"about_ca_system_score_gemma":0.0001373001,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004692881,"about_ca_topic_score_gemma":0.01264115,"domain_scores_codex":[0.998493,0.0001215817,0.0001724547,0.000546425,0.0002275579,0.0004390388],"domain_scores_gemma":[0.9986094,0.0002610958,0.0001075695,0.0003605415,0.0005207459,0.0001406002],"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.0004023915,0.0003111606,0.19199,0.00006489941,0.0001230536,0.000643751,0.0007953936,0.009837795,0.001039282,0.7057168,0.000441667,0.08863382],"study_design_scores_gemma":[0.0007567268,0.0007690419,0.002535614,0.00005741099,0.00007052191,2.207814e-7,0.06380618,0.8798648,0.02418828,0.00361931,0.02368902,0.0006428534],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0892267,0.00002407408,0.9032725,0.0007480203,0.0001391501,0.0002041247,0.000001560463,0.0001751066,0.006208724],"genre_scores_gemma":[0.9794568,0.000009780833,0.0190162,0.0001921493,0.00004074032,0.000003916659,0.00002194879,0.00001332186,0.00124516],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8902301,"threshold_uncertainty_score":0.7166064,"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."}}