{"id":"W2952804803","doi":"10.32920/23688735.v1","title":"Hybrid Temporal Situation Calculus","year":2023,"lang":"en","type":"preprint","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; York University","funders":"","keywords":"Calculus (dental); Situation calculus; Computer science; Mathematics; Artificial intelligence; 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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004118811,0.0002288428,0.0002547506,0.0001385106,0.00009630343,0.0003450752,0.001330902,0.0001474827,0.00005235016],"category_scores_gemma":[0.00009993748,0.0001911434,0.0001623327,0.0001502638,0.00002928979,0.0001561913,0.002543323,0.00035051,0.001956545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008924917,"about_ca_system_score_gemma":0.0002494107,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004890679,"about_ca_topic_score_gemma":0.0001387395,"domain_scores_codex":[0.9983252,0.00006817179,0.0002629008,0.000733963,0.0003108523,0.0002989535],"domain_scores_gemma":[0.9986123,0.00006778294,0.0001357382,0.000935222,0.0001349447,0.0001139542],"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":[0.000007918188,0.0002634625,0.003642361,0.0003015369,0.0001696333,0.0004007823,0.003476782,0.001521722,0.00009785502,0.6482861,0.2506649,0.09116694],"study_design_scores_gemma":[0.0004299795,0.00008814281,0.007765505,0.0001216357,0.00002797177,0.00003133132,0.00003330861,0.7322474,0.002037982,0.2366333,0.01945719,0.0011262],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004257747,0.0001137219,0.9425873,0.0009691557,0.003303664,0.0002564951,0.000004544668,0.001391585,0.04711584],"genre_scores_gemma":[0.940695,0.00003802168,0.02405008,0.0002144967,0.0005167628,0.00006042999,0.00008774071,0.00002519903,0.03431226],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9364372,"threshold_uncertainty_score":0.9988205,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04612925268787869,"score_gpt":0.2791050075888089,"score_spread":0.2329757549009302,"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."}}