🤖 machine learning

Post-Deterministic Distributed Systems: A New Foundation for Trustworthy Autonomous Infrastructure

Dit artikel introduceert Post-Deterministische Gedistribueerde Systemen (PDDS) als een nieuw fundamenteel model voor de coördinatie van heterogene autonome agenten en stochastische redeneermotoren, waarbij het paradigma verschuift van universele deterministische uitvoering naar een raamwerk dat gebouwd is op vijf architecturale pijlers die vertrouwen waarborgen door middel van semantische equivalentie en epistemische staatreplicatie.

Oorspronkelijke auteurs: Jun He, Deying Yu

Gepubliceerd 2026-06-02

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Jun He, Deying Yu

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een wereld voor waarin de regels van hoe computers met elkaar communiceren worden herschreven. Decennialang hebben we onze digitale infrastructuur gebouwd op een simpel, rigide idee: als je twee computers exact dezelfde instructie geeft, moeten ze exact hetzelfde doen, op exact dezelfde manier, elke keer weer.

Denk hierbij aan een militaire exercitie. Als de commandant zegt "Links", draait elke soldaat naar links. Als één soldaat naar rechts draait, zelfs als ze uiteindelijk in dezelfde richting staan, wordt dat beschouwd als een fout in de oefening. Dit is hoe onze huidige "deterministische" systemen werken. Ze zijn betrouwbaar, voorspelbaar en perfect voor zaken als bankenadministraties of databasegegevens.

Maar nu introduceren we AI-agenten en autonome redeneermotoren in de mix. Dit zijn geen rigide soldaten; het zijn eerder creatieve detectives.

Het Probleem: Het Detective Dilemma

Stel je voor dat er brand is in een gebouw.

Detective A ziet de brand, controleert de rookmelders en besluit de ramen te openen om de lucht te klaren.
Detective B ziet dezelfde brand, controleert de warmtesensoren en besluit water vanuit een andere hoek te spuiten.

Beide detectives hebben het probleem opgelost (de brand is uit) en beiden hebben zich aan de regels gehouden. Maar ze namen verschillende paden, bekeken verschillende aanwijzingen en gebruikten verschillende methoden.

In ons oude "militaire exercitie"-systeem zou dit een ramp zijn. Het systeem zou schreeuwen: "Fout! Detective A en Detective B hebben niet exact hetzelfde gedaan!" en alles uitschakelen. Maar in de echte wereld hebben we deze creatieve detectives nodig om complexe problemen op te lossen die rigide scripts niet kunnen aanpakken.

De Oplossing: Post-Deterministische Gedistribueerde Systemen (PDDS)

Het paper stelt een nieuw kader voor genaamd Post-Deterministic Distributed Systems (PDDS). In plaats van te eisen dat iedereen exact hetzelfde doet, vraagt dit nieuwe systeem: "Heeft iedereen het juiste gedaan?"

Het verschuift het doel van identieke acties naar semantische coherentie (overeenstemming over de betekenis en de uitkomst).

Hier is hoe het paper suggereert dat we deze nieuwe wereld bouwen, gebruikmakend van vijf hoofdpijlers:

1. Protocol-gestuurde Ontwikkeling (Het Veiligheidsnet)

In plaats van alleen de code te controleren voordat deze wordt uitgevoerd, plaat deze pijler een "uitsmijter" bij de deur van het systeem. Deze uitsmijter geeft niet om hoe de AI-detective tot een plan is gekomen, maar controleert strikt: "Schendt dit plan de veiligheidsregels?" Als de detective een bestand wil verwijderen, controleert de uitsmijter of dat wel is toegestaan. Zo niet, dan wordt het plan gestopt, zelfs als de detective dacht dat het een goed idee was.

2. Verifieerbare Agentische Infrastructuur (Het ID-bewijs)

In de oude dagen had een agent alleen een wachtwoord nodig om te mogen handelen. In deze nieuwe wereld moet een agent een "keten van bewijs" tonen. Het is also kinders als een detective zijn notitieblok laat zien: "Ik zag deze rook (bewijs), ik dacht na over dit beleid (regels), en daarom besloot ik het raam te openen (actie)." Het systeem controleert het hele verhaal om er zeker van te zijn dat de agent handelt op basis van de juiste intentie, en niet alleen omdat hij een wachtwoord heeft.

