{"id":"W4251136403","doi":"10.4018/978-1-60566-902-1.ch014","title":"Deductive Semantics of RTPA","year":2011,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Well-founded semantics; Action semantics; Computer science; Programming language; Operational semantics; Denotational semantics; Computational semantics; Formal semantics (linguistics); Semantics (computer science)","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001216024,0.0003474112,0.0004495749,0.00005602641,0.0000618054,0.00003840488,0.0009103315,0.0002981408,0.00002451734],"category_scores_gemma":[0.00001480872,0.0003516503,0.0002327625,0.00003059148,0.0001569006,0.00004037781,0.0008543024,0.000291455,0.0001607484],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007454769,"about_ca_system_score_gemma":0.0001461567,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003397965,"about_ca_topic_score_gemma":0.00001565261,"domain_scores_codex":[0.9984903,0.00002338236,0.0003413844,0.0005476124,0.000301407,0.0002959426],"domain_scores_gemma":[0.9985363,0.00005772867,0.0003352892,0.0006797654,0.0002730165,0.0001179354],"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.000007852371,0.000009522885,0.00001027612,0.00001530392,0.00007391306,0.00003552897,0.0001108391,0.000002719471,0.000002229392,0.9279564,0.002265129,0.06951027],"study_design_scores_gemma":[0.000189108,0.0001533292,0.0000821911,0.0003948258,0.00006594579,0.0000647911,0.00000188287,0.0003980223,0.0001873065,0.9869163,0.01108379,0.0004624917],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.00005865659,0.0002920839,0.09628943,0.00002128693,0.0007942013,0.0001580226,0.0000179472,0.0001339846,0.9022344],"genre_scores_gemma":[0.8512509,0.00002574516,0.01964874,0.0005945404,0.0008121752,0.000007053123,0.00000295139,0.00007658087,0.1275813],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8511922,"threshold_uncertainty_score":0.9998935,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02786485643429465,"score_gpt":0.2388558084236045,"score_spread":0.2109909519893098,"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."}}