{"id":"W2293474702","doi":"10.1007/978-3-319-29510-7_5","title":"Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge","year":2016,"lang":"en","type":"book-chapter","venue":"Communications in computer and information science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Identification (biology); Construct (python library); Computer science; Normative; Domain (mathematical analysis); Domain knowledge; Body of knowledge; Domain analysis; Formal methods; Data science; Artificial intelligence; Knowledge management; Epistemology; Software engineering; Mathematics; Software development; Programming language; Software; Philosophy","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.01292307,0.0007940854,0.001399626,0.004101982,0.002858067,0.01091783,0.003479014,0.004253725,0.004882801],"category_scores_gemma":[0.02477883,0.001467078,0.002324048,0.004612446,0.01675294,0.02649034,0.009115145,0.006671854,0.001702998],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003017882,"about_ca_system_score_gemma":0.003907187,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001919619,"about_ca_topic_score_gemma":0.001627817,"domain_scores_codex":[0.9917814,0.003026046,0.001093448,0.001206883,0.002562892,0.000329259],"domain_scores_gemma":[0.9828396,0.01019388,0.0007293013,0.004206053,0.00172968,0.0003014073],"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.00001103858,0.0000155857,0.0001324063,0.000114938,0.000007470416,0.00003775836,0.002158832,0.0006998645,0.0003223488,0.9717543,0.0007422552,0.02400312],"study_design_scores_gemma":[0.000005900689,0.000007848501,0.00008219745,0.0001458946,0.000008596357,0.00005113231,0.0003604803,0.005881722,0.0005924446,0.9769116,0.01594014,0.00001206404],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00571067,0.001538223,0.9695923,0.001954336,0.0001116715,0.0000907788,0.00007636574,0.0001503164,0.02077541],"genre_scores_gemma":[0.1554819,0.002419046,0.8237108,0.0004860563,0.0002281633,0.0004622614,0.0006225411,0.0003957144,0.01619345],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01292307,"threshold_uncertainty_score":0.06834459,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05883371433470835,"score_gpt":0.375358088152116,"score_spread":0.3165243738174076,"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."}}