Abstrakt. I öppna multiagentsystem styrs agentinteraktion vanligen av offentliga protokoll som definierar de regler som agenterna bör respektera vid meddelandeutbyte. Efterlevnaden av sådana regler garanterar driftskompatibilitet. Eftersom två agenter är överens om att använda ett visst protokoll för sin interaktion, är en avgörande fråga (känd som "a priori conformance test") att kontrollera om deras interaktionspolicy, dvs. de program som kodar deras kommunikativa beteende, faktiskt kommer att producera interaktioner som överensstämmer med det överenskomna protokollet. En fråga som inte alltid klargörs i de befintliga förslagen om överensstämmelsetester är om testet bevarar agenternas förmåga att interagera, förutom att intyga att deras eventuella samtal är lagliga. I detta arbete föreslås en strategi för att kontrollera att en agents samtalspolicy överensstämmer med ett protokoll som bygger på teorin om formella språk. Konformitetstestet bygger på att både policyn och protokollet accepteras av en särskild ändlig statautomaton, och det garanterar driftskompatibiliteten hos de agenser som är individuellt bevisat överensstämmande. Många protokoll som används i multi-agent system kan uttryckas som ändlig stat automata, så detta tillvägagångssätt kan tillämpas på en mängd olika fall med förbehållet att både protokoll specifikation och protokollet genomförande kan översättas till ändlig stat automata. I detta avseende är tillvägagångssättet allmänt. Lätt att tillämpa på fallet när ett logikbaserat språk används för att genomföra politiken visas med hjälp av ett konkret exempel, där språket DyLOG, baserat på beräkningslogik, används.
Baldoni och al. I REF föreslås en metod för att kontrollera att agentbeteenden överensstämmer med ett offentligt protokoll.
Verification of Protocol Conformance and Agent Interoperability
{'venue': 'CLIMA VI', 'journal': None, 'mag_field_of_study': ['Computer Science']}