{"id":"W2091250089","doi":"10.4204/eptcs.139.2","title":"Automated Reasoning over Deontic Action Logics with Finite Vocabularies","year":2014,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Deontic logic; Action (physics); Coherence (philosophical gambling strategy); Accessibility relation; Normal modal logic; Non-monotonic logic; Description logic; Boolean algebra; Algebra over a field","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002490953,0.0003361562,0.0003426628,0.0003556038,0.0005185226,0.000978015,0.002251177,0.0001268801,0.00001129805],"category_scores_gemma":[0.0005673259,0.0002532748,0.0000564119,0.002545139,0.001627908,0.001483312,0.0006537649,0.0006179409,0.00002943207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003748977,"about_ca_system_score_gemma":0.0003626613,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006495507,"about_ca_topic_score_gemma":0.00001002112,"domain_scores_codex":[0.9962066,0.00005631608,0.0003326051,0.001138685,0.0007814998,0.001484319],"domain_scores_gemma":[0.9986122,0.0002593249,0.0001655295,0.0004069579,0.0003248753,0.0002311409],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002274613,0.00006443529,0.001544522,0.00001687127,0.000005725868,0.00000414253,0.0007087982,0.0001949545,0.0002640213,0.9885675,0.00003552628,0.008570757],"study_design_scores_gemma":[0.0004538513,0.0007387984,0.004506473,0.00008507052,0.000006826124,0.00008634095,0.00001072265,0.8386752,0.002352176,0.152435,0.0002953755,0.0003541395],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1338354,0.00006828258,0.857204,0.0003147956,0.0002643156,0.0002178323,1.221528e-7,0.0009774495,0.007117756],"genre_scores_gemma":[0.9549987,0.00001317712,0.04445811,0.0003369145,0.0001373229,0.00002038886,5.714957e-7,0.00001582162,0.00001904046],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8384802,"threshold_uncertainty_score":0.999992,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006135563503916793,"score_gpt":0.2358335286004227,"score_spread":0.2296979650965059,"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."}}