{"id":"W2011126595","doi":"10.1016/j.jal.2014.07.001","title":"The categorical imperative: Category theory as a foundation for deontic logic","year":2014,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Deontic logic; Foundation (evidence); Categorical variable; Categorical imperative; Category theory; Artificial intelligence; Computer science; Natural language processing; Mathematics; Epistemology; Philosophy; Pure mathematics; Machine learning; Political science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002643763,0.0001839263,0.0003085998,0.00008645642,0.0004236487,0.0003200787,0.001071578,0.0001050704,0.00001845155],"category_scores_gemma":[0.0004479644,0.00009904758,0.0001855489,0.000220632,0.0001252833,0.000217414,0.0001124288,0.0002902972,0.0001018622],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001025384,"about_ca_system_score_gemma":0.0001900752,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001772267,"about_ca_topic_score_gemma":0.000004628481,"domain_scores_codex":[0.998476,0.0001699013,0.0004672396,0.0002389554,0.0002910018,0.0003569014],"domain_scores_gemma":[0.9974998,0.001238781,0.0004890349,0.0003255912,0.0003169845,0.0001298351],"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.00009167667,0.00005851771,0.000007440322,0.000007407901,0.00003005181,0.000006584292,0.000588345,0.00008998754,0.0006595801,0.952414,0.0007934816,0.04525295],"study_design_scores_gemma":[0.0007047841,0.0005741009,0.0002298199,0.000003855292,0.00003003829,0.0001807746,0.0001679721,0.004585698,0.0006571259,0.973023,0.01968819,0.0001546645],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005047798,0.0004259617,0.9655229,0.00114567,0.000774773,0.00027973,1.329426e-7,0.00004322872,0.02675978],"genre_scores_gemma":[0.9901298,0.00007396295,0.008134703,0.0007478622,0.0005241555,0.0000286864,9.553817e-7,0.00001022256,0.000349649],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.985082,"threshold_uncertainty_score":0.4039043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01403913184256098,"score_gpt":0.2658404209929877,"score_spread":0.2518012891504267,"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."}}