3. Autonome State Control Planes (De Projectmanager)

Soms raakt een detective zo gefocust op een kleine aanwijzing dat hij het grote plaatje uit het oog verliest (zoals proberen een enkele kamer te redden terwijl het hele gebouw afbrandt). Deze pijler fungeert als een projectmanager die de langetermijnvisie in het vizier houdt. Het scheidt de "denkfase" van de "doenfase", waardoor wordt gewaarborgd dat zelfs als de detective afgeleid raakt, de algemene missie op koers blijft.

4. Semantische Quorum Waarborging (De Jury)

In een traditioneel systeem moet 51% van de computers het eens zijn over exact hetzelfde getal. In PDDS moet een "jury" het eens zijn dat de uitkomst correct is.
Als drie verschillende AI-agenten drie verschillende manieren voorstellen om een servercrash te herstellen, eist het systeem niet dat ze het allemaal precies hetzelfde zeggen. In plaats daarvan vraagt het: "Zijn alle drie de oplossingen veilig en effectief?" Als een meerderheid van de jury zegt: "Ja, alle drie zijn geldig," kiest het systeem er één en gaat het verder. Dit gebruikt de diversiteit van de agenten om het systeem sterker te maken, niet zwakker.

5. Epistemische State Replicatie (Het Gedeelde Geheugen)

Dit is het meest complexe deel. In de oude wereld deelden computers gegevens (zoals een gedeeld spreadsheet). In deze nieuwe wereld moeten computers kennis en overtuigingen delen.
Stel je twee detectives voor die aan een zaak werken. Ze hoeven niet exact dezelfde aantekeningen in hun notitieblokken te hebben, maar ze moeten wel weten wat de ander weet, zodat ze elkaar niet tegenwerken. Deze pijler creëert een systeem waarin agenten hun "denkprocessen", "bewijslast" en "aannames" delen. Het zorgt ervoor dat ze, zelfs als ze anders denken, niet werken met verouderde of tegenstrijdige informatie.

De Nieuwe Soorten Fouten

Het paper waarschuwt ons ook dat deze nieuwe wereld nieuwe soorten fouten kent waar oude systemen nooit mee te maken hebben gehad:

Semantische Drift: De agenten beginnen de regels na verloop van tijd steeds anders te begrijpen, zoals twee vrienden die langzaam uit elkaar groeien in hun meningen.
Gecorreleerde Redeneerfouten: Als alle agenten hetzelfde "brein" gebruiken (hetzelfde AI-model), kunnen ze allemaal op hetzelfde moment exact dezelfde logische fout maken.
Context Amnesie: Een agent kan een probleem oplossen, maar vergeten waarom hij het oploste, wat ertoe leidt dat hij later dezelfde fout opnieuw maakt.

De Kernboodschap

Het paper betoogt dat we niet simpelweg de oude "militaire exercitie"-regels kunnen blijven gebruiken voor een wereld vol creatieve AI-detectives. We hebben een nieuw fundament nodig waarbij vertrouwen wordt gebouwd op geverifieerd redeneren en gedeelde doelen, en niet alleen op identieke code.

Het deterministische tijdperk gaf ons betrouwbare computers. Het post-deterministische tijdperk beoogt ons betrouwbare autonome infrastructuur te geven die de rommelige, complexe en creatieve problemen van de toekomst kan aanpakken.

Technisch Overzicht: Post-Deterministische Gedistribueerde Systemen

1. Probleemstelling

De klassieke theorie van gedistribueerde systemen steunt op een vaststaand uitgangspunt: deelnemers zijn deterministische toestandsmachines die de door het protocol gespecificeerde gedragingen uitvoeren met stabiele, extern gedefinieerde semantiek. Onder het State Machine Replication (SMR)-model wordt correctheid gedefinieerd door transitie-equivalentie—gegeven een identieke sequentie van inputs, moeten alle correcte replica's door identieke toestandssequenties gaan en identieke outputs produceren.

