Équipe : Agent Cognitif et Apprentissage Symbolique Automatique (ACASA) Thématique : Découverte de conséquence, Déduction Automatique, Raisonnement Distribué, Système Multi Agents
Missions :
Prise en main de l'état de l'art Travail théorique et algorithmique de conception de variantes d'un algorithme : affiner les protocoles de communication en maximisant le parallélisme des raisonnements
Finaliser une étude expérimentale et d’en analyser les résultats pour évaluer les points forts et faiblesses de différentes variantes selon les contextes
