Normativa system (dvs. en uppsättning regler) är en viktig metod för att uppnå effektiv samordning mellan (ofta ett godtyckligt antal) agenter i multiagentsystem. Ett normativt system bör vara effektivt för att säkerställa tillfredsställelsen av en önskvärd system egendom, och minimal (dvs. inte innehåller normer som i onödan överkonstruerar beteendet hos agenter). Att konstruera eller till och med automatiskt syntetisera minimala effektiva normativa system är i hög grad icke-trivialt. Tidigare försök att syntetisera sådana system genom simuleringar misslyckas ofta med att generera normativa system som är både minimala och effektiva. I detta arbete föreslår vi en ram som underlättar utformningen av minimala effektiva normativa system med hjälp av lätta formella metoder. Med tanke på ett minimalt effektivt normativt system som samordnar många agenter måste vara minimalt och effektivt för ett litet antal agenter, börjar vi med att automatiskt syntetisera ett sådant system med några agenter. Vi ökar sedan antalet agenter för att kontrollera om samma design förblir minimal och effektiv. Om det är det, upprättar vi manuellt ett induktionsprov för att lyfta konstruktionen till ett godtyckligt antal agenter. Vi visar hur effektivt ramverket är genom att använda det för att utforma trafikregler för vägkorsningar och befolkningsprotokoll. De protokoll som utformats med hjälp av vårt ramverk visas vara lika bra som de manuellt utformade och publicerade.
Hao och al. I REF föreslås en metod för att utforma minimala effektiva normativa modeller för att samordna agenser i ett öppet system.
Designing minimal effective normative systems with the help of lightweight formal methods
{'venue': 'FSE 2016', 'journal': None, 'mag_field_of_study': ['Computer Science']}