{"id":"W2572958716","doi":"10.3233/978-1-61499-672-9-408","title":"Situation Calculus Game Structures and GDL","year":2022,"lang":"en","type":"article","venue":"Minerva Access (University of Melbourne)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Correctness; Situation calculus; Computer science; Action (physics); Translation (biology); Calculus (dental); Programming language","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.0001935384,0.00009430131,0.0001619706,0.0001495505,0.0003975081,0.00007291693,0.001164175,0.00003654422,0.0002358277],"category_scores_gemma":[0.00002026229,0.0001055688,0.00005771452,0.0003666711,0.00007705141,0.0007549805,0.001355846,0.0001316146,0.000004054194],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005277888,"about_ca_system_score_gemma":0.00006067184,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006622003,"about_ca_topic_score_gemma":0.0002487849,"domain_scores_codex":[0.9991119,0.0000924807,0.00007991006,0.0002784956,0.000264828,0.0001723655],"domain_scores_gemma":[0.9994044,0.00004663361,0.0001318411,0.000254567,0.00007891533,0.000083666],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0001847843,0.0005315398,0.03459718,0.000243596,0.0002742857,0.0004997351,0.0668073,0.003413112,0.00877606,0.4203207,0.02730917,0.4370426],"study_design_scores_gemma":[0.004986293,0.0006280718,0.5747849,0.00004143791,0.0001534085,0.0002842515,0.006486465,0.2815439,0.001549529,0.04656018,0.08164982,0.001331823],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8661976,0.000438205,0.126639,0.001096519,0.0002847649,0.0001165058,0.000006114172,0.0000768627,0.005144411],"genre_scores_gemma":[0.9954769,0.00002414015,0.002378686,0.00007196488,0.00003120575,3.261769e-7,0.000004898036,0.000003873102,0.002008019],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5401877,"threshold_uncertainty_score":0.4304973,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02152996277161586,"score_gpt":0.2274170165466668,"score_spread":0.2058870537750509,"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."}}