Dit uitgangspunt wordt steeds vaker uitgedaagd door de integratie van autonome redeneermotoren, stochastische model-gestuurde agenten (bijv. Large Language Models), en beleidsgestuurde actoren in kritieke infrastructuur zoals cloud control planes, incident response-systemen en financiële platforms. In tegen tegenstelling tot traditionele software, vertonen deze agentische deelnemers het volgende gedrag:

Ze voeren geen statische sequenties van hardgecodeerde instructies uit.
Ze evalueren dynamisch de lokale context, raadplegen externe kennis en genereren redeneerstappen.
Ze produceren divergerende redeneerpaden en afwijkende operationele sporen, terwijl ze potentieel semantisch equivalente en correcte resultaten behalen.

Klassieke consensusmechanismen (bijv. Paxos, Raft) kunnen dit gedrag niet verifiëren of coördineren omdat ze niet-identieke executietrajecten behandelen als divergentie of falen, zelfs wanneer de resulterende acties veilig en toelaatbaar zijn. Dit creëert een kloof waarbij architecten ofwel agenten moeten dwingen in rigide, deterministische scripts (wat hun nut beperkt), ofwel de gedistribueerde veiligheidsmechanismen volledig omzeilen.

2. Methodologie: Het Participant-General Model

Het artikel introduceert Post-Deterministische Gedistribueerde Systemen (PDDS) als een onderzoek- en engineeringmodel om heterogene omgevingen te coördineren waar deterministische code, stochastische modellen en autonome agenten samenleven.

Formele Definitie

PDDS definieert een participant-general model waarbij een participant niet beperkt is tot een deterministische transitiefunctie $f(s, i) = s'$ . In plaats daarvan wordt het gedrag van een participant gedefinieerd door een admissible gedragsfunctie:
$Adm: S \times I \times C \times P \times E \rightarrow 2^{U \times R}$
Waar:

$S$ : Systeemtoestanden
$I$ : Verklarde intenties/inputs
$C$ : Geobserveerde contexten en telemetrie
$P$ : Actieve policies en invarianten
$E$ : Epistemische staat (behouden observaties, bewijs, samenvattingen, aannames, lijn van overtuiging)
$U$ : Actieruimte (systeemmutaties)
$R$ : Redeneertrajecten/verklaringen

Een participant wordt als correct beschouwd als deze een actie-redenering paar $(a, r)$ voorstelt zodanig dat $(a, r) \in Adm(s, i, C, P, E)$ .

Twee Regimes

Klassiek Speciaal Geval: $|Adm| = 1$. Er is exact één toelaatbare actie en trace. Dit herstelt klassieke deterministische systemen waar de epistemische staat leeg of vaststaand is.
Post-Deterministisch Geval: $|Adm| > 1$. Meerdere syntactisch verschillende actie-redenering paren zijn semantisch toelaatbaar. Het coördinatieprotocol certificeert dat het gekozen paar een geldig lid is van de toelaatbare verzameling, in plaats van een identieke trace te eisen.

3. Belangrijkste Bijdragen

A. Theoretische Fundamenten

Identificatie van Impliciete Grenzen: Het artikel identificeert de "deterministische participant-aanname" als een verborgen grens in de klassieke gedistribueerde systeemtheorie.
Semantische Coherentie: Het herdefinieert het doel van overeenstemming van "deterministische transitie-equivalentie" naar semantische coherentie onder intentie, beleid en executiecontext. Correctheid wordt geverifieerd via semantische certificering (het valideren van het gestructureerde bewijs van toelaatbaarheid) in plaats van waarde-identiteit.
Taxonomie van Falen: Het artikel definieert een nieuwe taxonomie van foutklassen specifiek voor post-deterministische systemen, waaronder:
- Semantic Drift: Graduele afname van gedeeld begrip.
- Correlated Reasoning Failure: Meerdere agenten die dezelfde logische fout delen door gedeelde modelbiases.
- Intent Loss: Cumulatieve divergentie van gebruikersdoelen over lange horizonten.
- Evidence Fabrication: Het verzinnen van telemetrie om acties te rechtvaardigen.
- Unsafe Delegation: Autoriteit overdragen zonder de intentie-restricties te bewaren.
- Policy-Violating Autonomy: Lokale restricties voldoen terwijl systeeminvarianten worden geschonden.
- Epistemic Divergence: Incompatibele kennisstaten ondanks gedeelde intentie.
- Context Amnesia: Verlies van historische context tijdens geheugenresets.

