{"id":"W4385764351","doi":"10.24963/ijcai.2023/347","title":"Abstraction of Nondeterministic Situation Calculus Action Theories","year":2023,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Nondeterministic algorithm; Computer science; Abstraction; Action (physics); Task (project management); Situation calculus; Domain (mathematical analysis); Plan (archaeology); Programming language; Theoretical computer science; Artificial intelligence; Mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0002175631,0.00006000106,0.00007797037,0.00008984396,0.00007488767,0.00004356022,0.0001741967,0.00004381514,0.00003499414],"category_scores_gemma":[0.00008822056,0.00004843027,0.00003876324,0.0003497745,0.00002700808,0.0003280301,0.00005538223,0.00004537468,0.0003308154],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002174329,"about_ca_system_score_gemma":0.00003629346,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003384879,"about_ca_topic_score_gemma":0.00004122244,"domain_scores_codex":[0.9994257,0.00002630224,0.0001338117,0.0001553653,0.0001416563,0.0001171376],"domain_scores_gemma":[0.9995105,0.0001130903,0.0000745971,0.0001981702,0.00007444166,0.0000291763],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001007642,0.00006350601,0.0005462549,0.00004390664,0.0000147865,0.000008059871,0.00217764,0.0001848342,0.01461684,0.8230698,0.001237167,0.1580272],"study_design_scores_gemma":[0.000781263,0.0004518746,0.1858886,0.00004189368,0.00003267458,0.0000452123,0.001085936,0.4922856,0.1369343,0.1772652,0.004641862,0.0005455181],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.14722,0.00001125761,0.7859389,0.0001905216,0.001127142,0.0001055995,8.798571e-7,0.0004894097,0.06491632],"genre_scores_gemma":[0.9961033,0.00001198229,0.0009877993,0.00001674666,0.00006304756,0.000006246588,0.000004057628,0.000003072648,0.002803728],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8488833,"threshold_uncertainty_score":0.4252073,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03654581066973239,"score_gpt":0.30295286182045,"score_spread":0.2664070511507176,"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."}}