{"id":"W15018536","doi":"10.1021/ic035133a","title":"Compiling control knowledge into preconditions for planning in the situation calculus","year":2003,"lang":"en","type":"article","venue":"International Joint Conference on Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Situation calculus; Computer science; Calculus (dental); Domain (mathematical analysis); Control (management); Action (physics); Plan (archaeology); Transformation (genetics); Domain knowledge; Mathematics; Artificial intelligence","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.00130188,0.0001842188,0.0001770172,0.0002627145,0.0002872568,0.0004085778,0.0008670391,0.00007886625,0.00006455375],"category_scores_gemma":[0.0006647562,0.0001566198,0.00009284327,0.0002694157,0.00007095085,0.0003430216,0.0000339397,0.0003006695,0.0001288292],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001075455,"about_ca_system_score_gemma":0.0001899006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004835557,"about_ca_topic_score_gemma":0.0001128557,"domain_scores_codex":[0.9981744,0.0002361176,0.0005536551,0.0004345515,0.0003069133,0.0002943068],"domain_scores_gemma":[0.9981292,0.001003099,0.0001760358,0.0002977414,0.0003339506,0.00005998374],"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.00002209378,0.0001437509,0.0001554738,0.000007944912,0.00001589164,0.000007229693,0.005330787,0.01991255,0.0009512255,0.9470363,0.000168168,0.02624861],"study_design_scores_gemma":[0.0001190942,0.0001419324,0.0002740055,0.0001847728,0.00000580754,0.00001190265,0.0008362976,0.7362582,0.007382358,0.2533167,0.001246732,0.0002221867],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007698413,0.00004797758,0.9790526,0.003618504,0.0009327747,0.0004367145,0.0000143117,0.00007316376,0.008125515],"genre_scores_gemma":[0.9888145,0.00000389154,0.01019204,0.0006242846,0.0001049291,0.0001632186,0.00002539653,0.000008202656,0.00006356457],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9811161,"threshold_uncertainty_score":0.6386771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1388539723988244,"score_gpt":0.3607942404534089,"score_spread":0.2219402680545845,"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."}}