{"id":"W1992651326","doi":"10.3166/isi.13.2.33-52","title":"Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents","year":2008,"lang":"fr","type":"article","venue":"Ingénierie des systèmes d information","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Physics","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.03626421,0.002129939,0.002511252,0.003519429,0.003595667,0.01386947,0.005979922,0.009834206,0.006619619],"category_scores_gemma":[0.06490098,0.002750301,0.004531709,0.002745126,0.00963474,0.01333675,0.005838936,0.0130035,0.002985911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003656334,"about_ca_system_score_gemma":0.007696641,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01232882,"about_ca_topic_score_gemma":0.005993352,"domain_scores_codex":[0.9520928,0.02377602,0.003183058,0.005000693,0.01466332,0.001284143],"domain_scores_gemma":[0.9507707,0.02808842,0.002148919,0.01010079,0.007914403,0.0009768353],"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.0006513592,0.0004243359,0.001309159,0.001101381,0.0003123924,0.001400463,0.003152131,0.06415453,0.01757609,0.7610882,0.004685522,0.1441445],"study_design_scores_gemma":[0.000684897,0.0004818625,0.0005030328,0.001256446,0.0002763405,0.001393338,0.0008292923,0.5093334,0.0329018,0.3413606,0.1106824,0.0002966466],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002109729,0.0002459635,0.9939474,0.0007507084,0.00009945967,0.0002012199,0.00003098934,0.00104941,0.001565023],"genre_scores_gemma":[0.07044986,0.0007475209,0.9197671,0.0007560708,0.000138987,0.000990311,0.0002538836,0.0005545603,0.006341685],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03626421,"threshold_uncertainty_score":0.1917858,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05266001352169684,"score_gpt":0.2824723204964935,"score_spread":0.2298123069747966,"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."}}