Vi studerar problemet med plansyntes för multiagentsystem, för att uppnå komplexa, hög nivå, långsiktiga mål som tilldelas varje agent individuellt. Eftersom agenterna kanske inte kan uppfylla sina respektive mål själva, är förfrågningar om andra agenters samarbeten en del av uppgiftsbeskrivningarna. Vi anser att varje agent är modellerad som ett diskret tillstånd-övergångssystem och dess uppgift specifikation tar en form av en linjär temporal logik formel. En traditionell automatiserad metod för multiagentisk plansyntes från sådana specifikationer bygger på centraliserad teamplanering och fullständig teamsynkronisering efter varje agents diskreta steg, och lider därmed av extrema beräkningskrav. Vi strävar efter att minska den beräkningsmässiga komplexiteten genom att bryta ner problemet med plansyntesen till finita horisontplaneringsproblem som löses iterativt, när agenterna körs. Vi inför en händelsebaserad synkronisering som gör det möjligt för vår strategi att effektivt anpassa sig till olika tidsperioder för olika agenters diskreta steg. Vi diskuterar riktigheten i lösningen och hittar antaganden, enligt vilka den föreslagna iterativa algoritmen leder till påvisbar slutlig tillfredsställelse av de önskade specifikationerna.
REF tar ett liknande tillvägagångssätt och delar upp problemet i mindre, finita horisontproblem.
Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science']}