{"id":"W2152601355","doi":"","title":"Downward Path Preserving State Space Abstractions (Extended Abstract)","year":2009,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta; University of Regina","funders":"","keywords":"Spurious relationship; Abstraction; State space; Property (philosophy); State (computer science); Heuristic; Path (computing); Space (punctuation); Computer science; Algorithm; Function (biology); Theoretical computer science; Mathematics; Artificial intelligence; Programming language","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.0003690016,0.0001664788,0.000140185,0.00009806002,0.0002602775,0.0003356051,0.0006866897,0.00006186594,0.0001748045],"category_scores_gemma":[0.00003622293,0.0001484303,0.00006807726,0.0002220664,0.00001455955,0.0008441726,0.00008162045,0.0002952158,0.00029822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000343972,"about_ca_system_score_gemma":0.00009147077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001799146,"about_ca_topic_score_gemma":0.0000180238,"domain_scores_codex":[0.998624,0.00002746124,0.0002471916,0.0003890967,0.0002840796,0.0004282162],"domain_scores_gemma":[0.9989282,0.0001157546,0.0001095146,0.0006029945,0.0000762358,0.0001672944],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00006209886,0.0008752921,0.0031807,0.0001091527,0.0001019327,0.0005929065,0.007498828,0.05425057,0.01822738,0.1080568,0.2076186,0.5994257],"study_design_scores_gemma":[0.001624704,0.0008159998,0.4857424,0.0003331976,0.00003495819,0.0001896595,0.0002885183,0.2396998,0.01356734,0.1333952,0.1220369,0.002271292],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03974753,0.0002721853,0.7662519,0.009151429,0.0005018763,0.0002768378,0.00000994884,0.001612694,0.1821757],"genre_scores_gemma":[0.9108135,0.00001553268,0.08406048,0.000578846,0.00005607976,0.000004031279,0.000004986533,0.00000712259,0.004459438],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.871066,"threshold_uncertainty_score":0.6052813,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01401850327265828,"score_gpt":0.2482026527452419,"score_spread":0.2341841494725836,"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."}}