{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002172261,0.0005247662,0.0005012376,0.0009880546,0.001131985,0.002515247,0.001659294,0.000975429,0.006496285],"category_scores_gemma":[0.002465717,0.0004686934,0.001538923,0.0009024156,0.003620146,0.004049201,0.002283319,0.0024596,0.0009708451],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002094078,"about_ca_system_score_gemma":0.001350429,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004209051,"about_ca_topic_score_gemma":0.002636099,"domain_scores_codex":[0.9980143,0.0005327803,0.0001756604,0.0004200184,0.000647824,0.0002094424],"domain_scores_gemma":[0.998451,0.0006727932,0.0001003114,0.000288832,0.0003710809,0.000115956],"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.00000921592,0.000008817152,0.00006854246,0.00002850134,0.000008202071,0.00009006507,0.0001733112,0.002813753,0.0006274859,0.9911073,0.0005439055,0.004520976],"study_design_scores_gemma":[0.00003303681,0.00002428781,0.0001281849,0.00003316165,0.00003615144,0.0001728588,0.0001064869,0.05926427,0.001825754,0.9007949,0.03755341,0.00002751768],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01140951,0.0005614102,0.9402288,0.001027583,0.0001969704,0.0001303333,0.0003851787,0.000902502,0.0451576],"genre_scores_gemma":[0.4722012,0.0005924184,0.5051848,0.0006031463,0.0001838504,0.0003893119,0.0005219107,0.0001826554,0.02014075],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006496285,"threshold_uncertainty_score":0.02173221,"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."}}