{"id":"W4230105910","doi":"10.4018/978-1-60566-060-8.ch171","title":"Deductive Semantics of RTPA","year":2009,"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.002010841,0.0006508541,0.0005055729,0.00115329,0.00107788,0.003730038,0.001182416,0.001241052,0.004491147],"category_scores_gemma":[0.002716065,0.0003767718,0.001057708,0.0009964643,0.005516774,0.006809543,0.001690131,0.002752179,0.002031006],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001704871,"about_ca_system_score_gemma":0.001660293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001149428,"about_ca_topic_score_gemma":0.0006318665,"domain_scores_codex":[0.998237,0.0005870938,0.0001368254,0.0003250469,0.000599871,0.0001141258],"domain_scores_gemma":[0.9986731,0.0005764134,0.00008143455,0.0002470919,0.0003748738,0.00004712702],"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.000004002043,0.000005305568,0.00001509645,0.0000316853,0.000002275831,0.00003990554,0.0002443795,0.00051447,0.0003048725,0.992547,0.000836165,0.005454868],"study_design_scores_gemma":[0.00001014447,0.00001122088,0.00002538631,0.00003546984,0.000006467768,0.0001223674,0.00006286296,0.004065532,0.000811021,0.9279618,0.06687904,0.000008822072],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006866525,0.002972542,0.8435024,0.002186513,0.0005435711,0.0001289435,0.0002827623,0.0009693788,0.1425474],"genre_scores_gemma":[0.4500654,0.006767262,0.4689207,0.002764915,0.001179885,0.0007734963,0.0010365,0.0009027913,0.067589],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004491147,"threshold_uncertainty_score":0.01502442,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01818074463719767,"score_gpt":0.243901941814699,"score_spread":0.2257211971775013,"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."}}