{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002548476,0.0006023128,0.0004945078,0.001153378,0.001483136,0.004269094,0.001338853,0.001550007,0.005816948],"category_scores_gemma":[0.003181851,0.0004381145,0.001588747,0.00118211,0.006558363,0.01000475,0.003015676,0.004166209,0.0009403922],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003303606,"about_ca_system_score_gemma":0.002343715,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005893513,"about_ca_topic_score_gemma":0.002793778,"domain_scores_codex":[0.9973183,0.0009684863,0.0001696243,0.0006439778,0.0006411708,0.0002584169],"domain_scores_gemma":[0.9984729,0.0007355215,0.0001160571,0.0002879664,0.000278857,0.0001087585],"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.000009930226,0.000003409852,0.00005551093,0.00001407048,0.000003213451,0.00004978759,0.0001768633,0.0005197135,0.0002258725,0.9951848,0.0007698186,0.002986924],"study_design_scores_gemma":[0.00001254035,0.00001045274,0.0000673042,0.00001974606,0.00001185197,0.00007989867,0.0001389249,0.007665209,0.0005973831,0.9734418,0.01794562,0.000009288055],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03656975,0.003079222,0.8090883,0.01572519,0.0005509355,0.0001185841,0.0008124055,0.001338864,0.1327167],"genre_scores_gemma":[0.7574846,0.00173445,0.1979967,0.00395241,0.0005210175,0.0002467305,0.0007612542,0.000326612,0.0369763],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005893513,"threshold_uncertainty_score":0.02396941,"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."}}