{"id":"W4239903613","doi":"10.32920/ryerson.14640060","title":"A Logic For Decidable Reasoning About Actions","year":2021,"lang":"en","type":"preprint","venue":"","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; University of Toronto","keywords":"Situation calculus; Decidability; Axiom; Fragment (logic); Description logic; Computer science; Operator (biology); Projection (relational algebra); Calculus (dental); Natural deduction; Theoretical computer science; Mathematics; Algebra over a field; Artificial intelligence; Algorithm; Programming language; Pure mathematics","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.003307692,0.001150834,0.000877273,0.0018685,0.002100606,0.004740655,0.003104535,0.001526226,0.004805666],"category_scores_gemma":[0.004537331,0.00112776,0.005051435,0.001867299,0.004635368,0.008976194,0.00367368,0.005314867,0.001200543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002901576,"about_ca_system_score_gemma":0.002425522,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006148465,"about_ca_topic_score_gemma":0.004101974,"domain_scores_codex":[0.9965981,0.0008779045,0.0003623944,0.0007173828,0.001019146,0.0004252544],"domain_scores_gemma":[0.9976618,0.001233084,0.0002234018,0.0003910871,0.0002963437,0.000194253],"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.00003462565,0.00003457714,0.0001301928,0.0001299234,0.00004605708,0.0002633772,0.0003583105,0.007261753,0.002181738,0.9749691,0.001528432,0.01306184],"study_design_scores_gemma":[0.00004176619,0.00003186985,0.0001306535,0.0000520558,0.000078345,0.0002127855,0.00009766106,0.04341038,0.002222789,0.930544,0.02313014,0.00004749907],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008086896,0.0005448788,0.97357,0.00142246,0.0002064675,0.0001613762,0.000467017,0.001350631,0.01419033],"genre_scores_gemma":[0.2468775,0.0008543143,0.7408573,0.001085086,0.0004202483,0.0004800138,0.001051157,0.0002755547,0.008098829],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006148465,"threshold_uncertainty_score":0.02105248,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07792155018911166,"score_gpt":0.3298780791020465,"score_spread":0.2519565289129348,"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."}}