{"id":"W2405484365","doi":"10.29007/2m22","title":"Towards an Expressive Practical Logical Action Theory","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University; Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada; York University","keywords":"Situation calculus; Decidability; Undecidable problem; Fragment (logic); Computer science; Projection (relational algebra); Satisfiability; Action (physics); Logical consequence; Boolean satisfiability problem; Class (philosophy); Description logic; Theoretical computer science; Circumscription; Calculus (dental); Algorithm; Artificial intelligence","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006582383,0.0001299996,0.0001812331,0.00007283178,0.0001858032,0.0001623669,0.0005576373,0.00009961445,0.00005159528],"category_scores_gemma":[0.0007372998,0.0001086557,0.00003366109,0.000244083,0.0002456286,0.0008974369,0.0004612434,0.0002123641,0.00003339411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004296551,"about_ca_system_score_gemma":0.00007494458,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003063345,"about_ca_topic_score_gemma":0.00003373975,"domain_scores_codex":[0.9984768,0.0003287677,0.0002395976,0.0004178817,0.0001980023,0.0003389249],"domain_scores_gemma":[0.9989158,0.0004014044,0.00009709012,0.0004482967,0.00007491467,0.00006250921],"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.00008657097,0.0001468489,0.005237876,0.00001561659,0.00001512201,0.0001703229,0.00627302,0.00007121942,0.0007078415,0.7079543,0.0003739524,0.2789473],"study_design_scores_gemma":[0.001235939,0.002062257,0.1735292,0.0001873215,0.00001672164,0.001083328,0.01210269,0.1826765,0.03605397,0.5824413,0.007481169,0.001129557],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3580563,0.00003814732,0.6321449,0.001160449,0.001277576,0.00008260647,1.549641e-7,0.0002822565,0.006957526],"genre_scores_gemma":[0.8471971,0.000004105056,0.1518958,0.0004028016,0.0004580339,0.00000252068,6.301694e-7,0.000004994756,0.00003405346],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4891407,"threshold_uncertainty_score":0.4430852,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0782508513794713,"score_gpt":0.3721633954823368,"score_spread":0.2939125441028655,"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."}}