{"id":"W4385791664","doi":"10.1017/9781009258227.008","title":"Propositions and Inference","year":2023,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Explainable Artificial Intelligence (XAI)","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Generative grammar; Inference; Code (set theory); Implementation; Artificial intelligence; Data science; Software 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.00184303,0.001029165,0.0007413752,0.001708559,0.002204104,0.008247638,0.001718419,0.0017429,0.08327358],"category_scores_gemma":[0.006237983,0.0006749546,0.0009382846,0.001795784,0.00710977,0.01004823,0.002354611,0.004088575,0.02874862],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003515216,"about_ca_system_score_gemma":0.002229775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003149,"about_ca_topic_score_gemma":0.002602607,"domain_scores_codex":[0.9980276,0.0007225124,0.0001387846,0.0004913636,0.0005184623,0.0001011941],"domain_scores_gemma":[0.9982612,0.0009358161,0.00008953048,0.0002731438,0.0003793655,0.00006101455],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001006289,0.000005934092,0.00006032403,0.0001503149,0.000008358298,0.00004708967,0.0006175304,0.0002118153,0.00006804291,0.8812566,0.08353079,0.03403316],"study_design_scores_gemma":[0.000004029986,0.000005208012,0.0001015379,0.000258087,0.000005219996,0.0001035925,0.0003130727,0.000370993,0.0001020338,0.4043237,0.5944043,0.000008216044],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.001110857,0.02547853,0.07215315,0.01992365,0.004395178,0.0001024487,0.001887952,0.000817574,0.8741307],"genre_scores_gemma":[0.1102719,0.03744257,0.08864854,0.01051795,0.005753479,0.00062862,0.005287699,0.001263966,0.7401853],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.08327358,"threshold_uncertainty_score":0.2785779,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04513973933741957,"score_gpt":0.2316631950644776,"score_spread":0.1865234557270581,"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."}}