B. Architecturale Zuilen

Het artikel schetst vijf zuilen om PDDS te operationaliseren:

Protocol-Driven Development (PDD): Verschuift veiligheid van compile-time verificatie naar runtime beleidshandhaving, gebruikmakend van edit automata om voorgestelde systeemmutaties te onderscheppen en te valideren tegen actieve invarianten.
Verifiable Agentic Infrastructure (VAI): Vervangt statische credentials door intent-to-execution evidence chains (het delegeren van autoriteit, context en redeneerpad) om autoriteit te binden aan intentie.
Autonomous State Control Planes (ASCP): Bestuurt workflows met een lange horizon door redeneren te ontkoppelen van executie, agenten te isoleren in sandboxes, en intentie te persistent te maken om drift te voorkomen.
Semantic Quorum Assurance (SQA): Certificeert niet-deterministische operaties door verzoeken te versturen naar heterogene deelnemers, voorstellen te aggregeren en te verifiëren dat een quorum van onafhankelijke verifieerders semantische equivalentie bevestigt.
Epistemic State Replication (ESR): Een persistentielaag die kennis, bewijs en de lijn van overtuiging repliceert in plaats van alleen data. Het introduceert nieuwe consistentieconcepten:
- Semantic Linearizability: Acties moeten verklaarbaar zijn door een geldige ordening van intentie, bewijs en beleid.
- Eventual Coherence: Convergentie naar semantisch compatibele kennisstaten.
- Verifiable Semantic Rollback: Het terugdraaien van acties terwijl de lijn van overtuiging wordt bijgesneden zonder kritieke context te verliezen.

4. Resultaten en Claims

Het artikel presenteert geen experimentele benchmarks of een uitgerold systeem. In plaats daarvan zijn de "resultaten" conceptueel en architecturaal:

Het demonstreert dat klassiek gedistribueerd computergebruik een zero-ambiguity speciaal geval is van het bredere participant-general model.
Het stelt vast dat deterministische executie niet langer als de universele participant-aanname kan dienen voor autonome infrastructuur.
Het biedt een formeel kader (via de $Adm$ functie) om syntactische divergentie te onderscheiden van semantische correctheid.
Het definieert de noodzakelijke componenten (PDD, VAI, ASCP, SQA, ESR) om betrouwbare autonome systemen te bouwen die met stochastische redenering kunnen omgaan terwijl ze de veiligheid waarborgen.

5. Betekenis

Het artikel betoogt dat de integratie van autonome agenten in kritieke infrastructuur een fundamentele verschuiving vereist in de manier waarop gedistribueerde systemen worden ontworpen en geverifieerd. Door over te stappen van een model van staat/output-equivalentie naar een model van semantische coherentie en toelaatbaar gedrag, maakt PDDS de veilige coördinatie van heterogene deelnemers mogelijk.

De betekenis ligt in het bieden van een technisch kader voor:

Het coördineren van deterministische services, stochastische modellen en menselijke actoren zonder agenten in rigide scripts te dwingen.
Het waarborgen dat autonome infrastructuur auditbaar, beleidsgebonden en semantisch certificeerbaar blijft.
Het adresseren van faalmodi (zoals correlated reasoning failure en epistemic divergence) die klassieke foutmodellen (crash-stop, Byzantine) niet kunnen vatten.

De auteurs concluderen dat hoewel het deterministische tijdperk betrouwbare gedistribueerde berekeningen bood, het post-deterministische tijdperk dit nieuwe fundament vereist om betrouwbare autonome infrastructuur te realiseren.