I Distribuerade CSPs (DisCSPs), agenter kan vilja hålla delar av sina problem hemlig men acceptera att samarbeta genom att utbyta förslag. Asynkronism vid lösning av DisCSP [1] ökar flexibiliteten, parallellismen och robustheten. Enumerativa algoritmer gäller för diskreta problem med små domäner. Vårt mål är att utveckla asynkrona algoritmer som kan hantera numeriska begränsningar. Centraliserade tekniker för CSPs med kontinuerliga domäner interleave (dichotomous) delning av sökutrymmet med former av bundna konsistens. Löpande numeriska värden aggregeras i intervaller. Som ett första steg mot vårt mål har vi utvecklat Asynkron aggregeringssökning (AAS) [1], vilket tillåter agenter att asynkront föreslå subrymder av deras sökutrymme. Agenter föreslår uppdelningar av domäner som säkerställer genomförbarheten av deras subproblem. Då har vi föreslagit DMAC, som gör det möjligt att upprätthålla bunden (eller båge) konsekvens i AAS [1]. Dikotoma splits är i allmänhet endast delvis ljud splits eftersom den agent som föreslår dem inte nödvändigtvis har sina begränsningar fullt ut tillgodoses av dem. Den enklaste och mest använda strategin för delvis sound splits är den dikotomous en, men den teknik vi föreslår nästa kan på liknande sätt hantera mer komplexa split strategier. Vi föreslår ett ramverk som kallas Replicas-baserade DisCSP (RDisCSP) där varje initial agent representeras av en uppsättning abstrakta agenter. Med undantag för den senast placerade abstrakta agent av en initial agent A j (kallas kontroll replika), dess andra abstrakta agenter i en RCicSP har inte för avsikt att tillfredsställa hela problemet med A j, men en avkoppling av det eller ens en helt genomförbar begränsning. För att uppnå Asynchronous Dichotomous search Att underhålla Bound-consistency (ADMB) med DMAC över RDisCSPs, varje abstrakt agent beter sig enligt fullständig uppdelning operatörer. De föreslår sökytor som är hälften av storleken på deras tillåtna sökutrymme (inom en relativ tolerans k). Varje initial agent A j har begränsningar över de externa variablerna V j och alla x i, x i V j kan ta värden från en domän D i. Med ADMB är den övre gränsen för det antal abstrakta medel för A j som krävs för att nå lösningar med upplösning ε xi och Vj log 2/(1+k) (.D i  på/ε). ADMB kan användas för att lösa RdisCSPs med numeriska begränsningar. Alla abstrakta agenter av någon initial agent kan representeras i ADMB av samma fysiska agent och alla meddelanden som skickas till dem skickas sedan endast i ett meddelande. De strukturer av abstrakta medel som krävs för att upprätthålla enhetlighet på olika delningsnivåer delas i den fysiska agenten. Konsistensen nogos för en nivå genereras endast en gång för en initial agent (genom dess kontrollera replika). Kontrollrepliken måste säkerställa att det underproblem den föreslår är genomförbart med upplösningen ε. ADMB är den första asynkrona algoritmen för att hantera privata begränsningar över blandade och kontinuerliga domäner.
Den Asynchronous Aggregation Search (AAS) familj av protokoll faktiskt utökar ABT till fallet där samma variabel kan omedelbareras av flera agenter (t.ex., på olika nivåer av abstraktion REF ).
Asynchronous search for numeric DisCSPs
{'venue': 'In Proc. of CP’2001', 'journal': None, 'mag_field_of_study': ['Computer Science']}