La science des réseaux distingue nœuds et liens. Un lien déclaré entre agents indique une communication possible, pas son activité effective.
Relations entre agents
dans GenOS.
La science des réseaux distingue nœuds et liens. Un lien déclaré entre agents indique une communication possible, pas son activité effective.
Comprendre le
mécanisme.
Organisation G=(V,E), avec matrice A_ij pour liens permis ou observés ; séparer permissions et interactions mesurées.
Ce modèle explique le principe. Son implémentation et ses preuves sont décrites dans la source GenOS versionnée ; l'analogie scientifique ne les valide pas.
Explorer le mécanisme: Relations entre agents
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
La transition modélisée peut avancer. Modifiez l'hypothèse et parcourez les étapes pour examiner la décision.
Du signal
au résultat.
Déclarer un lien relationnel
La science des réseaux distingue nœuds et liens. Un lien déclaré entre agents indique une communication possible, pas son activité effective.
Mesurer l'interaction active
Organisation G=(V,E), avec matrice A_ij pour liens permis ou observés ; séparer permissions et interactions mesurées.
Contraindre le routage
Pour Relations entre agents, cette issue découle du modèle ci-dessus seulement si ses hypothèses et le contrôle de résultat sont satisfaits.
Sources et
limites.
Time, Clocks, and the Ordering of Events in a Distributed System
Leslie Lamport · Communications of the ACM 21(7), 558–565
Recherche primaire sur ordre causal dans les systèmes distribués. Elle éclaire l'analogie avec Relations entre agents, sans valider l'implémentation GenOS.
Ouvrir la source ↗Ces références expliquent le mécanisme ou la technologie d'origine ; elles ne constituent pas une preuve de fonctionnement de GenOS.
Quels liens existent entre agents ?
Une relation est un lien typé et orienté d'un agent source vers un agent cible. Elle décrit une filiation, une structure de travail ou un contexte de coopération. Elle peut aider au routage et à l'interprétation, mais n'envoie aucun message à elle seule.
agent A → verifier → agent BCette arête indique un rôle de vérification déclaré. Elle ne prouve pas que B a réellement vérifié le résultat, et ne lui accorde aucune permission supplémentaire.
| Classe | Nombre | Question | Types déclarés |
|---|---|---|---|
| Filiation | 9 | Qui dérive de qui ? | parent · child · sibling · twin · ancestor · descendant · chimera · plasmid · graft |
| Organisation | 8 | Comment le travail est-il organisé ? | manager · subordinate · colleague · coworker · mentor · collaborator · client · supplier |
| Collaboration | 3 | Qui coopère sur une tâche ? | collaborator · colleague · partner |
| Social | 9 | Quel lien social est déclaré ? | stranger · friend · partner · bonded_partner · neighbor · rival · temporary_ally · guardian · dependent |
| Épistémique | 2 | Qui vérifie une affirmation ? | verifier · reviewer |
| Adversarial | 1 | Qui conteste une proposition ? | adversary |
Les classes totalisent 32 appartenances pour 29 types uniques : colleague, collaborator et partner figurent chacun dans deux classes. Les valeurs initiales de familiarité, confiance ou indépendance sont des profils déclarés, pas des mesures vérifiées.
Relation ≠ autorité
Une arête manager ou guardian ne change pas les permissions, le budget ou les limites du workspace. Ces pouvoirs relèvent d'autres contrats d'exécution.
Relation ≠ communication
Le registre garde le lien dans le temps. Un signal, un message ou un handoff est un événement de communication. Une relation peut exister sans échange ; un échange peut se produire sans relation persistée.
Vérifier la portée de Relations entre agents.
Le schéma animé est pédagogique. La fiche source versionnée décrit l'implémentation ; les statuts ci-dessous indiquent sa maturité sans déduire un fonctionnement réel de l'analogie scientifique.