{"id":"W2164569390","doi":"10.1016/j.procs.2015.05.031","title":"Modelling Multi-agent Systems with Category Theory","year":2015,"lang":"en","type":"article","venue":"Procedia Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Categorical variable; Computer science; Category theory; Constructive; Proof theory; Property (philosophy); Constructive proof; Theoretical computer science; Artificial intelligence; Machine learning; Mathematics; Mathematical proof; Programming language; Epistemology; Discrete mathematics; Process (computing); Pure 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002255637,0.0006219113,0.00069261,0.001894968,0.001162775,0.003547097,0.001901188,0.001736718,0.003825808],"category_scores_gemma":[0.00331207,0.0004407283,0.001395888,0.00148386,0.003958856,0.00452093,0.00381453,0.002153262,0.0005566544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002318342,"about_ca_system_score_gemma":0.001858289,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007253594,"about_ca_topic_score_gemma":0.004829729,"domain_scores_codex":[0.9977928,0.001147288,0.0001362699,0.0002037075,0.0005459051,0.0001738521],"domain_scores_gemma":[0.9978167,0.001315977,0.0001809815,0.0002644769,0.0002664236,0.0001554169],"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.000005835627,0.000008501133,0.0001239272,0.00003916048,0.00001347411,0.00009921999,0.000310355,0.01613659,0.0002481795,0.9796769,0.0003200183,0.003017811],"study_design_scores_gemma":[0.00001359051,0.00001898017,0.00008852747,0.0000365397,0.0000103009,0.00008467757,0.0001337605,0.0805306,0.00022657,0.8995702,0.01927013,0.0000161217],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007526215,0.001447083,0.9674023,0.001282139,0.0001226019,0.0000849584,0.00008775647,0.0002639702,0.02178302],"genre_scores_gemma":[0.5667762,0.002231966,0.4203044,0.00046114,0.0003094003,0.0004732565,0.0002639708,0.00009879727,0.009080924],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007253594,"threshold_uncertainty_score":0.01682079,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05146528962139243,"score_gpt":0.2447597615884639,"score_spread":0.1932944719670714,"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."}}