{"id":"W3041899234","doi":"10.1109/itsc45102.2020.9294213","title":"Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case","year":2020,"lang":"en","type":"preprint","venue":"","topic":"Explainable Artificial Intelligence (XAI)","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Air Force Office of Scientific Research; Office of Naval Research; Division of Electrical, Communications and Cyber Systems; Advanced Research Projects Agency; National Institutes of Health; National Science Foundation","keywords":"Controller (irrigation); Computer science; State (computer science); Black box; Representation (politics); Control (management); Traffic signal; Intelligent transportation system; Action (physics); Real-time computing; Control engineering; Artificial intelligence; Transport engineering; Engineering; Programming language","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.001569338,0.000424966,0.0004222168,0.0006371077,0.0005604439,0.001350447,0.0007234128,0.0008541836,0.001488782],"category_scores_gemma":[0.009294843,0.0003908769,0.001198087,0.0005537313,0.002292307,0.001923269,0.001704945,0.001233792,0.00007583349],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001041466,"about_ca_system_score_gemma":0.0007513404,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007444796,"about_ca_topic_score_gemma":0.005113543,"domain_scores_codex":[0.9986356,0.000653512,0.00007960494,0.0002323235,0.0002591288,0.0001397722],"domain_scores_gemma":[0.9885991,0.009225774,0.0005721749,0.001196925,0.0002841719,0.0001219146],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000251394,0.0001932238,0.006405282,0.0001422828,0.0001054708,0.002251405,0.002337611,0.7795269,0.003962441,0.161785,0.00073035,0.04230852],"study_design_scores_gemma":[0.00003935306,0.00004951538,0.001144939,0.00002176124,0.0000482994,0.0001173079,0.0001507507,0.9155222,0.003209956,0.07846044,0.001217668,0.00001779922],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.3328689,0.0001245011,0.6601701,0.0008799233,0.00001212905,0.0001224984,0.0002911174,0.001314978,0.004215815],"genre_scores_gemma":[0.9340329,0.0000576953,0.06489454,0.00005140181,0.00001102585,0.00007612629,0.0002307872,0.00007017123,0.000575282],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007444796,"threshold_uncertainty_score":0.01480293,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1011619418833305,"score_gpt":0.3258268616807003,"score_spread":0.2246649197973697,"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."}}