{"id":"W4384296680","doi":"10.32920/23688762","title":"Hybrid Temporal Situation Calculus","year":2023,"lang":"en","type":"preprint","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; York University","funders":"","keywords":"Situation calculus; Action (physics); Automaton; Calculus (dental); Hybrid automaton; Computer science; Mathematics; Theoretical computer science; Artificial intelligence; Physics","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.002225439,0.0006248225,0.0004898041,0.0009931731,0.0009329493,0.002218172,0.001359249,0.0007507993,0.006968393],"category_scores_gemma":[0.00277334,0.000520785,0.001566683,0.0008706338,0.002799855,0.003861643,0.001884985,0.002313424,0.00133466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001797855,"about_ca_system_score_gemma":0.001362676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004458231,"about_ca_topic_score_gemma":0.002127744,"domain_scores_codex":[0.9976597,0.0005763076,0.0001770631,0.0005230845,0.0008268857,0.0002369038],"domain_scores_gemma":[0.9983402,0.000660885,0.0001061099,0.0003147106,0.0004789565,0.00009906729],"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.0000196074,0.00001319239,0.0001099166,0.00004167375,0.00001277926,0.0001269696,0.0002046281,0.004724845,0.001298003,0.9837437,0.001187616,0.008517017],"study_design_scores_gemma":[0.00004033035,0.00003316943,0.0001919726,0.00004004235,0.00005251498,0.0002096725,0.00008934582,0.07572269,0.003704479,0.8631835,0.05669497,0.00003736046],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01090992,0.0004752802,0.9439154,0.0008618478,0.0002115933,0.0001370541,0.0004839247,0.001527438,0.04147761],"genre_scores_gemma":[0.5091131,0.0006813987,0.4559427,0.0006835081,0.0002489158,0.0004103386,0.0008323828,0.0004092967,0.03167855],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006968393,"threshold_uncertainty_score":0.02331156,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09078279154764969,"score_gpt":0.3409181223353435,"score_spread":0.2501353307876938,"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."}}