{"id":"W2549873718","doi":"10.1109/fuzz-ieee.2016.7737809","title":"Validation and implementation of fuzzy models using FML-based specifications","year":2016,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Soundness; XML; Software engineering; Programming language; Specification language; Fuzzy logic; Formal specification; Completeness (order theory); Schema (genetic algorithms); Markup language; Data mining; Database; Artificial intelligence; Information retrieval; World Wide Web","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.01057826,0.0007673626,0.0006422446,0.00155245,0.0008946263,0.003377025,0.002467158,0.001731294,0.002260297],"category_scores_gemma":[0.02607599,0.0006156405,0.001564659,0.0006310868,0.002020722,0.002775668,0.001769004,0.001831101,0.0007171093],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002085827,"about_ca_system_score_gemma":0.00314783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004075681,"about_ca_topic_score_gemma":0.003311628,"domain_scores_codex":[0.9890155,0.004528278,0.001148049,0.0006214438,0.004310543,0.0003761948],"domain_scores_gemma":[0.9834705,0.009401113,0.0009795218,0.003446947,0.002595003,0.0001069488],"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.0001949101,0.0002794943,0.001757426,0.0008423849,0.0001469942,0.0008493239,0.002608522,0.2690579,0.03012302,0.5314739,0.00296039,0.1597057],"study_design_scores_gemma":[0.000112652,0.0001774869,0.000399939,0.0004935231,0.00008334646,0.0002948738,0.0003023824,0.8085879,0.05328723,0.1037934,0.03236717,0.0001000591],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005349571,0.00004464386,0.9914392,0.0001367547,0.00002648267,0.0001350747,0.00009186204,0.0008026705,0.001973775],"genre_scores_gemma":[0.1128936,0.0001979714,0.8838493,0.0001435576,0.00002326358,0.000506453,0.0005447764,0.0003070628,0.001533953],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01057826,"threshold_uncertainty_score":0.05594385,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06909484813661415,"score_gpt":0.2975300504228063,"score_spread":0.2284352022861922,"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."}}