{"id":"W1493458121","doi":"10.3233/fi-2009-0019","title":"Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing","year":2009,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":81,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Denotational semantics of the Actor model; Denotational semantics; Computer science; Cognition; Normalisation by evaluation; Cognitive computing; Cognitive science; Informatics; Algebra over a field; Theoretical computer science; Cognitive psychology; Psychology; Programming language; Mathematics; Semantics (computer science); Pure mathematics; Operational semantics","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.004590605,0.001351142,0.001188803,0.003379094,0.002125996,0.006010093,0.00175554,0.002345715,0.005762077],"category_scores_gemma":[0.008457771,0.0005092179,0.001779568,0.002955861,0.01403354,0.01420723,0.003954354,0.00576652,0.001479891],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002778591,"about_ca_system_score_gemma":0.001848073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008424271,"about_ca_topic_score_gemma":0.0007790746,"domain_scores_codex":[0.9963322,0.001607492,0.0004019426,0.0004915764,0.0009609666,0.0002058681],"domain_scores_gemma":[0.9954488,0.002767871,0.0004514977,0.0007163765,0.0004501782,0.0001652818],"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.000002648184,0.000002704136,0.00002641381,0.00002658358,0.000003747025,0.00001975871,0.000156242,0.0001465626,0.0001067062,0.9966054,0.0003491108,0.002554166],"study_design_scores_gemma":[0.000005274989,0.000007890645,0.00005392705,0.00002960388,0.000005190569,0.00007681555,0.00006669754,0.001234352,0.0001555418,0.9772605,0.02109541,0.000008799026],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006321967,0.01828099,0.8803456,0.008143095,0.001278851,0.0001132082,0.0001616873,0.0003792779,0.08497528],"genre_scores_gemma":[0.3278107,0.01751952,0.6290587,0.003587174,0.003968962,0.001283592,0.0003987167,0.0002667531,0.01610588],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006010093,"threshold_uncertainty_score":0.02427769,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02039636708748247,"score_gpt":0.2827322265737545,"score_spread":0.262335859486272,"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."}}