{"id":"W7093366356","doi":"10.1007/978-3-032-08887-1_2","title":"Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Correctness; Situation calculus; Formalism (music); Event calculus; Action (physics); Obligation; Calculus (dental); Rotation formalisms in three dimensions","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.00535904,0.0007831551,0.0007858257,0.00146256,0.002771332,0.0061185,0.002481067,0.001757635,0.008113265],"category_scores_gemma":[0.007681139,0.001687739,0.002360097,0.001413491,0.002544963,0.01246741,0.004548501,0.003378911,0.001725212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002421391,"about_ca_system_score_gemma":0.003821718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00605295,"about_ca_topic_score_gemma":0.01408714,"domain_scores_codex":[0.996371,0.001182935,0.0004988772,0.0005033368,0.001025396,0.0004184609],"domain_scores_gemma":[0.996236,0.002321511,0.0002150468,0.0005120234,0.0004862798,0.0002290598],"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.00002984886,0.00004348553,0.0004005058,0.00007704773,0.00001542536,0.0002896464,0.000859348,0.005519278,0.00146499,0.9754676,0.001442289,0.01439043],"study_design_scores_gemma":[0.00002888312,0.00002041234,0.0001848175,0.0001151532,0.00003987604,0.0002687774,0.0004194063,0.09442071,0.003671094,0.8594346,0.04134482,0.00005140117],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01194678,0.0001134659,0.9724064,0.0004571155,0.00008802906,0.0001965439,0.0003679076,0.001227556,0.01319623],"genre_scores_gemma":[0.1773285,0.0002632111,0.8133771,0.000197594,0.00006042418,0.0002601863,0.0006806848,0.0004176575,0.007414691],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008113265,"threshold_uncertainty_score":0.02834165,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02605599617332825,"score_gpt":0.2522561347820405,"score_spread":0.2262001386087122,"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."}}