{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0138422,0.001494079,0.002259814,0.002524129,0.003748929,0.005633299,0.004581667,0.00416935,0.005897311],"category_scores_gemma":[0.07980794,0.001594662,0.004180094,0.002531146,0.01111162,0.01428337,0.006013509,0.01342544,0.0004412819],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004525976,"about_ca_system_score_gemma":0.005724023,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01166731,"about_ca_topic_score_gemma":0.009369778,"domain_scores_codex":[0.9893017,0.004871311,0.0007154458,0.001400809,0.002557157,0.001153536],"domain_scores_gemma":[0.8401388,0.1450468,0.004054973,0.004930226,0.003912576,0.00191666],"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.000224896,0.0001863782,0.001133587,0.0002856448,0.0001071765,0.0001968979,0.0004788497,0.09546062,0.0003835755,0.8791046,0.005766982,0.01667092],"study_design_scores_gemma":[0.00004919009,0.00001707129,0.0001098304,0.00002921579,0.00002260842,0.00002804724,0.00005040224,0.09281543,0.0001714391,0.9059169,0.0007764639,0.00001344547],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1244371,0.00359648,0.7821863,0.03219043,0.0007280434,0.0003470806,0.001255591,0.001094871,0.05416416],"genre_scores_gemma":[0.8178386,0.003188196,0.1608537,0.004046239,0.001532539,0.000677239,0.001694632,0.0004529408,0.009715996],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0138422,"threshold_uncertainty_score":0.07320547,"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."}}