{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008545299,0.0008623425,0.0007132611,0.0003675469,0.0007725607,0.000667805,0.0005841952,0.0006245045,0.0001933521],"category_scores_gemma":[0.0001750035,0.0008158677,0.0001310711,0.0007774311,0.0001968872,0.0004123657,0.00004978497,0.001333966,0.0000634265],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002713834,"about_ca_system_score_gemma":0.001228218,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006478307,"about_ca_topic_score_gemma":0.0001063485,"domain_scores_codex":[0.9959932,0.0003487737,0.0006475652,0.001363012,0.0007729974,0.0008744831],"domain_scores_gemma":[0.9970688,0.0004066267,0.000914642,0.0008954211,0.0004345731,0.0002799978],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001699082,0.0007312667,0.04928629,0.008837584,0.001445185,0.002005714,0.2417099,0.04818095,0.008840836,0.1146863,0.01037804,0.5121988],"study_design_scores_gemma":[0.0112235,0.02781301,0.07037006,0.1299452,0.004515847,0.007298066,0.1330589,0.3104299,0.1635391,0.03211454,0.07141712,0.03827471],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1670928,0.001978868,0.7677887,0.0006402739,0.001764311,0.002662568,0.00001728039,0.001421929,0.05663327],"genre_scores_gemma":[0.8122699,0.00005490098,0.1756093,0.000280163,0.0001873941,0.0002533182,0.0002492563,0.0001379162,0.01095783],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6451771,"threshold_uncertainty_score":0.9994292,"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."}}