{"id":"W4391637579","doi":"10.32920/25190978","title":"Heuristic Planning for Continuous Systems in Hybrid Temporal Situation Calculus","year":2024,"lang":"en","type":"preprint","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; University of Toronto","funders":"","keywords":"Planner; Heuristic; Scalability; Domain (mathematical analysis); Computer science; Linear programming; Discretization; Set (abstract data type); Transition system; Mathematical optimization; State (computer science); Hybrid system; Polynomial; Time complexity; Theoretical computer science; Algorithm; Mathematics; Artificial intelligence; Programming language; Machine learning","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001101937,0.0003136046,0.0004752794,0.0003355927,0.00008736317,0.0007973159,0.0007596544,0.0002004639,0.000002683341],"category_scores_gemma":[0.0001144209,0.0002955792,0.0001217852,0.0001717445,0.00001762737,0.000097618,0.0008245696,0.0006988769,0.00004264206],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001531319,"about_ca_system_score_gemma":0.0003371612,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001339024,"about_ca_topic_score_gemma":0.00001941216,"domain_scores_codex":[0.9977486,0.0001065473,0.0005904635,0.000854489,0.0002794552,0.0004204319],"domain_scores_gemma":[0.9986486,0.0004035821,0.000208202,0.0005475379,0.0001019754,0.00009006524],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007638245,0.0001489174,0.006704862,0.007830948,0.0002438793,0.001502202,0.007976984,0.7793819,0.0001138009,0.08655746,0.08674571,0.02271694],"study_design_scores_gemma":[0.0002227409,0.00006353463,0.00007990072,0.001683622,0.00001932829,0.00002995924,0.00005969925,0.982655,0.00005054036,0.01285453,0.001890334,0.0003907756],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0104411,0.00377397,0.9782155,0.0005109856,0.003382139,0.000935157,0.00005249782,0.0006197697,0.002068927],"genre_scores_gemma":[0.9752691,0.000003101076,0.02245967,0.00008952957,0.0002627497,0.0002409961,0.0001792559,0.00002984088,0.001465753],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.964828,"threshold_uncertainty_score":0.9999496,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03044736382712137,"score_gpt":0.2853578512730612,"score_spread":0.2549104874459398,"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."}}