{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004603859,0.0001974953,0.0003618286,0.0001474711,0.0001516953,0.0001768049,0.0006172148,0.0001203819,0.00001754773],"category_scores_gemma":[0.00003131308,0.0001450575,0.0001075469,0.0002491128,0.000056719,0.0003723255,0.0000701958,0.0003600208,0.00005743615],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007763538,"about_ca_system_score_gemma":0.0000685243,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001300334,"about_ca_topic_score_gemma":0.000002922325,"domain_scores_codex":[0.9986699,0.00003837612,0.0004195198,0.0002743941,0.0002825137,0.0003153086],"domain_scores_gemma":[0.998933,0.00006848036,0.0004538308,0.0002569682,0.0001129073,0.0001748097],"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.0002042605,0.0003640676,0.000519697,0.00003589172,0.00005970012,0.0001812452,0.001532788,0.0005813247,0.01939941,0.7594212,0.004386839,0.2133136],"study_design_scores_gemma":[0.003068658,0.00135219,0.05472903,0.00008601087,0.00007915632,0.001362359,0.0002660947,0.009683073,0.008209893,0.909238,0.01115737,0.0007681685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7022856,0.00262606,0.2577387,0.001600823,0.0008394718,0.0002634628,4.929296e-7,0.0001502176,0.03449516],"genre_scores_gemma":[0.9825247,0.0002886143,0.01523494,0.001544003,0.0003167347,0.000001492433,3.085574e-7,0.000006119296,0.00008311414],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2802391,"threshold_uncertainty_score":0.5915274,"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."}}