{"id":"W3081416561","doi":"10.24963/kr.2020/26","title":"Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus","year":2020,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Deontic logic; Computer science; Situation calculus; Obligation; Deliberation; Defeasible estate; Permission; Action (physics); Accessibility relation; Artificial intelligence; Epistemology; Philosophy; Law; Political science","routes":{"ca_aff":true,"ca_fund":true,"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.006507536,0.0008362366,0.0008893217,0.001611423,0.002457727,0.005582696,0.001783542,0.001488664,0.004020068],"category_scores_gemma":[0.006840891,0.000996022,0.001719333,0.002132461,0.00690546,0.009838924,0.003225535,0.003842044,0.0007498504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004358331,"about_ca_system_score_gemma":0.003645414,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01219057,"about_ca_topic_score_gemma":0.01037412,"domain_scores_codex":[0.9948547,0.002053224,0.0004154759,0.0007917177,0.001423467,0.0004614269],"domain_scores_gemma":[0.9959448,0.002265266,0.0003748375,0.0005166227,0.0005851989,0.0003133022],"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.00001048852,0.000009306844,0.00005857275,0.00002249519,0.000007243023,0.00006889884,0.000419401,0.003470132,0.0002752316,0.9924359,0.0003428535,0.002879547],"study_design_scores_gemma":[0.00002038628,0.00001221217,0.0001023523,0.00003044568,0.00002520969,0.00005126548,0.0001344128,0.02443687,0.0004720849,0.9629079,0.01178285,0.00002400584],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02253769,0.001161152,0.9393409,0.001826174,0.0002291937,0.0001717035,0.000312164,0.0004290605,0.03399182],"genre_scores_gemma":[0.5267478,0.001770447,0.45615,0.0006572746,0.0005454543,0.0005596486,0.0004902307,0.00021225,0.0128669],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01219057,"threshold_uncertainty_score":0.03441554,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07370708921623577,"score_gpt":0.3005858386365046,"score_spread":0.2268787494202689,"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."}}