{"id":"W2161241946","doi":"10.1016/j.artint.2010.06.002","title":"The computational complexity of avoiding spurious states in state space abstraction","year":2010,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta; University of Regina","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Spurious relationship; Abstraction; State space; Property (philosophy); Computer science; Path (computing); Heuristic; State (computer science); Space (punctuation); Computational complexity theory; Theoretical computer science; Algorithm; Mathematics; Programming language; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.001097949,0.00009688202,0.0001076477,0.00007778637,0.0003481425,0.0001528896,0.000492522,0.00003786603,0.00001130859],"category_scores_gemma":[0.0001687661,0.00008101809,0.00003459114,0.0003289746,0.0002399369,0.0002482974,0.00007904445,0.0004454908,0.00004907926],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001912105,"about_ca_system_score_gemma":0.00008453397,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008078025,"about_ca_topic_score_gemma":0.00187314,"domain_scores_codex":[0.9988058,0.00008967411,0.0003959736,0.0002245428,0.0002349693,0.0002490073],"domain_scores_gemma":[0.9983435,0.00106476,0.0001752704,0.0002478239,0.0001196479,0.00004895405],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003645636,0.00009380145,0.002174189,0.00001614651,0.00001021959,0.00001263438,0.005099569,0.2606616,0.007489808,0.5944145,0.00009806975,0.129893],"study_design_scores_gemma":[0.00001294096,0.0000325498,0.002096897,0.00001706712,9.477935e-7,0.00000505317,0.0001739494,0.4998043,0.03319788,0.4643337,0.0002339041,0.0000907641],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3954875,0.0000321051,0.6020415,0.00162022,0.0004530069,0.00009353962,0.000004198391,0.00004866144,0.000219334],"genre_scores_gemma":[0.9792128,0.000009612818,0.02067797,0.00003898593,0.00002820168,0.000003869874,0.000004059436,0.000004843062,0.0000196076],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5837254,"threshold_uncertainty_score":0.3303822,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05427877028977152,"score_gpt":0.300442453515034,"score_spread":0.2461636832252624,"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."}}