{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004703165,0.0006358193,0.00134731,0.000884405,0.001536936,0.003232761,0.002560179,0.001872651,0.005804843],"category_scores_gemma":[0.04263727,0.00110536,0.001879535,0.001603038,0.004259349,0.01244948,0.005624299,0.005291353,0.000519896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001456561,"about_ca_system_score_gemma":0.002429312,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005814466,"about_ca_topic_score_gemma":0.006729329,"domain_scores_codex":[0.9950697,0.00227839,0.0002943024,0.000494277,0.001417347,0.000446006],"domain_scores_gemma":[0.9611734,0.03209414,0.0008730079,0.004625458,0.0008952931,0.0003387349],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006419058,0.0001295929,0.002229356,0.0005577931,0.0001253944,0.0002034542,0.0009592897,0.3977382,0.002604924,0.4163823,0.003968169,0.1744596],"study_design_scores_gemma":[0.00003364312,0.0000383477,0.0002381988,0.00003668384,0.0000442584,0.00005491697,0.000116259,0.6011508,0.001348999,0.395742,0.001178201,0.00001777228],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05213757,0.0004684096,0.9369516,0.002229066,0.0000633973,0.00008013161,0.0001289994,0.0007435815,0.007197173],"genre_scores_gemma":[0.6260109,0.0005964741,0.3696315,0.0003525395,0.00007701452,0.0001970617,0.000304991,0.0002750054,0.002554433],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005814466,"threshold_uncertainty_score":0.02487302,"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."}}