{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004584334,0.0004562905,0.001011611,0.002292932,0.002536912,0.00663567,0.002050351,0.002266466,0.004667171],"category_scores_gemma":[0.006744536,0.0006827468,0.001229898,0.001947613,0.01250241,0.01276878,0.003429866,0.005301905,0.0006301486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003145569,"about_ca_system_score_gemma":0.002745867,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003815353,"about_ca_topic_score_gemma":0.002631207,"domain_scores_codex":[0.9977694,0.001022929,0.0001330173,0.0003592514,0.0005256558,0.00018994],"domain_scores_gemma":[0.9949326,0.002844792,0.0002227898,0.0008287526,0.0007918122,0.0003792953],"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.000003207634,0.000002233386,0.00002012236,0.00000921833,0.000001334542,0.000005733177,0.00008550881,0.000150923,0.00004403225,0.9982067,0.0003473465,0.001123618],"study_design_scores_gemma":[0.00000279735,0.000001813717,0.00001749965,0.000006048988,0.000001358479,0.000006788942,0.00002064578,0.0009141717,0.00003457073,0.9962047,0.002786425,0.000003250304],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02517756,0.008055841,0.8508669,0.01844202,0.001055902,0.00006672163,0.0005028736,0.0005284001,0.09530374],"genre_scores_gemma":[0.7965826,0.003056966,0.182867,0.00236642,0.001894207,0.0002091522,0.000490152,0.0003082033,0.01222524],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00663567,"threshold_uncertainty_score":0.02424455,"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."}}