{"id":"W2979145587","doi":"10.4018/978-1-60960-845-3.ch008","title":"Logical Methods for Self-Configuration of Network Devices","year":2011,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal; Université du Québec à Chicoutimi","funders":"","keywords":"Scripting language; Computer science; Template; Programming language; Logical conjunction; Constraint (computer-aided design); Point (geometry); Logical consequence; Theoretical computer science; Mathematics; Artificial intelligence; Geometry","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001101801,0.0003326561,0.0005104842,0.00004998943,0.00009237155,0.00006729596,0.001163685,0.0005221288,0.00001495502],"category_scores_gemma":[0.00006528934,0.0003063892,0.0002488099,0.00003605546,0.0001100257,0.0001499762,0.0002050795,0.0001784329,0.00002712639],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001139377,"about_ca_system_score_gemma":0.0001579596,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009201592,"about_ca_topic_score_gemma":0.00000436853,"domain_scores_codex":[0.9981259,0.0001301583,0.0006401595,0.0005591153,0.0002323361,0.0003123964],"domain_scores_gemma":[0.9978651,0.0001719494,0.0007144322,0.0008376887,0.0003096547,0.0001011284],"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.00001828881,0.000007270962,0.000001845626,0.00005524292,0.0000535288,7.950975e-7,0.00006304406,0.000006269813,0.00001675857,0.8606306,0.0002472658,0.1388991],"study_design_scores_gemma":[0.0001482557,0.0002364261,0.0000491432,0.00008876228,0.00007024033,0.00001424204,0.000001159427,0.002274333,0.001032139,0.9199807,0.07578172,0.0003228936],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[8.383428e-7,0.0002054778,0.5273929,0.000007981583,0.0005665897,0.0003654551,0.000008051822,0.0001260057,0.4713267],"genre_scores_gemma":[0.001236793,0.000005277688,0.9935466,0.0002052996,0.0002594296,0.00004745205,0.000003248582,0.00001936212,0.004676528],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4666502,"threshold_uncertainty_score":0.9999388,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0667305861970299,"score_gpt":0.341985615176727,"score_spread":0.2752550289796971,"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."}}