Som en del av målet att utveckla ett verkligt öppet multiagentsystem ägnas många ansträngningar åt att definiera ett standardiserat agentkommunikationsspråk (ACL). Syftet med detta dokument är att föreslå en logisk ram för definitionen av ACL semantik baserad på begreppet (socialt) engagemang. Vårt ramverk bygger på antagandet att agentkommunikation bör analyseras i termer av kommunikativa handlingar, genom vilka agenter skapar och manipulerar åtaganden, under förutsättning att vissa kontextuella villkor föreligger. Vi föreslår formella definitioner av sådana åtgärder inom ramen för en tidslogik som utvidgar CTL * med tidigare styrda temporaloperatörer. I det system vi föreslår, kallas CTL ±, antas tiden vara diskret, utan start- eller slutpunkt, och förgrening i framtiden. CTL ± utvidgas sedan till att omfatta åtgärder och åtaganden; i synnerhet definierar vi formellt villkoren för att ett åtagande ska fullgöras eller brytas. Slutligen visar vi hur vår engagemangslogik kan användas för att definiera en ACL:s semantik.
Verdicchio och Colombetti REF använder en variant av CTL med tidigare operatörer för att tillhandahålla axioms som definierar livscykeln för åtaganden i termer av primitiver som representerar existensen, uppfyllandet och kränkningen av ett åtagande i en stat.
A logical model of social commitment for agent communication
{'venue': "AAMAS '03", 'journal': None, 'mag_field_of_study': ['Computer Science']}