{"id":"W4413883207","doi":"10.1016/j.artint.2025.104407","title":"Abstracting situation calculus action theories","year":2025,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"Natural Sciences and Engineering Research Council of Canada; York University; UK Research and Innovation","keywords":"Situation calculus; Action (physics); Calculus (dental); Computer science; Cognitive science; Mathematics; Artificial intelligence; Psychology; Medicine","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.0005221294,0.00009851975,0.00008923224,0.0001113336,0.0003418988,0.0002488529,0.0003788985,0.00006430368,0.0000238032],"category_scores_gemma":[0.0002538524,0.00009753888,0.00004108582,0.0004961846,0.00004120176,0.0004697297,0.00007886531,0.0001773618,0.0001730068],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004337826,"about_ca_system_score_gemma":0.00008506732,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001824522,"about_ca_topic_score_gemma":0.00007349178,"domain_scores_codex":[0.9990287,0.00006057963,0.0002685676,0.0002813602,0.0001462933,0.0002145134],"domain_scores_gemma":[0.9991254,0.0003720405,0.00008630777,0.0002838403,0.00009706816,0.00003537942],"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.000006516392,0.00001768224,0.0001248391,0.00000852182,0.000006166903,0.000003001778,0.0008188078,0.003859821,0.002474818,0.5718586,0.0000935323,0.4207277],"study_design_scores_gemma":[0.00001250304,0.00003659232,0.0003650788,0.00007831251,0.000007998549,0.000003546992,0.000627225,0.2928248,0.2756923,0.4289595,0.001209762,0.0001823516],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01759631,0.00008241581,0.9732741,0.001667272,0.0008968319,0.00008241987,6.172414e-7,0.0002275234,0.006172484],"genre_scores_gemma":[0.9898904,0.000007025509,0.009435349,0.000257219,0.00007103924,0.000008463342,0.000002604887,0.00000346681,0.000324452],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9722941,"threshold_uncertainty_score":0.397752,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05888960173923377,"score_gpt":0.3409720854442167,"score_spread":0.2820824837049829,"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."}}