{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002065914,0.0006609058,0.0005133281,0.001190864,0.00109912,0.003830947,0.001209468,0.001280998,0.00451568],"category_scores_gemma":[0.002769724,0.0003833517,0.001075358,0.001029947,0.00568705,0.00693784,0.001721738,0.002839778,0.002064561],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001757609,"about_ca_system_score_gemma":0.001673465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001184939,"about_ca_topic_score_gemma":0.0006517756,"domain_scores_codex":[0.9981769,0.0006123505,0.0001413986,0.0003369614,0.0006142605,0.0001181139],"domain_scores_gemma":[0.9986455,0.0005906092,0.00008281082,0.0002497877,0.0003828049,0.00004838408],"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.000003998557,0.000005305331,0.00001503338,0.00003199988,0.000002261541,0.00003944794,0.0002441885,0.000502922,0.0002995715,0.9926627,0.0008291684,0.00536343],"study_design_scores_gemma":[0.000009905494,0.00001087059,0.00002517525,0.00003607557,0.000006307506,0.0001193606,0.00006228937,0.003916037,0.0007931121,0.9292303,0.06578165,0.000008885911],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006845322,0.003170663,0.8421992,0.002263957,0.0005533734,0.0001302851,0.0002933196,0.0009767622,0.1435671],"genre_scores_gemma":[0.4523232,0.007118791,0.4673148,0.00286975,0.001230265,0.0007849984,0.001079165,0.0009279837,0.06635106],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00451568,"threshold_uncertainty_score":0.01510644,"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."}}