Glossaire IA
Le dictionnaire complet de l'Intelligence Artificielle
Théorème CAP
Principe fondamental en systèmes distribuus stipulant qu'il est impossible de garantir simultanément la Cohérence (Consistency), la Disponibilité (Availability) et la Tolérance au partitionnement (Partition tolerance) dans un système réparti.
Protocole Paxos
Algorithme de consensus basé sur les quorums, tolérant aux pannes, qui assure la cohérence et la sécurité d'un système distribué en permettant à un ensemble d'agents de s'accorder sur une seule valeur.
Protocole Raft
Algorithme de consensus alternatif à Paxos, conçu pour être plus compréhensible, qui utilise un modèle de leader élu pour gérer la réplication du journal et assurer la cohérence entre les agents.
Prise de Décision Collective
Processus par lequel un groupe d'agents autonomes et hétérogènes parviennent à une décision unifiée, souvent par agrégation de préférences individuelles ou par délibération interactive.
Fusion de Croyances (Belief Fusion)
Processus de combinaison d'informations ou de croyances provenant de multiples agents, souvent conflictuelles, pour former une base de connaissances unique et cohérente.
Théorie de l'Argumentation
Modèle computationnel où les agents construisent, échangent et évaluent des arguments et des contre-arguments pour parvenir à une décision ou à un consensus justifié.
Protocole de Gossip
Mécanisme de communication décentralisé où chaque agent transmet périodiquement des informations à un sous-ensemble aléatoire d'autres agents, assurant une propagation robuste pour atteindre un consensus épidémique.
Consensus Fédéré
Approche de prise de décision où des sous-groupes d'agents atteignent des consensus locaux qui sont ensuite agrégés pour former une décision globale, réduisant la complexité de la coordination.
Agrégation d'Ordres
Technique de consensus visant à combiner les classements ou les ordres de préférence de plusieurs agents en un ordre de préférence collectif unique, en minimisant le mécontentement global.
Consensus par Approximation
Stratégie où les agents s'accordent sur une solution qui est suffisamment proche de leurs préférences individuelles, sans nécessiter un accord parfait, pour accélérer le processus de décision.
Synchronisation d'Horloges Logiques
Mécanisme essentiel au consensus dans les systèmes asynchrones, utilisant des horloges comme Lamport ou Vector, pour ordonner les événements et établir une causalité entre les actions des agents.
Quorum
Nombre minimal d'agents ou de votes requis pour qu'une décision soit considérée comme valide et contraignante pour l'ensemble du groupe, garantissant une participation suffisante au processus de consensus.