{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002611223,0.001139426,0.0007422376,0.001150946,0.001104653,0.002681515,0.002285428,0.0008208104,0.003601749],"category_scores_gemma":[0.005293744,0.0007916646,0.002519796,0.0009477526,0.003103192,0.004803475,0.002846532,0.002954959,0.0005380515],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00226703,"about_ca_system_score_gemma":0.002626042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006899433,"about_ca_topic_score_gemma":0.005379167,"domain_scores_codex":[0.9967577,0.0008888112,0.0003082607,0.0004656741,0.001061499,0.0005182],"domain_scores_gemma":[0.9974861,0.0009878163,0.0002252833,0.000638429,0.0004645432,0.000197731],"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.00003829896,0.00003257718,0.000242994,0.00005933703,0.0000231234,0.000207959,0.0005837514,0.0282754,0.002002782,0.9597684,0.0004609476,0.008304439],"study_design_scores_gemma":[0.00005102735,0.00005003547,0.000128238,0.00003455499,0.00005428022,0.0001231605,0.0001120567,0.1721264,0.003550844,0.8085748,0.01516116,0.00003340776],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01271427,0.00009392009,0.9799733,0.000168872,0.00004965017,0.0001170841,0.0001161219,0.0008942717,0.005872455],"genre_scores_gemma":[0.4461788,0.0002843169,0.5450075,0.0001950863,0.0001008449,0.0005232595,0.0003826849,0.0002768646,0.007050564],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006899433,"threshold_uncertainty_score":0.01644856,"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."}}