{"id":"W2068619585","doi":"10.1016/j.ic.2010.09.009","title":"A categorical outlook on relational modalities and simulations","year":2011,"lang":"en","type":"article","venue":"Information and Computation","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University; University of Ottawa","funders":"","keywords":"Categorical variable; Modal; Predicate (mathematical logic); Mathematics; Computer science; Similarity (geometry); Algebra over a field; Pure mathematics; Artificial intelligence; Image (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":[],"consensus_categories":[],"category_scores_codex":[0.0001030526,0.00006420706,0.00006078439,0.0001060692,0.0001377942,0.0001261036,0.00005449789,0.00004168123,0.000005133608],"category_scores_gemma":[0.00001704174,0.00005581825,0.00001258242,0.00009766247,0.0000257106,0.001183304,0.00003265489,0.00004941947,0.00003767101],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001448558,"about_ca_system_score_gemma":0.00002056342,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003879243,"about_ca_topic_score_gemma":0.000002638033,"domain_scores_codex":[0.999482,0.00002584333,0.0001969271,0.0000812612,0.0001362245,0.00007773619],"domain_scores_gemma":[0.999674,0.00004959309,0.00008615257,0.00006586246,0.00007868426,0.00004566753],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003921772,0.00001094612,0.0009295166,0.00000875466,0.00000428241,2.76906e-7,0.006096377,0.0008080286,5.349949e-7,0.9514445,0.00005932558,0.04063356],"study_design_scores_gemma":[0.0004119938,0.0001285881,0.02814616,0.000002300118,0.000003820546,0.00002018792,0.0002447021,0.7546384,0.00001860546,0.212592,0.003660356,0.0001329467],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01885389,0.00002047851,0.9697171,0.0001528925,0.0001377012,0.0001300662,8.166933e-7,0.0001070573,0.01087993],"genre_scores_gemma":[0.9953134,0.000002803206,0.004346086,0.0002389515,0.00001813257,0.000006355723,0.00002115065,0.000001552578,0.00005155145],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9764595,"threshold_uncertainty_score":0.2276202,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04959146735645973,"score_gpt":0.2518377819830844,"score_spread":0.2022463146266247,"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."}}