{"id":"W1977070092","doi":"10.1016/s0004-3702(02)00378-8","title":"On the undecidability of probabilistic planning and related stochastic optimization problems","year":2003,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":241,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia; University of Alberta","funders":"","keywords":"Undecidable problem; Probabilistic logic; Markov decision process; Computer science; Partially observable Markov decision process; Markov chain; Class (philosophy); Mathematical optimization; State (computer science); Decision problem; Mathematics; Markov process; Artificial intelligence; Theoretical computer science; Decidability; Markov model; Algorithm; 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":[],"consensus_categories":[],"category_scores_codex":[0.001065946,0.0001193153,0.0001280857,0.00006019153,0.0002147254,0.00008505073,0.0003097351,0.00006080426,0.00003780094],"category_scores_gemma":[0.00137552,0.00008780354,0.00002948837,0.0004467982,0.0001522645,0.0001337454,0.00004715837,0.0001843467,0.0000126646],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002439322,"about_ca_system_score_gemma":0.0000655177,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001699008,"about_ca_topic_score_gemma":0.000002738314,"domain_scores_codex":[0.9987026,0.0002000484,0.0003784761,0.0003230828,0.0001948612,0.0002009606],"domain_scores_gemma":[0.9979774,0.001348518,0.0001490435,0.0003766626,0.00009677036,0.00005165335],"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.000003883408,0.00002523405,0.00005924074,0.000009003177,0.000004012402,7.26627e-7,0.0007607871,0.5743716,0.00004171914,0.423344,0.000005462266,0.001374272],"study_design_scores_gemma":[0.00001128562,0.0001143984,0.00003417648,0.00008647182,0.00000444626,0.000005194679,0.00007623654,0.6151718,0.001432207,0.382975,0.00000398459,0.00008479357],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02582436,0.0001116652,0.9720697,0.0003974023,0.0001558374,0.0003288565,0.000001109285,0.00006455543,0.00104655],"genre_scores_gemma":[0.9900802,0.000001200576,0.009817971,0.00005219369,0.000005387605,0.00001736902,0.000001040883,0.000006216857,0.00001840748],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9642559,"threshold_uncertainty_score":0.3580525,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05360566751266353,"score_gpt":0.2694234057961437,"score_spread":0.2158177382834802,"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."}}