{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002754968,0.001076898,0.0008232222,0.001531453,0.001081056,0.002759211,0.00170109,0.001112497,0.01083401],"category_scores_gemma":[0.00726318,0.0009643091,0.002526835,0.00109415,0.003387093,0.003851575,0.003220795,0.002160398,0.001478071],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002218741,"about_ca_system_score_gemma":0.003303695,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01570964,"about_ca_topic_score_gemma":0.0256648,"domain_scores_codex":[0.998553,0.0003395793,0.0001655645,0.0003206618,0.0003518746,0.000269304],"domain_scores_gemma":[0.9976304,0.001547734,0.0001493515,0.0003101828,0.0002621681,0.0001002544],"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.0002966146,0.0001389676,0.001144904,0.0006629316,0.0001218046,0.0008071329,0.0009797481,0.3681937,0.002503723,0.4938719,0.005200615,0.126078],"study_design_scores_gemma":[0.0001017792,0.00005532544,0.0002078464,0.0001661593,0.00009817903,0.00006171245,0.000221955,0.4195599,0.003912498,0.563113,0.01246076,0.0000408847],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009008159,0.0001515985,0.9803911,0.0005585103,0.00007423961,0.000246048,0.0005568398,0.002087493,0.006925877],"genre_scores_gemma":[0.2871853,0.0005178599,0.7050756,0.0002449732,0.0001217986,0.0006841738,0.00154136,0.0003374502,0.004291513],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01570964,"threshold_uncertainty_score":0.03624338,"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."}}