{"id":"W2126807418","doi":"10.1109/sefm.2007.7","title":"An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Deontic logic; Rotation formalisms in three dimensions; Computer science; Formalism (music); Artificial intelligence; Programming language; Theoretical computer science; Epistemology; Philosophy; 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.001569413,0.0002894366,0.0002806721,0.0001007618,0.0005539895,0.0004286589,0.0020001,0.000125431,0.00003066092],"category_scores_gemma":[0.0002555467,0.0001819243,0.000164492,0.0006354985,0.00009004331,0.000518888,0.0001804041,0.0002003962,0.0001461428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008124761,"about_ca_system_score_gemma":0.00008096814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003181691,"about_ca_topic_score_gemma":0.0001427386,"domain_scores_codex":[0.9976438,0.00008218674,0.000348421,0.0007345994,0.0003333464,0.0008576348],"domain_scores_gemma":[0.9978688,0.0003780862,0.0001164607,0.001076274,0.0002251198,0.0003353021],"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.00004323563,0.0001710244,0.002538953,0.00002505011,0.0000340107,0.00003145821,0.004751696,0.0004125447,0.000429049,0.9237652,0.003960744,0.06383707],"study_design_scores_gemma":[0.006485938,0.00345021,0.08638027,0.0004856056,0.0001755221,0.0003681837,0.003610648,0.3554419,0.01504364,0.3702327,0.1533988,0.004926583],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02954804,0.0007160174,0.9055486,0.001258449,0.0009577727,0.0007120327,0.000002189502,0.0004080152,0.06084887],"genre_scores_gemma":[0.9239183,0.00001378453,0.07176778,0.002495051,0.0006635074,0.00006425603,0.000002822754,0.000022777,0.001051715],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8943703,"threshold_uncertainty_score":0.7418656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01957397363404322,"score_gpt":0.2947859722691852,"score_spread":0.275211998635142,"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."}}