{"id":"W7132963019","doi":"","title":"Probabilistic planning with constraint satisfaction techniques","year":2003,"lang":"","type":"dissertation","venue":"TSpace","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bank of Canada","funders":"","keywords":"Probabilistic logic; Reachability; Constraint (computer-aided design); Abstraction; Probabilistic relevance model; Constraint satisfaction problem; Constraint satisfaction; Probabilistic CTL","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.003433963,0.001379391,0.0007785626,0.001320844,0.0009912249,0.001851496,0.002175403,0.001028014,0.007330391],"category_scores_gemma":[0.01352432,0.0009257169,0.001866769,0.003367483,0.0017923,0.002963359,0.002617107,0.003224179,0.001426512],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001239245,"about_ca_system_score_gemma":0.002974352,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007910105,"about_ca_topic_score_gemma":0.01065934,"domain_scores_codex":[0.9954507,0.001877318,0.000277802,0.0004373074,0.001763307,0.0001936606],"domain_scores_gemma":[0.9919761,0.006495553,0.0003572917,0.0005907848,0.0004903961,0.00008999766],"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.00008516644,0.000130124,0.0004473946,0.0009279696,0.0001970521,0.0001792191,0.0004007376,0.428969,0.003516928,0.2966285,0.008487395,0.2600306],"study_design_scores_gemma":[0.00008558629,0.00006391608,0.0001418583,0.0001055423,0.00006779788,0.0001552048,0.0001236247,0.7473575,0.005152791,0.2157831,0.03092633,0.00003667935],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0011625,0.0002084053,0.9946952,0.0002487301,0.0000172713,0.00009544966,0.00008199354,0.0003971426,0.003093432],"genre_scores_gemma":[0.04813365,0.0007786685,0.9483711,0.0001642833,0.00004429057,0.0003561538,0.0003323067,0.0001572095,0.001662335],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007910105,"threshold_uncertainty_score":0.0245226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02394994008132698,"score_gpt":0.3142242256916541,"score_spread":0.2902742856103272,"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."}}