{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004798645,0.0002088441,0.0003315129,0.0001622613,0.0002183012,0.0001914286,0.0002932222,0.00006786553,0.000005781489],"category_scores_gemma":[0.0002349964,0.0001981757,0.00008311873,0.0002850103,0.0001210356,0.0007070464,0.0001661251,0.0001394465,0.00001476287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002229895,"about_ca_system_score_gemma":0.00006955503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.495993e-7,"about_ca_topic_score_gemma":4.166521e-7,"domain_scores_codex":[0.9983515,0.00002323849,0.000832814,0.0001349352,0.0003114843,0.0003460605],"domain_scores_gemma":[0.9972539,0.001605795,0.0005020238,0.0001463681,0.000374084,0.0001178269],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000067587,0.0003001376,0.0007009234,0.0004527197,0.0001908144,0.000001672631,0.03771236,0.0001789119,0.00002000406,0.1007372,0.0005317351,0.8591059],"study_design_scores_gemma":[0.002582379,0.0008210897,0.006703449,0.0009979839,0.00009293385,0.00006269432,0.004598484,0.9711574,0.0008916307,0.01143943,0.0002278172,0.0004246444],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1598993,0.00007590298,0.8348328,0.00008625364,0.00008820849,0.000560455,0.00003169633,0.00008088823,0.004344498],"genre_scores_gemma":[0.8545311,0.00001060945,0.1443526,0.0009854325,0.00004231774,0.000009872851,0.00004321373,0.000005774146,0.0000190347],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9709786,"threshold_uncertainty_score":0.8081372,"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."}}