TY - GEN

T1 - Langshaw

T2 - Declarative Interaction Protocols Based on Sayso and Conflict

AU - Singh, Munindar P.

AU - V, Samuel H. Christie

AU - Chopra, Amit K.

PY - 2024/8/3

Y1 - 2024/8/3

N2 - Current languages for specifying multiagent protocols either over-constrain protocol enactments or complicate capturing their meanings. We proposeLangshaw, a declarative protocol language based on (1) sayso, a new construct that captures who has priority over setting each attribute, and (2) nonoand nogo, two constructs to capture conficts between actions. Langshaw combines fexibility with an information model to express meaning. We givea formal semantics for Langshaw, procedures for determining the safety and liveness of a protocol, and a method to generate a message-oriented protocol (embedding needed coordination) suitable for fexible asynchronous enactment.

AB - Current languages for specifying multiagent protocols either over-constrain protocol enactments or complicate capturing their meanings. We proposeLangshaw, a declarative protocol language based on (1) sayso, a new construct that captures who has priority over setting each attribute, and (2) nonoand nogo, two constructs to capture conficts between actions. Langshaw combines fexibility with an information model to express meaning. We givea formal semantics for Langshaw, procedures for determining the safety and liveness of a protocol, and a method to generate a message-oriented protocol (embedding needed coordination) suitable for fexible asynchronous enactment.

M3 - Conference contribution/Paper

SP - 202

EP - 210

BT - Proceedings of the 33rd International Joint Conference on Artificial Intelligence

A2 - Larson, Kate

PB - IJCAI

CY - Jeju, Korea

ER -