{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001328696,0.0005530461,0.0004961642,0.0005434102,0.001181103,0.0008744077,0.0006018347,0.0004908209,0.00007748607],"category_scores_gemma":[0.0005798074,0.0005757298,0.0002511782,0.001014541,0.0003339337,0.01539371,0.0001918499,0.0003702821,0.001090931],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001538077,"about_ca_system_score_gemma":0.00047992,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002222716,"about_ca_topic_score_gemma":0.00007583913,"domain_scores_codex":[0.9957998,0.0007083873,0.001542865,0.0004495975,0.0007755775,0.000723807],"domain_scores_gemma":[0.9968163,0.0002752639,0.001260807,0.0005562035,0.000854242,0.0002371926],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000281292,0.00113467,0.01303791,0.01044267,0.0005288782,0.00006427281,0.3983043,0.02435531,0.002972056,0.01822649,0.01375546,0.5168967],"study_design_scores_gemma":[0.004826589,0.0004073502,0.06713304,0.0043289,0.000127662,0.001442619,0.009319738,0.7723629,0.01608852,0.002221132,0.1201133,0.001628249],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1503564,0.0003818215,0.8313615,0.0003051004,0.002056432,0.005835239,0.00004009335,0.000413795,0.009249642],"genre_scores_gemma":[0.9580091,0.0002951687,0.03489826,0.000099261,0.0003315856,0.001754767,0.0002173099,0.00004480718,0.004349803],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8076526,"threshold_uncertainty_score":0.9996868,"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."}}