{"id":"W3207585702","doi":"10.24963/kr.2021/21","title":"The Nondeterministic Situation Calculus","year":2021,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Nondeterministic algorithm; Computer science; Situation calculus; Extension (predicate logic); Theoretical computer science; Frame (networking); Projection (relational algebra); Calculus (dental); Programming language; Algorithm","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.000141413,0.0000502009,0.00004905279,0.000008920279,0.0002224083,0.0002266795,0.0003397421,0.0000230897,0.00003384102],"category_scores_gemma":[0.0001501652,0.00002986531,0.00003612975,0.00016044,0.00002294756,0.0001010335,0.0001618926,0.00004530558,0.0003208146],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001623004,"about_ca_system_score_gemma":0.00009861653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005578799,"about_ca_topic_score_gemma":0.00009275237,"domain_scores_codex":[0.9994478,0.00004265862,0.00008484128,0.0001656992,0.0001148902,0.0001441529],"domain_scores_gemma":[0.9993286,0.0001611007,0.00002253511,0.0003539718,0.00009234312,0.00004146641],"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":[6.301162e-7,0.00002482419,0.0001177762,0.000002390496,0.000005738129,0.0000385928,0.0005247261,0.000003941657,0.000418564,0.8889873,0.003459607,0.1064159],"study_design_scores_gemma":[0.00076868,0.0001576064,0.01611052,0.00001967336,0.00002089608,0.0002611302,0.0003449598,0.6026048,0.02697599,0.07873005,0.2734187,0.0005869902],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002267749,0.0002274848,0.778437,0.0011958,0.0006208451,0.00003935567,1.433373e-7,0.0001045087,0.2171072],"genre_scores_gemma":[0.9735531,0.00001919849,0.004762862,0.0003239399,0.00008222849,0.000005729757,9.245157e-7,0.000002480544,0.02124949],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9712854,"threshold_uncertainty_score":0.4123529,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01411499376513546,"score_gpt":0.2452534196277007,"score_spread":0.2311384258625652,"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."}}