{"id":"W2009328505","doi":"10.1016/j.jal.2009.02.001","title":"Deontic action logic, atomic boolean algebras and fault-tolerance","year":2009,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Deontic logic; Action (physics); Computer science; Theoretical computer science; Fault tolerance; Artificial intelligence; Algorithm; Programming language; Mathematics; Epistemology; Philosophy; Physics; Distributed computing","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.002791131,0.0006240957,0.0008541999,0.001312591,0.001847895,0.00393599,0.002096756,0.001944877,0.003488707],"category_scores_gemma":[0.005787579,0.0004989278,0.001182773,0.001625861,0.005004746,0.007937836,0.001900085,0.00308417,0.0004605036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002324972,"about_ca_system_score_gemma":0.001900346,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004901376,"about_ca_topic_score_gemma":0.003673666,"domain_scores_codex":[0.998145,0.0004439024,0.0001926808,0.0003412468,0.0005890141,0.0002882787],"domain_scores_gemma":[0.9961707,0.001879672,0.0004724829,0.0007250464,0.0005621958,0.0001898551],"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.00003678481,0.00001895008,0.0001348999,0.0000473191,0.00001015041,0.00005669559,0.0001488873,0.003980745,0.0003865771,0.9871936,0.0007016093,0.007283684],"study_design_scores_gemma":[0.00001092132,0.000006809583,0.00004389402,0.00001207527,0.00001266617,0.00004399435,0.00003975043,0.009590994,0.0003703501,0.9871731,0.002688013,0.000007344218],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05228167,0.005331214,0.888088,0.003912848,0.0004847932,0.00008581577,0.0002833362,0.0006077458,0.04892462],"genre_scores_gemma":[0.8489586,0.002650954,0.1320966,0.0008225712,0.000498643,0.0001364466,0.0004213832,0.0001062937,0.01430854],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004901376,"threshold_uncertainty_score":0.01686889,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.019026955996949,"score_gpt":0.2556762960735929,"score_spread":0.2366493400766439,"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."}}