{"id":"W2138089556","doi":"","title":"Value-Directed Compression of POMDPs","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":99,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Lossy compression; Lossless compression; Mathematical optimization; Markov decision process; Partially observable Markov decision process; Set (abstract data type); Quality (philosophy); Compression (physics); Value (mathematics); Space (punctuation); Data compression; Artificial intelligence; Machine learning; Mathematics; Markov process; Statistics; Markov chain","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.002636338,0.0007753304,0.0008962708,0.0007837781,0.0004386314,0.0009935346,0.001164505,0.0007558402,0.002603927],"category_scores_gemma":[0.01720805,0.0004174262,0.0005761915,0.0008641375,0.001683585,0.002545703,0.001671467,0.001838902,0.0002360028],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001344131,"about_ca_system_score_gemma":0.0009421415,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001122935,"about_ca_topic_score_gemma":0.001033647,"domain_scores_codex":[0.9983141,0.0005579247,0.0001132933,0.0002616442,0.0005938386,0.000159207],"domain_scores_gemma":[0.9871892,0.01021461,0.0007108629,0.001059946,0.0005964366,0.0002288501],"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.0003043413,0.0001026578,0.0007828287,0.0001515125,0.00004104721,0.0002002723,0.0002025289,0.8794257,0.00355008,0.06704315,0.0006337887,0.04756218],"study_design_scores_gemma":[0.00004353007,0.00009582265,0.0001570274,0.00002623428,0.0000113281,0.00003377964,0.00003878673,0.9184276,0.003892104,0.07662103,0.0006421711,0.00001071187],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1241752,0.0002882598,0.8691409,0.0005956923,0.00004384667,0.0002927037,0.0003829865,0.000552195,0.004528292],"genre_scores_gemma":[0.8615552,0.0002013683,0.1356982,0.0001265057,0.00002764863,0.0004075149,0.0004010692,0.00006930174,0.00151317],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002636338,"threshold_uncertainty_score":0.01394248,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04777020344084489,"score_gpt":0.2804378409214108,"score_spread":0.232667637480566,"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."}}