{"id":"W2548305205","doi":"10.7939/r3543x","title":"Downward Path Preserving State Space Abstractions","year":2009,"lang":"en","type":"article","venue":"University of Alberta Library","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Spurious relationship; Abstraction; Heuristics; Property (philosophy); Computer science; State space; Domain (mathematical analysis); Path (computing); Heuristic; Theoretical computer science; Benchmark (surveying); State (computer science); Algorithm; Mathematics; Artificial intelligence; Programming language; 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.00004684097,0.00008189857,0.0001022755,0.00009191012,0.0001654584,0.00005241429,0.0006824314,0.00004231067,0.0001742212],"category_scores_gemma":[0.000008196655,0.00009505224,0.00005605823,0.0001885438,0.00002388091,0.001849238,0.0001563079,0.0001300822,0.00005372548],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008088463,"about_ca_system_score_gemma":0.00008668842,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006555675,"about_ca_topic_score_gemma":0.00002167476,"domain_scores_codex":[0.9994026,0.00003546962,0.0000767298,0.0002010019,0.0001113148,0.0001728867],"domain_scores_gemma":[0.9993365,0.0001384258,0.00008561353,0.0003298537,0.00001565121,0.00009395971],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000277644,0.0007889823,0.0726655,0.0002111747,0.0002022063,0.000623826,0.0859356,0.03049694,0.002115398,0.1599969,0.5769461,0.06973968],"study_design_scores_gemma":[0.002099309,0.0009153187,0.1998819,0.0005948793,0.00006361914,0.00005097817,0.001475565,0.1227099,0.004556354,0.03705446,0.6290733,0.001524483],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4265098,0.0003039615,0.1634443,0.02892078,0.0002988816,0.0002731416,0.00001382874,0.000652217,0.3795832],"genre_scores_gemma":[0.8917848,0.00004551496,0.08170571,0.0003214031,0.00002340285,3.691127e-8,0.00001705146,0.000006260376,0.02609577],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4652751,"threshold_uncertainty_score":0.3876118,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006964493916080314,"score_gpt":0.172425118101203,"score_spread":0.1654606241851227,"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."}}