Abstrakt. En agent kommunikationsprotokoll specificerar reglerna för interaktion som styr en dialog mellan agenter i ett multiagentsystem. I icke-kooperativa interaktioner (t.ex. förhandlingsdialoger) som förekommer i öppna samhällen är problemet med att kontrollera en agents överensstämmelse med ett sådant protokoll en central fråga. Vi identifierar olika nivåer av överensstämmelse (svag, uttömmande och robust överensstämmelse) och utforskar, för en viss klass av logikbaserade agenser och en lämplig klass av protokoll, hur man kontrollerar en agents överensstämmelse med ett protokoll a priori, enbart på grundval av agentens specifikation.
Problemet med att kontrollera agentens överensstämmelse med ett protokoll inom en logisk ram har också ställts inför i REF.
Logic-Based Agent Communication Protocols
{'venue': 'Workshop on Agent Communication Languages', 'journal': None, 'mag_field_of_study': ['Computer Science']}