{"id":"W4241103427","doi":"10.4018/978-1-60566-060-8.ch172","title":"A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors","year":2009,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Process calculus; Programming language; Software; Process (computing); Notation; Theoretical computer science; Mathematics","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.0001590854,0.0003174851,0.0003121396,0.00006756103,0.0001875752,0.0002042648,0.0003368153,0.0001869594,0.000003266269],"category_scores_gemma":[0.00002087944,0.0003397212,0.0001474146,0.00001925775,0.00005485485,0.00004334262,0.000211797,0.0001762723,0.00001376896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000110689,"about_ca_system_score_gemma":0.0001125957,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002894335,"about_ca_topic_score_gemma":0.000007429213,"domain_scores_codex":[0.9984757,0.00001010261,0.0004178037,0.0004991116,0.0003432205,0.0002540171],"domain_scores_gemma":[0.9988721,0.0002607575,0.0002592702,0.000203234,0.000288294,0.0001163239],"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.000003681552,0.00001172478,0.000008228449,0.00002170534,0.00002735663,0.00001053071,0.00009042891,0.0003526906,5.176544e-7,0.8455279,0.0002382092,0.153707],"study_design_scores_gemma":[0.0002352136,0.0001200284,0.0001756977,0.0003265302,0.00005136711,0.0001088858,0.000004770593,0.09981316,0.000003577955,0.8974929,0.001294935,0.0003728791],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002080195,0.0002050664,0.7290801,0.00006659475,0.0002166998,0.0004174903,0.00003533238,0.0001473129,0.2696234],"genre_scores_gemma":[0.2545935,0.000005478334,0.7101179,0.001287276,0.0007607118,0.00004320312,0.00005608797,0.0000764268,0.0330595],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2543854,"threshold_uncertainty_score":0.9999055,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04070165303055063,"score_gpt":0.2853576878439462,"score_spread":0.2446560348133956,"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."}}