{"id":"W4242110430","doi":"10.4018/9781605660608.ch172","title":"A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors","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":"Computer science; Denotational semantics of the Actor model; Denotational semantics; Normalisation by evaluation; Theoretical computer science; Algebra over a field; Mathematics; Programming language; Pure mathematics; 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.001649069,0.001041132,0.0007167408,0.001937856,0.001785112,0.004568188,0.001341476,0.001172635,0.0108404],"category_scores_gemma":[0.002857416,0.0006389298,0.001765659,0.001652712,0.006161933,0.01115665,0.002581996,0.003969624,0.003965192],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001680051,"about_ca_system_score_gemma":0.001401465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001046556,"about_ca_topic_score_gemma":0.0009281982,"domain_scores_codex":[0.9988618,0.0003632783,0.0001207035,0.0002203179,0.0003567193,0.0000771658],"domain_scores_gemma":[0.9990736,0.0004484836,0.00007473942,0.0002139845,0.0001407273,0.00004836952],"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.000002999252,0.00000518568,0.00002444078,0.00003496592,0.000003531948,0.00002793672,0.0001567435,0.0003857625,0.0003792727,0.9900557,0.001509652,0.007413784],"study_design_scores_gemma":[0.000007952,0.00001505797,0.00007416331,0.00004823295,0.00001030005,0.0001797748,0.00006093182,0.004546626,0.0008062345,0.8871111,0.1071246,0.00001508942],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004100929,0.006957134,0.8294838,0.002828662,0.0008175413,0.00007229326,0.000294064,0.0008274487,0.1546181],"genre_scores_gemma":[0.2040627,0.01013794,0.6865543,0.001743779,0.001508254,0.000572126,0.0009424868,0.0008370472,0.09364133],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0108404,"threshold_uncertainty_score":0.03626472,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05747151605022718,"score_gpt":0.2809268657496332,"score_spread":0.223455349699406,"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."}}