{"id":"W4296740036","doi":"10.32920/ryerson.14637291.v2","title":"A Logic of Actions Revisited","year":2022,"lang":"en","type":"preprint","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; University of Toronto","funders":"","keywords":"Unification; Operator (biology); Predicate (mathematical logic); Predicate logic; Circumscription; Mathematics; Computer science; Projection (relational algebra); Theoretical computer science; Logical connective; Artificial intelligence; Algorithm; Discrete mathematics; Description logic; Programming language","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002716822,0.00015207,0.0002877954,0.0001495855,0.00009647668,0.00007092838,0.001511727,0.0001113788,0.001468051],"category_scores_gemma":[0.00007881789,0.0001259506,0.0001960104,0.0003387355,0.00003052307,0.00007302559,0.00360245,0.0004400017,0.00006081566],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006766398,"about_ca_system_score_gemma":0.0001722202,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007087767,"about_ca_topic_score_gemma":0.000007976215,"domain_scores_codex":[0.9987786,0.000105552,0.0002472016,0.0004779419,0.0002199751,0.0001707471],"domain_scores_gemma":[0.998489,0.00008422772,0.0001996379,0.001060013,0.0001080331,0.00005904695],"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.000002484577,0.0001619846,0.0006075882,0.0001380348,0.00005738581,0.00001324875,0.00071615,0.0002747008,0.00009965361,0.9779738,0.01420956,0.005745443],"study_design_scores_gemma":[0.0008895072,0.0005166869,0.01528849,0.0002668757,0.0001422711,0.00008714916,0.0003355417,0.07552768,0.001782184,0.4805692,0.4225984,0.001995985],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.001050924,0.0007089582,0.43921,0.0004765118,0.001062783,0.0002577422,0.000009329116,0.0003579447,0.5568658],"genre_scores_gemma":[0.8746136,0.0004134601,0.09093197,0.0005899745,0.0002365031,0.0001427215,0.00005246206,0.00002150926,0.03299775],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8735628,"threshold_uncertainty_score":0.9994447,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06135687093673067,"score_gpt":0.3089960667035961,"score_spread":0.2476391957668655,"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."}}