Åtaganden bland agenter är allmänt erkända som en viktig grund för att organisera interaktioner i multiagentsystem. Vi utvecklar en strategi för att formellt representera och resonera om åtaganden i händelsekalkylen. Vi tillämpar och utvärderar detta tillvägagångssätt i samband med protokoll, som representerar de interaktioner som tillåts mellan kommunikationsagenter. Protokoll är nödvändiga i tillämpningar som elektronisk handel där det är nödvändigt att begränsa beteendet hos autonoma agenter. Traditionella tillvägagångssätt, som modellerar protokoll endast i fråga om åtgärdssekvenser, begränsar flexibiliteten hos agenterna vid genomförandet av protokollen. Däremot kan vi genom att formellt företräda åtaganden specificera innehållet i protokollen genom agenternas åtaganden gentemot varandra. Genom att representera åtaganden i händelsekalkylen formaliserar vi åtagandeverksamhet och domänoberoende resonemangsregler som axiom för att fånga utvecklingen av åtaganden. Vi tillhandahåller också ett sätt att specificera protokollspecifika axiom genom agenternas åtgärder. Dessa axioms gör det möjligt för agenter att resonera om sina handlingar explicit för att flexibelt anpassa de undantag och möjligheter som kan uppstå i körtid. Detta resonemang genomförs med hjälp av en händelsekalkylplanerare som hjälper till att bestämma flexibla genomförandevägar som respekterar de givna protokollspecifikationerna.
REF utvecklar ett tillvägagångssätt för att formellt representera och resonera om affärsinteraktioner i Event Calculus.
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols
{'venue': 'Annals of Mathematics and Artificial Intelligence', 'journal': 'Annals of Mathematics and Artificial Intelligence', 'mag_field_of_study': ['Computer Science']}