{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001598865,0.0003119216,0.0002990886,0.0000652704,0.0001757188,0.0001436753,0.000361031,0.0001888935,0.000007696184],"category_scores_gemma":[0.00001923316,0.0003291977,0.0001433801,0.00001613851,0.00007317344,0.00004421365,0.0003320755,0.0001683962,0.00002265954],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008584905,"about_ca_system_score_gemma":0.000110717,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007119399,"about_ca_topic_score_gemma":0.00001068345,"domain_scores_codex":[0.9985529,0.00001015801,0.0004083061,0.0004939209,0.0002869873,0.0002477272],"domain_scores_gemma":[0.9988511,0.0002367204,0.000274217,0.0002149921,0.0003048246,0.0001182051],"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.000004679269,0.00001248238,0.00002039161,0.00003363807,0.00004231061,0.000009544337,0.0001976822,0.0000802429,4.194654e-7,0.9429911,0.0002145729,0.05639289],"study_design_scores_gemma":[0.0002099015,0.00009723754,0.0001544481,0.0002998243,0.00005883952,0.00009841255,0.000005196035,0.04077007,0.000005172265,0.9570051,0.000921878,0.0003738638],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001910191,0.0001521832,0.7058932,0.00001905993,0.0002659268,0.000347621,0.00003619319,0.000116923,0.2929778],"genre_scores_gemma":[0.3909579,0.000005399907,0.5790644,0.0006575467,0.000601233,0.000071377,0.00004327909,0.00009615958,0.02850268],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3907669,"threshold_uncertainty_score":0.999916,"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."}}