{"id":"W1977283395","doi":"10.1016/j.artint.2002.02.001","title":"A formal analysis of why heuristic functions work","year":2005,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor; Carleton University","funders":"","keywords":"Heuristics; Computer science; Heuristic; Mathematical proof; Range (aeronautics); Mathematical optimization; Theoretical computer science; Algorithm; Mathematics; Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005121496,0.0008065635,0.0008068675,0.00204707,0.001994948,0.006338366,0.003249737,0.003049551,0.0155815],"category_scores_gemma":[0.0344249,0.001107671,0.002055275,0.002251225,0.008193957,0.0166217,0.002289751,0.003758226,0.001705044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002631511,"about_ca_system_score_gemma":0.002331419,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002951946,"about_ca_topic_score_gemma":0.002416136,"domain_scores_codex":[0.9956949,0.001892129,0.0002621681,0.0004627084,0.001129497,0.0005585764],"domain_scores_gemma":[0.9792998,0.01611321,0.0007294028,0.002174368,0.001448158,0.0002349767],"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.00000912275,0.00001426484,0.00008543734,0.00003837786,0.000006738059,0.00003226231,0.0001515239,0.001930897,0.0001272584,0.9925237,0.0008340345,0.004246317],"study_design_scores_gemma":[0.00001229643,0.00000745778,0.00005890929,0.00002603446,0.00001010744,0.00006932194,0.0001094155,0.01272555,0.0003258194,0.983163,0.003482344,0.000009713856],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01539346,0.0007225347,0.9310845,0.005883921,0.0001478502,0.00009912105,0.0001527755,0.0004041458,0.04611186],"genre_scores_gemma":[0.5805014,0.001156681,0.4013482,0.001432742,0.000392107,0.0003979814,0.0003504612,0.00055547,0.01386492],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0155815,"threshold_uncertainty_score":0.05212539,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04232528915073432,"score_gpt":0.2895077866792107,"score_spread":0.2471824975284764,"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."}}