{"id":"W4393147688","doi":"10.1609/aaai.v38i9.28933","title":"Abstraction of Situation Calculus Concurrent Game Structures","year":2024,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Advanced Research in Systems and Signal Processing","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina; York University","funders":"","keywords":"Abstraction; Computer science; Programming language; Calculus (dental); Situation calculus; Pi calculus; Theoretical computer science; Epistemology; Philosophy; Medicine","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.0002329661,0.0001325425,0.0001702567,0.0001057862,0.00004954815,0.00009720123,0.0002762275,0.00006824561,0.00007788516],"category_scores_gemma":[0.0001139138,0.00009453671,0.00007556948,0.0003126488,0.0001512434,0.000246939,0.00003547182,0.000289981,0.00001947665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005312734,"about_ca_system_score_gemma":0.00004180713,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001338259,"about_ca_topic_score_gemma":0.000002742727,"domain_scores_codex":[0.9988372,0.000005543449,0.0004216769,0.0001796264,0.000374809,0.0001811554],"domain_scores_gemma":[0.9994197,0.00006003714,0.00009342265,0.00007438271,0.00030698,0.000045437],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001778376,0.00001830685,0.00001272866,0.0007271399,0.00002609117,4.326557e-7,0.0009267476,0.007499952,0.4714181,0.2329778,0.00008717701,0.2862878],"study_design_scores_gemma":[0.000006917463,0.00004628063,0.00004134579,0.0005196275,0.000008753955,0.000002696417,0.0004364774,0.2285839,0.7241299,0.04594431,0.0001890039,0.00009083678],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8810967,0.001479175,0.09056995,0.0004672357,0.002661471,0.0008081017,0.00003331096,0.0003646094,0.02251948],"genre_scores_gemma":[0.9996156,0.00009326576,0.00009456273,0.000003995272,0.0001000958,0.0000116048,7.074551e-7,0.0000156208,0.00006460882],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2861969,"threshold_uncertainty_score":0.3855095,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07680000264086553,"score_gpt":0.3313788733629829,"score_spread":0.2545788707221174,"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."}}