Sedan det först föreslogs av Mose, Shoham och Tennenholtz, har det sociala paradigmet visat sig vara en av de mest övertygande tillvägagångssätten för offline-samordning av multiagentsystem. I detta dokument ger vi fyra viktiga bidrag till teorin och praktiken av sociala lagar i multiagentsystem. Först visar vi att Alternating-time Temporal Logic (atl) av Alur, Henzinger, och Kupferman ger en elegant och kraftfull ram inom vilken att uttrycka och förstå sociala lagar för multiagent system. För det andra visar vi att effektivitets-, genomförbarhets- och syntesproblemen för de sociala lagarna naturligtvis kan beskrivas som en modell för kontrollproblem, och att befintliga modellkontroller kan tillämpas på dessa problem. För det tredje visar vi att genomförbarhetsproblemets komplexitet inom vår ram inte är mer komplex i det allmänna fallet än problemet med motsvarande problem i ramen Shoham-Tennenholtz (den är np-fullständig). Slutligen visar vi hur vår grundläggande ram lätt kan utvidgas för att tillåta sociala lagar där det uttryckligen kan krävas begränsningar av lagenligheten eller annat agerande. Vi illustrerar de begrepp och tekniker som utvecklats med hjälp av ett löpande exempel.
Eftersom vårt ramverk är en förlängning av REF är det tydligt relaterat till detta arbete.
Social laws in alternating time: effectiveness, feasibility, and synthesis
{'venue': 'Synthese', 'journal': 'Synthese', 'mag_field_of_study': ['Computer Science']}