{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004918313,0.0008032401,0.001237703,0.001409815,0.001836549,0.00556823,0.002646567,0.001207955,0.004133175],"category_scores_gemma":[0.01438422,0.0009914601,0.003038235,0.001662384,0.002692996,0.01117476,0.003519926,0.002889287,0.0004112881],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004000432,"about_ca_system_score_gemma":0.003709898,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01049668,"about_ca_topic_score_gemma":0.01727653,"domain_scores_codex":[0.9946151,0.001999147,0.0004750259,0.0009010031,0.001558938,0.0004508456],"domain_scores_gemma":[0.9786217,0.01724243,0.00127209,0.001746438,0.0008058136,0.0003116395],"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.0003351723,0.0002374385,0.002197985,0.0006805263,0.0002980647,0.0008245854,0.001275211,0.1878322,0.009938775,0.7406418,0.001834448,0.05390393],"study_design_scores_gemma":[0.0001258733,0.00005277262,0.0004827123,0.00004796271,0.0001178403,0.0001348119,0.0002329996,0.3893883,0.008304964,0.5951266,0.005942225,0.00004313271],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1117199,0.0005193941,0.8799472,0.001181392,0.00006144273,0.0002227051,0.0006460709,0.0008302011,0.004871645],"genre_scores_gemma":[0.5906819,0.0005619668,0.4031003,0.000304225,0.0001315516,0.0001812727,0.001281139,0.0001422572,0.003615455],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01049668,"threshold_uncertainty_score":0.02902526,"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."}}