{"id":"W2012388794","doi":"10.3166/ria.20.31-62","title":"Abstraction de réseaux de contraintes","year":2006,"lang":"fr","type":"article","venue":"Revue d intelligence artificielle","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Cluster analysis; Abstraction; Computer science; Constraint (computer-aided design); Simple (philosophy); Solver; Theoretical computer science; Variable (mathematics); Constraint satisfaction problem; Mathematics; Artificial intelligence; Programming language; Epistemology","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003621739,0.001381038,0.001003193,0.001340106,0.001024854,0.002511561,0.002419292,0.001227788,0.008011543],"category_scores_gemma":[0.007439706,0.0007680942,0.002918603,0.001481926,0.002318256,0.0052478,0.003305492,0.003463174,0.001311274],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001537548,"about_ca_system_score_gemma":0.001270872,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003815275,"about_ca_topic_score_gemma":0.006021689,"domain_scores_codex":[0.9946938,0.001543943,0.0003237085,0.0008310371,0.002244694,0.0003628631],"domain_scores_gemma":[0.9972492,0.001334651,0.0001788178,0.000678441,0.0004434325,0.0001155142],"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.0001111489,0.00005134779,0.000561455,0.0003154357,0.0001126732,0.0004001418,0.0006363477,0.0600034,0.005483263,0.8276544,0.003611962,0.1010585],"study_design_scores_gemma":[0.00005971354,0.00007598718,0.0003527027,0.000102126,0.0000942752,0.0005066626,0.0002498552,0.3593821,0.01202334,0.5342203,0.09286162,0.00007127907],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005442426,0.0001978734,0.9878811,0.000190831,0.00006452955,0.00006298353,0.0001213609,0.0006228624,0.005415957],"genre_scores_gemma":[0.1261175,0.0005595615,0.8617173,0.0002545746,0.0001352528,0.0001930036,0.0007145215,0.0004491604,0.009859038],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008011543,"threshold_uncertainty_score":0.02680129,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03174281118606292,"score_gpt":0.2714733735190063,"score_spread":0.2397305623329434,"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."}}