{"id":"W2893154303","doi":"10.1007/978-3-030-01042-3_9","title":"An Arithmetic Semantics for GRL Goal Models with Function Generation","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Programming language; Python (programming language); Model transformation; Software engineering; Artificial intelligence; Consistency (knowledge bases)","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.001783487,0.001234873,0.0007125893,0.001504982,0.001115245,0.004386666,0.002686098,0.001523611,0.01040578],"category_scores_gemma":[0.003447077,0.0008731725,0.001994873,0.00146681,0.003435116,0.007593286,0.00359873,0.003836312,0.003462318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002086421,"about_ca_system_score_gemma":0.001281546,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00197764,"about_ca_topic_score_gemma":0.002065082,"domain_scores_codex":[0.9981701,0.0004746179,0.0001927097,0.0003462429,0.0005943614,0.0002219131],"domain_scores_gemma":[0.9987584,0.000475975,0.00008362336,0.0003306444,0.0002975605,0.00005385667],"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.0000210424,0.0000147727,0.00005001773,0.00007300364,0.000005748339,0.00005117296,0.0002052164,0.002984873,0.0008885975,0.9769723,0.001689894,0.01704335],"study_design_scores_gemma":[0.00002508599,0.00002064316,0.00004135586,0.00004986471,0.00002352838,0.00008050247,0.00008578643,0.0266926,0.002252103,0.9469523,0.02375371,0.000022624],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005635951,0.0002163958,0.95702,0.0007503222,0.0001474015,0.00009640495,0.0003190943,0.002541836,0.03327247],"genre_scores_gemma":[0.2977924,0.0004060926,0.6785253,0.0006463591,0.0002615585,0.0003274277,0.001035678,0.001278476,0.01972682],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01040578,"threshold_uncertainty_score":0.03481078,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05023786877143464,"score_gpt":0.2799810032980277,"score_spread":0.2297431345265931,"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."}}